×

Science of Computer Programming

Short Title: Sci. Comput. Program.
Publisher: Elsevier Science B.V. (North-Holland), Amsterdam
ISSN: 0167-6423
Online: http://www.sciencedirect.com/science/journal/01676423
Comments: Journal; No longer indexed
Documents Indexed: 998 Publications (1981–2014)
References Indexed: 197 Publications with 8,058 References.
all top 5

Latest Issues

84 (2014)
80, Part A (2014)
78, No. 7 (2013)
78, No. 5 (2013)
78, No. 4 (2013)
78, No. 3 (2013)
78, No. 2 (2013)
78, No. 1 (2012)
77, No. 12 (2012)
77, No. 10-11 (2012)
77, No. 9 (2012)
77, No. 7-8 (2012)
77, No. 6 (2012)
77, No. 5 (2012)
77, No. 4 (2012)
77, No. 3 (2012)
77, No. 2 (2012)
76, No. 12 (2011)
76, No. 11 (2011)
76, No. 10 (2011)
76, No. 9 (2011)
76, No. 8 (2011)
76, No. 7 (2011)
76, No. 6 (2011)
76, No. 5 (2011)
76, No. 4 (2011)
76, No. 3 (2011)
76, No. 2 (2011)
76, No. 1 (2011)
75, No. 12 (2010)
75, No. 11 (2010)
75, No. 10 (2010)
75, No. 9 (2010)
75, No. 8 (2010)
75, No. 7 (2010)
75, No. 6 (2010)
75, No. 5 (2010)
75, No. 4 (2010)
75, No. 3 (2010)
75, No. 1-2 (2010)
74, No. 11-12 (2009)
74, No. 10 (2009)
74, No. 9 (2009)
74, No. 8 (2009)
74, No. 7 (2009)
74, No. 5-6 (2009)
74, No. 4 (2009)
74, No. 3 (2009)
74, No. 1-2 (2008)
73, No. 2-3 (2008)
73, No. 1 (2008)
72, No. 3 (2008)
72, No. 1-2 (2008)
71, No. 3 (2008)
71, No. 2 (2008)
71, No. 1 (2008)
70, No. 2-3 (2008)
70, No. 1 (2008)
69, No. 1-3 (2007)
68, No. 3 (2007)
68, No. 2 (2007)
68, No. 1 (2007)
67, No. 2-3 (2007)
67, No. 1 (2007)
66, No. 3 (2007)
66, No. 2 (2007)
66, No. 1 (2007)
65, No. 3 (2007)
65, No. 2 (2007)
65, No. 1 (2007)
64, No. 3 (2007)
64, No. 2 (2007)
64, No. 1 (2007)
63, No. 3 (2006)
63, No. 2 (2006)
63, No. 1 (2006)
62, No. 3 (2006)
62, No. 2 (2006)
62, No. 1 (2006)
61, No. 3 (2006)
61, No. 2 (2006)
61, No. 1 (2006)
60, No. 3 (2006)
60, No. 2 (2006)
60, No. 1 (2006)
59, No. 3 (2006)
59, No. 1-2 (2006)
58, No. 3 (2005)
58, No. 1-2 (2005)
57, No. 3 (2005)
57, No. 2 (2005)
57, No. 1 (2005)
56, No. 3 (2005)
56, No. 1-2 (2005)
55, No. 1-3 (2005)
54, No. 2-3 (2005)
53, No. 3 (2004)
53, No. 2 (2004)
52, No. 1-3 (2004)
51, No. 3 (2004)
...and 94 more Volumes
all top 5

Authors

10 Arbab, Farhad
8 Broy, Manfred
8 Canal, Carlos
8 Sirjani, Marjan
7 Cavalcanti, Ana
7 Gibbons, Jeremy
7 Hesselink, Wim H.
7 Lengauer, Christian
7 Möller, Bernhard
7 Viroli, Mirko
6 Backhouse, Roland C.
6 Bird, Richard S.
6 Boiten, Eerke A.
6 Desharnais, Jules
6 Kaldewaij, Anne
6 Mili, Ali
6 Pimentel, Ernesto
6 Riis Nielson, Hanne
6 Verhoef, Chris
5 Brogi, Antonio
5 Derrick, John
5 Gries, David
5 Hayes, Ian J.
5 Hedin, Görel
5 Jacquet, Jean-Marie
5 Johnstone, Adrian
5 Nielson, Flemming
5 Partsch, Helmut A.
5 Sampaio, Augusto C. A.
5 Watson, Bruce William
5 Woodcock, James C. P.
4 Baier, Christel
4 Berghammer, Rudolf
4 Bettini, Lorenzo
4 Burgess, Mark
4 Chung, Lawrence M. L.
4 Clarke, Dave
4 Danvy, Olivier
4 Fiadeiro, José Luiz
4 Frappier, Marc
4 Inverardi, Paola
4 Jeuring, Johan
4 Kurtev, Ivan
4 Maurer, Ward Douglas
4 Morris, Joseph M.
4 Power, James F.
4 Salaün, Gwen
4 Schmidt, David A.
4 Scott, Elizabeth A.
4 Sere, Kaisa
4 Tanter, Éric
4 Vitek, Jan
4 Wehrheim, Heike
4 Wirsing, Martin
4 Zavattaro, Gianluigi
3 Back, Ralph-Johan
3 Barbuti, Roberto
3 Bonsangue, Marcello Maria
3 Brim, Luboš
3 Carette, Jacques
3 Cooper, Kendra
3 Cordy, James R.
3 Curtis, Sharon A.
3 Dai, Lirong
3 Damm, Werner
3 De Nicola, Rocco
3 Duggan, Dominic
3 Durán, Francisco
3 Ebergen, Jo C.
3 Eugster, Patrick Th.
3 Feijs, Loe M. G.
3 Fernandez, Jean-Claude
3 Finance, Jean-Pierre
3 Flanagan, Cormac
3 Fradet, Pascal
3 Francez, Nissim
3 Freitas, Leo
3 Garrido, José Luis
3 Giacobazzi, Roberto
3 Giegerich, Robert
3 Gorla, Daniele
3 Groote, Jan Friso
3 Guttag, John V.
3 Hankin, Chris L.
3 Hehner, Eric C. R.
3 Hinze, Ralf
3 Jouault, Frédéric
3 Katoen, Joost-Pieter
3 Lawall, Julia L.
3 Leavens, Gary T.
3 Liu, Yanhong Annie
3 Manna, Zohar
3 Martin, Alain J.
3 Meng, Sun
3 Morgan, Carroll C.
3 Noguera, Manuel
3 Palsberg, Jens
3 Pepper, Peter
3 Pugliese, Rosario
3 Ramalingam, Ganesan
...and 1,518 more Authors

Publications by Year

Citations contained in zbMATH Open

601 Publications have been cited 3,845 times in 3,049 Documents Cited by Year
Statecharts: a visual formalism for complex systems. Zbl 0637.68010
Harel, David
184
1987
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
97
1982
The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013
Berry, Gérard; Gonthier, Georges
90
1992
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
65
1987
Generalising monads to arrows. Zbl 0954.68034
Hughes, John
60
2000
Termination of rewriting systems by polynomial interpretations and its implementation. Zbl 0625.68036
Ben Cherifa, Ahlem; Lescanne, Pierre
54
1987
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
50
1982
A theoretical basis for stepwise refinement and the programming calculus. Zbl 0624.68017
Morris, Joseph M.
48
1987
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
47
2006
Probabilistic models for the guarded command language. Zbl 0877.68014
Jifeng, He; Seidel, K.; McIver, A.
42
1997
Decomposition of distributed programs into communication-closed layers. Zbl 0514.68033
Elrad, Tzilla; Francez, Nissim
41
1982
Towards a refinement algebra. Zbl 1091.68030
von Wright, J.
39
2004
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Zbl 1076.68540
Hermenegildo, Manuel V.; Puebla, Germán; Bueno, Francisco; López-García, Pedro
39
2005
Wait-free algorithms for fast, long-lived renaming. Zbl 0838.68050
Moir, Mark; Anderson, James H.
39
1995
The Daikon system for dynamic detection of likely invariants. Zbl 1161.68390
Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
38
2007
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Zbl 1243.68148
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao
35
2012
Data structures and program transformation. Zbl 0712.68014
Malcolm, Grant
34
1990
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
33
2005
An implementation of an efficient algorithm for bisimulation equivalence. Zbl 0711.68058
Fernandez, Jean-Claude
32
1990
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
31
2011
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
30
1983
The categorical abstract machine. Zbl 0634.68078
Cousineau, G.; Curien, P.-L.; Mauny, M.
30
1987
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
29
2009
On the expressive power of programming languages. Zbl 0745.68033
Felleisen, Matthias
25
1991
Dynamic typing: Syntax and proof theory. Zbl 0809.68083
Henglein, Fritz
25
1994
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
25
1986
A process calculus for mobile ad hoc networks. Zbl 1192.68451
Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A.
25
2010
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
24
1984
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
24
1995
Model checking using net unfoldings. Zbl 0834.68087
Esparza, Javier
24
1994
Framed temporal logic programming. Zbl 1131.68036
Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej
24
2008
The gamma model and its discipline of programming. Zbl 0715.68054
Banâtre, Jean-Pierre; Le Métayer, Daniel
22
1990
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Zbl 1171.68555
Rodríguez-Carbonell, E.; Kapur, D.
22
2007
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
21
2005
Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus. Zbl 1026.68098
Mateescu, Radu; Sighireanu, Mihaela
21
2003
A semantic approach to secure information flow. Zbl 0954.68052
Joshi, Rajeev; Leino, K. Rustan M.
20
2000
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
20
2005
Kleene getting lazy. Zbl 1109.68060
Möller, Bernhard
20
2007
Power domain constructions. Zbl 0769.08005
Heckmann, Reinhold
18
1991
Introduction to set constraint-based program analysis. Zbl 0940.68031
Aiken, Alexander
18
1999
Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015
Clarke, Dave; Costa, David; Arbab, Farhad
18
2007
Optimal domains for disjunctive abstract interpretation. Zbl 0942.68020
Giacobazzi, Roberto; Ranzato, Francesco
17
1998
Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348
Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S.
17
2007
Synchronous programming with events and relations: The SIGNAL language and its semantics. Zbl 0745.68031
Benveniste, Albert; Le Guernic, Paul; Jaquemot, Christian
16
1991
A higher-order implementation of rewriting. Zbl 0551.68076
Paulson, Lawrence
16
1983
The derivation of systolic computations. Zbl 0709.68020
Kaldewaij, Anne; Rem, Martin
16
1990
A functional theory of exceptions. Zbl 0699.68022
Spivey, Mike
16
1990
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
15
2005
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
15
1990
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
15
2009
Transformational design and implementation of a new efficient solution to the ready simulation problem. Zbl 0832.68050
Bloom, Bard; Paige, Robert
15
1995
Substitution: A formal methods case study using monads and transformations. Zbl 0830.68025
Bellegarde, Françoise; Hook, James
15
1994
A calculus of total correctness for communicating processes. Zbl 0485.68025
Hoare, C. A. R.
15
1981
An algorithm for type-checking dependent types. Zbl 0853.68102
Coquand, Thierry
14
1996
Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014
Arbab, Farhad
14
2005
A taxonomy of sublinear multiple keyword pattern matching algorithms. Zbl 0858.68026
Watson, B. W.; Zwaan, G.
14
1996
Graph transformation for specification and programming. Zbl 0933.68022
Andries, Marc; Engels, Gregor; Habel, Annegret; Hoffmann, Berthold; Kreowski, Hans-Jörg; Kuske, Sabine; Plump, Detlef; Schürr, Andy; Taentzer, Gabriele
14
1999
Smoothsort, an alternative for sorting in situ. Zbl 0486.68050
Dijkstra, Edsger W.
14
1982
The octahedron abstract domain. Zbl 1171.68540
Clarisó, Robert; Cortadella, Jordi
14
2007
Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073
Bondorf, Anders; Danvy, Olivier
13
1991
Increasing modularity and language-independency in automatically generated compilers. Zbl 0565.68011
Ganzinger, Harald
13
1983
How the design of JML accommodates both runtime assertion checking and formal verification. Zbl 1075.68009
Leavens, Gary T.; Cheon, Yoonsik; Clifton, Curtis; Ruby, Clyde; Cok, David R.
13
2005
Concepts and realization of a diagram editor generator based on hypergraph transformation. Zbl 1002.68735
Minas, Mark
13
2002
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
13
2000
Feature integration using a feature construct. Zbl 0983.68236
Plath, Malte; Ryan, Mark
13
2001
Back to direct style. Zbl 0808.68051
Danvy, Olivier
13
1994
A transformation-based optimiser for Haskell. Zbl 0942.68030
Jones, Simon L. Peyton; Santos, André L. M.
13
1998
A mathematical definition of full Prolog. Zbl 0832.68022
Börger, Egon; Rosenzweig, Dean
13
1995
Proofs with graphs. Zbl 0852.68070
Curtis, Sharon; Lowe, Gavin
12
1996
A discipline of dynamic programming over sequence data. Zbl 1067.90157
Giegerich, Robert; Meyer, Carsten; Steffen, Peter
12
2004
Safety of abstract interpretations for free, via logical relations and Galois connections. Zbl 1091.68069
Backhouse, Kevin; Backhouse, Roland
12
2004
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Zbl 1197.68035
Logozzo, Francesco; Fähndrich, Manuel
12
2010
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
12
1998
Behavioural correctness of data representations. Zbl 0699.68031
Schoett, Oliver
12
1990
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Zbl 0891.68056
Bagnara, Roberto
12
1998
Modular invariants for layered object structures. Zbl 1100.68539
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
12
2006
Formal semantics and analysis of control flow in WS-BPEL. Zbl 1122.68073
Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur H. M.
12
2007
Justification of the structural synthesis of programs. Zbl 0514.68019
Mints, G.; Tyugu, E.
11
1982
Spanders: distributed spanning expanders. Zbl 1279.68026
Dolev, Shlomi; Tzachar, Nir
11
2013
Explaining type inference. Zbl 0851.68015
Duggan, Dominic; Bent, Frederick
11
1996
Type-indexed data types. Zbl 1091.68025
Hinze, Ralf; Jeuring, Johan; Löh, Andres
11
2004
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
11
1986
Cache behavior prediction by abstract interpretation. Zbl 0948.68049
Ferdinand, Christian; Martin, Florian; Wilhelm, Reinhard; Alt, Martin
11
1999
An algebraic construction of predicate transformers. Zbl 0807.18003
Gardiner, Paul H. B.; Martin, Clare E.; de Moor, Oege
11
1994
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
11
1988
A transactional object calculus. Zbl 1076.68021
Jagannathan, Suresh; Vitek, Jan; Welc, Adam; Hosking, Antony
11
2005
A state/event-based model-checking approach for the analysis of abstract system properties. Zbl 1213.68392
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
11
2011
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
11
1981
Modelling angelic and demonic nondeterminism with multirelations. Zbl 1106.68023
Martin, C. E.; Curtis, S. A.; Rewitzky, I.
11
2007
A note on a standard strategy for developing loop invariants and loops. Zbl 0516.68008
Gries, David
10
1982
A semantics for shape. Zbl 0853.68119
Jay, C. Barry
10
1995
Towards pointer algebra. Zbl 0780.68090
Möller, Bernhard
10
1993
Polytypic values possess polykinded types. Zbl 1016.68021
Hinze, Ralf
10
2002
Abstract interpretation of programs as Markov decision processes. Zbl 1088.68039
Monniaux, David
10
2005
Transformation by interpreter specialisation. Zbl 1091.68018
Jones, Neil D.
10
2004
Program derivation by fixed point computation. Zbl 0681.68020
Cai, Jiazhen; Paige, Robert
10
1989
Goal-directed requirements acquisition. Zbl 0792.68024
Dardenne, Anne; van Lamsweerde, Axel; Fickas, Stephen
9
1993
The universal resolving algorithm and its correctness: Inverse computation in a functional language. Zbl 1014.68037
Abramov, Sergei; Glück, Robert
9
2002
The semantics and execution of a synchronous block-diagram language. Zbl 1056.68099
Edwards, Stephen A.; Lee, Edward A.
9
2003
Type error slicing in implicitly typed higher-order languages. Zbl 1091.68017
Haack, Christian; Wells, J. B.
9
2004
Linear dependent types in a call-by-value scenario. Zbl 1283.68117
Dal Lago, Ugo; Petit, Barbara
7
2014
Tor: modular search with hookable disjunction. Zbl 1283.68318
Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit
4
2014
Exception handling for copyless messaging. Zbl 1283.68208
Jakšić, Svetlana; Padovani, Luca
3
2014
An object-oriented parallel programming language for distributed-memory parallel computing platforms. Zbl 1410.68076
Pinho, Eduardo Gurgel; de Carvalho, Francisco Heron jun.
1
2014
A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad
1
2014
Spanders: distributed spanning expanders. Zbl 1279.68026
Dolev, Shlomi; Tzachar, Nir
11
2013
Behavioural contracts with request-response operations. Zbl 1264.68117
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
3
2013
Validation of formal models by refinement animation. Zbl 1264.68057
Hallerstede, Stefan; Leuschel, Michael; Plagge, Daniel
3
2013
Integration of SMT-solvers in B and Event-B development environments. Zbl 1264.68056
Déharbe, David
3
2013
On flexible dynamic trait replacement for Java-like languages. Zbl 1284.68101
Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio
2
2013
Combining traits with boxes and ownership types in a Java-like setting. Zbl 1264.68046
Bettini, Lorenzo; Damiani, Ferruccio; Geilmann, Kathrin; Schäfer, Jan
2
2013
Dual analysis for proving safety and finding bugs. Zbl 1264.68065
Popeea, Corneliu; Chin, Wei-Ngan
2
2013
Formal verification of side-channel countermeasures using self-composition. Zbl 1284.68158
Almeida, J. Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara
1
2013
Reasoned modelling critics: turning failed proofs into modelling guidance. Zbl 1264.68058
Ireland, Andrew; Grov, Gudmund; Llano, Maria Teresa; Butler, Michael
1
2013
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Zbl 1243.68148
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao
35
2012
A system for compositional verification of asynchronous objects. Zbl 1264.68050
Ahrendt, Wolfgang; Dylla, Maximilian
8
2012
Towards a notion of unsatisfiable and unrealizable cores for LTL. Zbl 1242.68075
Schuppan, Viktor
8
2012
Certifying assembly with formal security proofs: the case of BBS. Zbl 1243.68146
Affeldt, Reynald; Nowak, David; Yamada, Kiyoshi
8
2012
Verifying hierarchical Ptolemy II discrete-event models using real-time maude. Zbl 1264.68051
Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros
7
2012
Mechanical reasoning about families of UTP theories. Zbl 1243.68270
Zeyda, Frank; Cavalcanti, Ana
7
2012
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212
Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
7
2012
Modal event-clock specifications for timed component-based design. Zbl 1264.68053
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste
6
2012
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
5
2012
A model of context-dependent component connectors. Zbl 1243.68147
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra
5
2012
Formal modeling of evolving self-adaptive systems. Zbl 1264.68131
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza
4
2012
Verification of graph grammars using a logical approach. Zbl 1243.68211
da Costa, Simone André; Ribeiro, Leila
4
2012
Refinement-oriented models of Stateflow charts. Zbl 1243.68152
Miyazawa, Alvaro; Cavalcanti, Ana
4
2012
SAT-solving in CSP trace refinement. Zbl 1243.68216
Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W.
4
2012
Aspects preserving properties. Zbl 1243.68143
Djoko Djoko, Simplice; Douence, Rémi; Fradet, Pascal
3
2012
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Compositional design of isochronous systems. Zbl 1250.68094
Talpin, Jean-Pierre; Ouy, Julien; Gautier, Thierry; Besnard, Loïc; Le Guernic, Paul
3
2012
Structural reconfiguration of systems under behavioral adaptation. Zbl 1264.68047
Canal, Carlos; Cámara, Javier; Salaün, Gwen
2
2012
Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan
2
2012
Provably correct conflict prevention bands algorithms. Zbl 1243.68153
Narkawicz, Anthony; Muñoz, César; Dowek, Gilles
2
2012
Sequential and distributed on-the-fly computation of weak tau-confluence. Zbl 1243.68219
Mateescu, Radu; Wijs, Anton
2
2012
Exploiting step semantics for efficient bounded model checking of asynchronous systems. Zbl 1243.68213
Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo
2
2012
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets. Zbl 1243.68042
Valero, Valentín; Macià, Hermenegilda; Pardo, Juan José; Cambronero, María Emilia; Díaz, Gregorio
1
2012
A formal model for service-oriented interactions. Zbl 1243.68138
Fiadeiro, José; Lopes, Antónia; Abreu, João
1
2012
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Zbl 1264.68052
Barnat, Jiří; Brim, Luboš; Ročkai, Petr
1
2012
SAT-based verification for timed component connectors. Zbl 1279.68212
Kemper, Stephanie
1
2012
Moving in a network under random failures: a complexity analysis. Zbl 1242.68031
Klein, Dominik; Radmacher, Frank G.; Thomas, Wolfgang
1
2012
Combining decision procedures by (model-)equality propagation. Zbl 1243.68150
de Oliveira, Diego Caminha B.; Déharbe, David; Fontaine, Pascal
1
2012
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
31
2011
A state/event-based model-checking approach for the analysis of abstract system properties. Zbl 1213.68392
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
11
2011
Modeling dynamic reconfigurations in Reo using high-level replacement systems. Zbl 1211.68052
Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad
9
2011
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059
Carette, Jacques; Kiselyov, Oleg
7
2011
Property specifications for workflow modelling. Zbl 1216.68165
Wong, Peter Y. H.; Gibbons, Jeremy
5
2011
On Euclid’s algorithm and elementary number theory. Zbl 1246.11187
Backhouse, Roland; Ferreira, João F.
5
2011
Map fusion for nested datatypes in intensional type theory. Zbl 1210.68048
Matthes, Ralph
5
2011
A semantics for behavior trees using CSP with specification commands. Zbl 1220.68050
Colvin, Robert J.; Hayes, Ian J.
4
2011
A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101
Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
4
2011
Formalisations and applications of BPMN. Zbl 1213.68212
Wong, Peter Y. H.; Gibbons, Jeremy
3
2011
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
3
2011
A type system for reflective program generators. Zbl 1215.68062
Lutteroth, Christof; Draheim, Dirk; Weber, Gerald
3
2011
Partial evaluation of Maple. Zbl 1215.68277
Carette, Jacques; Kucera, Michael
3
2011
XML graphs in program analysis. Zbl 1215.68079
Møller, Anders; Schwartzbach, Michael
3
2011
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
simpA: an agent-oriented approach for programming concurrent applications on top of Java. Zbl 1211.68055
Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio
2
2011
Flash memory efficient LTL model checking. Zbl 1213.68372
Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.
2
2011
Completeness of fair ASM refinement. Zbl 1217.68065
Schellhorn, Gerhard
2
2011
Contexts, refinement and determinism. Zbl 1219.68091
Reeves, Steve; Streader, David
2
2011
Channel-based coordination via constraint satisfaction. Zbl 1220.68049
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad
2
2011
Statically safe program generation with SafeGen. Zbl 1215.68054
Huang, Shan Shan; Zook, David; Smaragdakis, Yannis
2
2011
Delegation by object composition. Zbl 1217.68047
Bettini, Lorenzo; Bono, Viviana; Venneri, Betti
2
2011
Comparing three coordination models: Reo, ARC, and PBRD. Zbl 1211.68056
Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping
1
2011
Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API. Zbl 1209.68111
Li, Guodong; Palmer, Robert; DeLisi, Michael; Gopalakrishnan, Ganesh; Kirby, Robert M.
1
2011
Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving. Zbl 1213.68193
van Gastel, Bernard; Lensink, Leonard; Smetsers, Sjaak; van Eekelen, Marko
1
2011
Application of static analyses for state-space reduction to the microcontroller binary code. Zbl 1213.68390
Schlich, Bastian; Brauer, Jörg; Kowalewski, Stefan
1
2011
A generic topology library. Zbl 1211.68130
Heinzl, René; Schwaha, Philipp
1
2011
Partial order reduction for state/event LTL with application to component-interaction automata. Zbl 1220.68048
Beneš, N.; Brim, L.; Buhnova, B.; Černá, I.; Sochor, J.; Vařeková, P.
1
2011
Transformation of structure-shy programs with application to XPath queries and strategic functions. Zbl 1215.68066
Cunha, Alcino; Visser, Joost
1
2011
Metamodeling semantics of multiple inheritance. Zbl 1215.68060
Ducournau, Roland; Privat, Jean
1
2011
Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types. Zbl 1215.68069
Male, Chris; Pearce, David J.; Potanin, Alex; Dymnikov, Constantine
1
2011
Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B. Zbl 1221.68062
Schneider, Steve; Treharne, Helen
1
2011
A process calculus for mobile ad hoc networks. Zbl 1192.68451
Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A.
25
2010
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Zbl 1197.68035
Logozzo, Francesco; Fähndrich, Manuel
12
2010
An algebraic foundation for automatic feature-based program synthesis. Zbl 1209.68129
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian
6
2010
Incompleteness of relational simulations in the blocking paradigm. Zbl 1209.68306
Boiten, Eerke; Derrick, John
6
2010
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms. Zbl 1209.68170
Cleophas, Loek; Watson, Bruce W.; Zwaan, Gerard
4
2010
Actor-based slicing techniques for efficient reduction of Rebeca models. Zbl 1214.68223
Sabouri, Hamideh; Sirjani, Marjan
3
2010
Silver: an extensible attribute grammar system. Zbl 1187.68285
van Wyk, Eric; Bodin, Derek; Gao, Jimin; Krishnan, Lijesh
3
2010
Analyzing ambiguity of context-free grammars. Zbl 1189.68068
Brabrand, Claus; Giegerich, Robert; Møller, Anders
3
2010
Dynamic algorithm selection for runtime concepts. Zbl 1197.68036
Pirkelbauer, Peter; Parent, Sean; Marcus, Mat; Stroustrup, Bjarne
2
2010
Scoping strategies for distributed aspects. Zbl 1209.68113
Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario
2
2010
Design and evaluation of C++ open multi-methods. Zbl 1211.68054
Pirkelbauer, Peter; Solodkyy, Yuriy; Stroustrup, Bjarne
2
2010
An experimental ambiguity detection tool. Zbl 1187.68282
Schmitz, Sylvain
2
2010
Sound refactorings. Zbl 1191.68168
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
2
2010
Event based choreography. Zbl 1209.68032
Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele
1
2010
Component simulation-based substitutivity managing QoS and composition issues. Zbl 1214.68097
Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme
1
2010
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution. Zbl 1209.68286
Denny, Joel E.; Malloy, Brian A.
1
2010
Simple section interchange and properties of non-computable functions. Zbl 1209.68141
Maurer, Ward Douglas
1
2010
Integrating coercion with subtyping and multiple dispatch. Zbl 1197.68033
Hallett, J. J.; Luchangco, Victor; Ryu, Sukyoung; Steele, Guy L. jun.
1
2010
A resource-efficient event algebra. Zbl 1211.68148
Carlson, Jan; Lisper, Björn
1
2010
Preventing injection attacks with syntax embeddings. Zbl 1211.68046
Bravenboer, Martin; Dolstra, Eelco; Visser, Eelco
1
2010
Constructing language processors with algebra combinators. Zbl 1211.68049
Frisby, Nicolas; Kimmell, Garrin; Weaver, Philip; Alexander, Perry
1
2010
Experience of building an architecture-based generator using GenVoca for distributed systems. Zbl 1196.68026
Lung, Chung-Horng; Rajeswaran, Pragash; Sivadas, Sathyanarayanan; Sivabalasingam, Theleepan
1
2010
Implementation of a modelica compiler using JastAdd attribute grammars. Zbl 1187.68139
Åkesson, Johan; Ekman, Torbjörn; Hedin, Görel
1
2010
Recognition is not parsing - SPPF-style parsing from cubic recognisers. Zbl 1187.68301
Scott, Elizabeth; Johnstone, Adrian
1
2010
Theory and practice of unparsed patterns for metacompilation. Zbl 1191.68173
Rinderknecht, Christian; Volanschi, Nic
1
2010
...and 501 more Documents
all top 5

Cited by 4,272 Authors

27 Hermenegildo, Manuel V.
27 Struth, Georg
23 Hesselink, Wim H.
21 Cavalcanti, Ana
21 Möller, Bernhard
19 Duan, Zhenhua
19 Höfner, Peter
18 Katoen, Joost-Pieter
18 Meseguer Guaita, José
17 Arbab, Farhad
17 Hennicker, Rolf
16 Guttmann, Walter
15 Desharnais, Jules
15 Kupferman, Orna
14 Bergstra, Jan A.
14 Hayes, Ian J.
14 Morales, Jose Francisco
14 van Glabbeek, Robert Jan
14 Woodcock, James C. P.
13 Morgan, Carroll C.
13 Willemse, Tim A. C.
12 Baier, Christel
12 Giacobazzi, Roberto
12 Gibbons, Jeremy
12 Olderog, Ernst-Rüdiger
12 Talcott, Carolyn L.
12 Zeyda, Frank
12 Zhang, Nan
12 Zhu, Huibiao
11 Danvy, Olivier
11 De Nicola, Rocco
11 López-García, Pedro
11 Mastroeni, Isabella
11 Naumann, David A.
11 Nielson, Flemming
11 Pnueli, Amir
11 Reps, Thomas W.
11 Tian, Cong
11 Zaffanella, Enea
10 Berghammer, Rudolf
10 Henzinger, Thomas A.
10 Lange, Martin
10 McIver, Annabelle K.
10 Middelburg, Cornelis A.
10 Mili, Ali
10 Schmidt-Schauß, Manfred
10 Vardi, Moshe Ya’akov
9 Attie, Paul C.
9 Attiya, Hagit
9 Bliudze, Simon
9 Broy, Manfred
9 Clarke, Dave
9 Colvin, Robert J.
9 Meinicke, Larissa A.
9 Minas, Mark
9 Peron, Adriano
9 Ranzato, Francesco
9 Sampaio, Augusto C. A.
9 Sannella, Donald T.
9 Wirsing, Martin
8 Abel, Andreas M.
8 Back, Ralph-Johan
8 Backhouse, Roland C.
8 Banach, Richard
8 Bidoit, Michel
8 Chin, Wei-Ngan
8 Cortesi, Agostino
8 Cousot, Patrick
8 Derrick, John
8 Durán, Francisco
8 Francez, Nissim
8 Groote, Jan Friso
8 Harel, David
8 He, Jifeng
8 Hermanns, Holger
8 Hinze, Ralf
8 Hoare, Charles Antony Richard
8 Hu, Zhenjiang
8 Johnsen, Einar Broch
8 Jonsson, Bengt
8 King, Andy
8 Legay, Axel
8 Liu, Zhiming
8 Maggiolo-Schettini, Andrea
8 Mu, Shin-Cheng
8 Nipkow, Tobias
8 Oliveira, José Nuno
8 Owe, Olaf
8 Sabel, David
8 Seidl, Helmut
8 Steffen, Martin
8 Tarlecki, Andrzej
8 Thiemann, Peter J.
8 Tripakis, Stavros
8 Uustalu, Tarmo
8 Vojnar, Tomáš
7 Baeten, Jos C. M.
7 Barbosa, Luís Soares
7 Barthe, Gilles
7 Bernardo, Marco
...and 4,172 more Authors
all top 5

Cited in 168 Journals

356 Theoretical Computer Science
175 Formal Aspects of Computing
119 Information and Computation
109 Science of Computer Programming
91 Journal of Logical and Algebraic Methods in Programming
88 Journal of Functional Programming
82 Acta Informatica
75 The Journal of Logic and Algebraic Programming
66 Information Processing Letters
61 Formal Methods in System Design
48 Journal of Automated Reasoning
45 Mathematical Structures in Computer Science
45 Distributed Computing
36 Logical Methods in Computer Science
32 Theory and Practice of Logic Programming
31 Higher-Order and Symbolic Computation
23 Journal of Symbolic Computation
22 Journal of Computer and System Sciences
20 International Journal of Foundations of Computer Science
19 Computer Languages, Systems & Structures
17 Information Sciences
15 Real-Time Systems
13 Artificial Intelligence
13 Discrete Event Dynamic Systems
12 ACM Transactions on Computational Logic
11 Theory of Computing Systems
10 New Generation Computing
9 International Journal of Parallel Programming
9 Journal of Parallel and Distributed Computing
9 International Journal of Computer Mathematics
8 Automatica
8 Journal of Computer Science and Technology
8 RAIRO. Theoretical Informatics and Applications
7 Topology and its Applications
7 Annals of Pure and Applied Logic
7 Applicable Algebra in Engineering, Communication and Computing
7 Journal of Applied Logic
6 Programming and Computer Software
6 Studia Logica
6 Algorithmica
6 Parallel Algorithms and Applications
6 Fundamenta Informaticae
6 Computer Science Review
5 Computing
5 RAIRO. Informatique Théorique et Applications
5 Cybernetics and Systems Analysis
5 Journal of Logic, Language and Information
5 Annals of Mathematics and Artificial Intelligence
5 Mathematics in Computer Science
5 Frontiers of Computer Science
4 Discrete Applied Mathematics
4 European Journal of Operational Research
4 Constraints
4 Journal of Combinatorial Optimization
4 Journal of the ACM
4 Journal of Applied Mathematics
4 Algorithms
3 Computers & Mathematics with Applications
3 Applied Mathematics and Computation
3 BIT
3 Fuzzy Sets and Systems
3 The Journal of Symbolic Logic
3 SIAM Journal on Computing
3 International Journal of Production Research
3 International Journal of Approximate Reasoning
3 Computational Geometry
3 Data Mining and Knowledge Discovery
3 Natural Computing
3 Journal of Discrete Algorithms
3 Science China. Information Sciences
3 RAIRO. Theoretical Informatics and Applications
2 ACM Computing Surveys
2 International Journal of Control
2 International Journal of Theoretical Physics
2 Mathematics of Computation
2 Bulletin of Mathematical Biology
2 Algebra Universalis
2 Journal of Computational and Applied Mathematics
2 Notre Dame Journal of Formal Logic
2 Opsearch
2 Software. Practice & Experience
2 Computers & Operations Research
2 Machine Learning
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Applied Categorical Structures
2 Journal of Applied Non-Classical Logics
2 Diagrammes
2 Journal of the Egyptian Mathematical Society
2 The Journal of Artificial Intelligence Research (JAIR)
2 The Bulletin of Symbolic Logic
2 Reliable Computing
2 Mathematical and Computer Modelling of Dynamical Systems
2 Journal of Machine Learning Research (JMLR)
2 Symmetry
2 Journal of Theoretical Biology
1 Computer Physics Communications
1 International Journal of General Systems
1 International Journal of Systems Science
1 Journal of Engineering Mathematics
1 Journal of the Franklin Institute
...and 68 more Journals
all top 5

Cited in 39 Fields

2,875 Computer science (68-XX)
498 Mathematical logic and foundations (03-XX)
82 Category theory; homological algebra (18-XX)
68 Systems theory; control (93-XX)
60 Operations research, mathematical programming (90-XX)
47 Information and communication theory, circuits (94-XX)
43 Order, lattices, ordered algebraic structures (06-XX)
38 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
34 Combinatorics (05-XX)
32 Biology and other natural sciences (92-XX)
23 Numerical analysis (65-XX)
15 General algebraic systems (08-XX)
13 Number theory (11-XX)
13 Associative rings and algebras (16-XX)
13 Quantum theory (81-XX)
12 History and biography (01-XX)
12 Statistics (62-XX)
11 General topology (54-XX)
11 Probability theory and stochastic processes (60-XX)
10 General and overarching topics; collections (00-XX)
7 Commutative algebra (13-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Group theory and generalizations (20-XX)
6 Dynamical systems and ergodic theory (37-XX)
6 Convex and discrete geometry (52-XX)
3 Mechanics of particles and systems (70-XX)
2 Field theory and polynomials (12-XX)
2 Ordinary differential equations (34-XX)
2 Algebraic topology (55-XX)
1 Algebraic geometry (14-XX)
1 Topological groups, Lie groups (22-XX)
1 Real functions (26-XX)
1 Difference and functional equations (39-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Operator theory (47-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Fluid mechanics (76-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year