×

zbMATH — the first resource for mathematics

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: No longer indexed
Documents Indexed: 998 Publications (1981–2014)
References Indexed: 196 Publications with 8,012 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 Levi, Giorgio
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,520 more Authors

Publications by Year

Citations contained in zbMATH Open

569 Publications have been cited 2,791 times in 2,275 Documents Cited by Year
Statecharts: a visual formalism for complex systems. Zbl 0637.68010
Harel, David
141
1987
The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013
Berry, Gérard; Gonthier, Georges
66
1992
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
65
1982
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
40
1987
A theoretical basis for stepwise refinement and the programming calculus. Zbl 0624.68017
Morris, Joseph M.
39
1987
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
36
2006
Termination of rewriting systems by polynomial interpretations and its implementation. Zbl 0625.68036
Ben Cherifa, Ahlem; Lescanne, Pierre
36
1987
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
33
1982
Generalising monads to arrows. Zbl 0954.68034
Hughes, John
33
2000
Towards a refinement algebra. Zbl 1091.68030
von Wright, J.
30
2004
Probabilistic models for the guarded command language. Zbl 0877.68014
Jifeng, He; Seidel, K.; McIver, A.
30
1997
The categorical abstract machine. Zbl 0634.68078
Cousineau, G.; Curien, P.-L.; Mauny, M.
27
1987
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
25
1983
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
24
2005
An implementation of an efficient algorithm for bisimulation equivalence. Zbl 0711.68058
Fernandez, Jean-Claude
23
1990
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
Framed temporal logic programming. Zbl 1131.68036
Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej
22
2008
Wait-free algorithms for fast, long-lived renaming. Zbl 0838.68050
Moir, Mark; Anderson, James H.
21
1995
Decomposition of distributed programs into communication-closed layers. Zbl 0514.68033
Elrad, Tzilla; Francez, Nissim
20
1982
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
20
1984
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
20
2007
Data structures and program transformation. Zbl 0712.68014
Malcolm, Grant
19
1990
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
19
2005
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
18
1986
The gamma model and its discipline of programming. Zbl 0715.68054
Banâtre, Jean-Pierre; Le Métayer, Daniel
17
1990
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
17
2012
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
17
2011
A semantic approach to secure information flow. Zbl 0954.68052
Joshi, Rajeev; Leino, K. Rustan M.
17
2000
A process calculus for mobile ad hoc networks. Zbl 1192.68451
Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A.
17
2010
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
16
2005
The derivation of systolic computations. Zbl 0709.68020
Kaldewaij, Anne; Rem, Martin
16
1990
Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015
Clarke, Dave; Costa, David; Arbab, Farhad
16
2007
Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus. Zbl 1026.68098
Mateescu, Radu; Sighireanu, Mihaela
16
2003
Power domain constructions. Zbl 0769.08005
Heckmann, Reinhold
15
1991
Model checking using net unfoldings. Zbl 0834.68087
Esparza, Javier
15
1994
Kleene getting lazy. Zbl 1109.68060
Möller, Bernhard
15
2007
A calculus of total correctness for communicating processes. Zbl 0485.68025
Hoare, C. A. R.
14
1981
Optimal domains for disjunctive abstract interpretation. Zbl 0942.68020
Giacobazzi, Roberto; Ranzato, Francesco
14
1998
On the expressive power of programming languages. Zbl 0745.68033
Felleisen, Matthias
13
1991
A functional theory of exceptions. Zbl 0699.68022
Spivey, Mike
13
1990
Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014
Arbab, Farhad
12
2005
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
12
1990
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
12
2009
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
12
2009
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Zbl 1171.68555
Rodríguez-Carbonell, E.; Kapur, D.
12
2007
Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348
Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S.
12
2007
Increasing modularity and language-independency in automatically generated compilers. Zbl 0565.68011
Ganzinger, Harald
12
1983
Synchronous programming with events and relations: The SIGNAL language and its semantics. Zbl 0745.68031
Benveniste, Albert; Le Guernic, Paul; Jaquemot, Christian
11
1991
Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073
Bondorf, Anders; Danvy, Olivier
11
1991
A higher-order implementation of rewriting. Zbl 0551.68076
Paulson, Lawrence
11
1983
Behavioural correctness of data representations. Zbl 0699.68031
Schoett, Oliver
11
1990
Smoothsort, an alternative for sorting in situ. Zbl 0486.68050
Dijkstra, Edsger W.
11
1982
Transformational design and implementation of a new efficient solution to the ready simulation problem. Zbl 0832.68050
Bloom, Bard; Paige, Robert
11
1995
Introduction to set constraint-based program analysis. Zbl 0940.68031
Aiken, Alexander
11
1999
Two classes of Boolean functions for dependency analysis. Zbl 0942.68018
Armstrong, Tania; Marriott, Kim; Schachte, Peter; Søndergaard, Harald
11
1998
A taxonomy of sublinear multiple keyword pattern matching algorithms. Zbl 0858.68026
Watson, B. W.; Zwaan, G.
11
1996
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Zbl 0891.68056
Bagnara, Roberto
11
1998
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
11
2005
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.
10
2005
Justification of the structural synthesis of programs. Zbl 0514.68019
Mints, G.; Tyugu, E.
10
1982
A note on a standard strategy for developing loop invariants and loops. Zbl 0516.68008
Gries, David
10
1982
Proofs with graphs. Zbl 0852.68070
Curtis, Sharon; Lowe, Gavin
10
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
10
1999
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
10
2000
Combinations of abstract domains for logic programming: Open product and generic pattern construction. Zbl 0957.68023
Cortesi, Agostino; Le Charlier, Baudouin; Van Hentenryck, Pascal
10
2000
Back to direct style. Zbl 0808.68051
Danvy, Olivier
10
1994
Dynamic typing: Syntax and proof theory. Zbl 0809.68083
Henglein, Fritz
10
1994
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
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.
10
2007
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.
9
1981
A discipline of dynamic programming over sequence data. Zbl 1067.90157
Giegerich, Robert; Meyer, Carsten; Steffen, Peter
9
2004
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
9
2011
The octahedron abstract domain. Zbl 1171.68540
Clarisó, Robert; Cortadella, Jordi
9
2007
A semantics for shape. Zbl 0853.68119
Jay, C. Barry
9
1995
Substitution: A formal methods case study using monads and transformations. Zbl 0830.68025
Bellegarde, Françoise; Hook, James
9
1994
Modelling angelic and demonic nondeterminism with multirelations. Zbl 1106.68023
Martin, C. E.; Curtis, S. A.; Rewitzky, I.
9
2007
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
9
1986
Program inversion: More than fun! Zbl 0715.68055
Chen, Wei; Udding, Jan Tijmen
8
1990
Deductive synthesis of the unification algorithm. Zbl 0472.68054
Manna, Zohar; Waldinger, Richard
8
1981
A methodology for programming with concurrency: An informal presentation. Zbl 0491.68005
Lengauer, Christian; Hehner, Eric C. R.
8
1982
Safety of abstract interpretations for free, via logical relations and Galois connections. Zbl 1091.68069
Backhouse, Kevin; Backhouse, Roland
8
2004
PiDuce- A project for experimenting web services technologies. Zbl 1194.68077
Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
8
2009
A system for compositional verification of asynchronous objects. Zbl 1264.68050
Ahrendt, Wolfgang; Dylla, Maximilian
8
2012
Computing with continuous change. Zbl 0891.68039
Gupta, V.; Jagadeesan, R.; Saraswat, V. A.
8
1998
Goal-directed requirements acquisition. Zbl 0792.68024
Dardenne, Anne; van Lamsweerde, Axel; Fickas, Stephen
8
1993
An algebraic construction of predicate transformers. Zbl 0807.18003
Gardiner, Paul H. B.; Martin, Clare E.; de Moor, Oege
8
1994
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
8
2007
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
8
1988
Top-down design and the algebra of communicating processes. Zbl 0606.68021
Bergstra, J. A.; Tucker, J. V.
8
1985
An assertional correctness proof of a distributed algorithm. Zbl 0514.68014
Lamport, Leslie
7
1982
A mathematical definition of full Prolog. Zbl 0832.68022
Börger, Egon; Rosenzweig, Dean
7
1995
Using eternity variables to specify and prove a serializable database interface. Zbl 1091.68041
Hesselink, Wim H.
7
2004
Algebraic reasoning for object-oriented programming. Zbl 1091.68027
Borba, Paulo; Sampaio, Augusto; Cavalcanti, Ana; Cornélio, Márcio
7
2004
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Zbl 1197.68035
Logozzo, Francesco; Fähndrich, Manuel
7
2010
Atomizer: A dynamic atomicity checker for multithreaded programs. Zbl 1146.68350
Flanagan, Cormac; Freund, Stephen N.
7
2008
A theory of computer instructions. Zbl 1103.68054
Maurer, Ward Douglas
7
2006
Modeling dynamic reconfigurations in Reo using high-level replacement systems. Zbl 1211.68052
Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad
7
2011
Reconciling statechart semantics. Zbl 1171.68021
Eshuis, Rik
7
2009
A logic for information flow analysis with an application to forward slicing of simple imperative programs. Zbl 1171.68538
Amtoft, Torben; Banerjee, Anindya
7
2007
Formal derivation of a pattern matching algorithm. Zbl 0679.68011
Bird, R. S.; Gibbons, J.; Jones, G.
7
1989
Exception handling for copyless messaging. Zbl 1283.68208
Jakšić, Svetlana; Padovani, Luca
3
2014
Linear dependent types in a call-by-value scenario. Zbl 1283.68117
Dal Lago, Ugo; Petit, Barbara
3
2014
Tor: modular search with hookable disjunction. Zbl 1283.68318
Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit
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
6
2013
Behavioural contracts with request-response operations. Zbl 1264.68117
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
2
2013
Integration of SMT-solvers in B and Event-B development environments. Zbl 1264.68056
Déharbe, David
2
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
1
2013
Validation of formal models by refinement animation. Zbl 1264.68057
Hallerstede, Stefan; Leuschel, Michael; Plagge, Daniel
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
Dual analysis for proving safety and finding bugs. Zbl 1264.68065
Popeea, Corneliu; Chin, Wei-Ngan
1
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
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
17
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
6
2012
Mechanical reasoning about families of UTP theories. Zbl 1243.68270
Zeyda, Frank; Cavalcanti, Ana
6
2012
Modal event-clock specifications for timed component-based design. Zbl 1264.68053
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste
5
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
5
2012
Verification of graph grammars using a logical approach. Zbl 1243.68211
da Costa, Simone André; Ribeiro, Leila
4
2012
Certifying assembly with formal security proofs: the case of BBS. Zbl 1243.68146
Affeldt, Reynald; Nowak, David; Yamada, Kiyoshi
4
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
4
2012
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
3
2012
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
A model of context-dependent component connectors. Zbl 1243.68147
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra
3
2012
SAT-solving in CSP trace refinement. Zbl 1243.68216
Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W.
3
2012
Aspects preserving properties. Zbl 1243.68143
Djoko Djoko, Simplice; Douence, Rémi; Fradet, Pascal
2
2012
Exploiting step semantics for efficient bounded model checking of asynchronous systems. Zbl 1243.68213
Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo
2
2012
Refinement-oriented models of Stateflow charts. Zbl 1243.68152
Miyazawa, Alvaro; Cavalcanti, Ana
2
2012
Compositional design of isochronous systems. Zbl 1250.68094
Talpin, Jean-Pierre; Ouy, Julien; Gautier, Thierry; Besnard, Loïc; Le Guernic, Paul
2
2012
Formal modeling of evolving self-adaptive systems. Zbl 1264.68131
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza
2
2012
SAT-based verification for timed component connectors. Zbl 1279.68212
Kemper, Stephanie
1
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
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
A formal model for service-oriented interactions. Zbl 1243.68138
Fiadeiro, José; Lopes, Antónia; Abreu, João
1
2012
Provably correct conflict prevention bands algorithms. Zbl 1243.68153
Narkawicz, Anthony; Muñoz, César; Dowek, Gilles
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
Structural reconfiguration of systems under behavioral adaptation. Zbl 1264.68047
Canal, Carlos; Cámara, Javier; Salaün, Gwen
1
2012
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
17
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
9
2011
Modeling dynamic reconfigurations in Reo using high-level replacement systems. Zbl 1211.68052
Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad
7
2011
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059
Carette, Jacques; Kiselyov, Oleg
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
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
Property specifications for workflow modelling. Zbl 1216.68165
Wong, Peter Y. H.; Gibbons, Jeremy
3
2011
On Euclid’s algorithm and elementary number theory. Zbl 1246.11187
Backhouse, Roland; Ferreira, João F.
3
2011
Statically safe program generation with SafeGen. Zbl 1215.68054
Huang, Shan Shan; Zook, David; Smaragdakis, Yannis
2
2011
A type system for reflective program generators. Zbl 1215.68062
Lutteroth, Christof; Draheim, Dirk; Weber, Gerald
2
2011
Partial evaluation of Maple. Zbl 1215.68277
Carette, Jacques; Kucera, Michael
2
2011
XML graphs in program analysis. Zbl 1215.68079
Møller, Anders; Schwartzbach, Michael
2
2011
Contexts, refinement and determinism. Zbl 1219.68091
Reeves, Steve; Streader, David
2
2011
Formalisations and applications of BPMN. Zbl 1213.68212
Wong, Peter Y. H.; Gibbons, Jeremy
2
2011
Synthesis of Reo circuits from scenario-based interaction specifications. Zbl 1237.68064
Meng, Sun; Arbab, Farhad; Baier, Christel
2
2011
Delegation by object composition. Zbl 1217.68047
Bettini, Lorenzo; Bono, Viviana; Venneri, Betti
2
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
Map fusion for nested datatypes in intensional type theory. Zbl 1210.68048
Matthes, Ralph
2
2011
A generic topology library. Zbl 1211.68130
Heinzl, René; Schwaha, Philipp
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
Completeness of fair ASM refinement. Zbl 1217.68065
Schellhorn, Gerhard
1
2011
Channel-based coordination via constraint satisfaction. Zbl 1220.68049
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad
1
2011
Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B. Zbl 1221.68062
Schneider, Steve; Treharne, Helen
1
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
Flash memory efficient LTL model checking. Zbl 1213.68372
Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.
1
2011
A process calculus for mobile ad hoc networks. Zbl 1192.68451
Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A.
17
2010
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Zbl 1197.68035
Logozzo, Francesco; Fähndrich, Manuel
7
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
5
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
Actor-based slicing techniques for efficient reduction of Rebeca models. Zbl 1214.68223
Sabouri, Hamideh; Sirjani, Marjan
3
2010
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms. Zbl 1209.68170
Cleophas, Loek; Watson, Bruce W.; Zwaan, Gerard
3
2010
Dynamic algorithm selection for runtime concepts. Zbl 1197.68036
Pirkelbauer, Peter; Parent, Sean; Marcus, Mat; Stroustrup, Bjarne
2
2010
Design and evaluation of C++ open multi-methods. Zbl 1211.68054
Pirkelbauer, Peter; Solodkyy, Yuriy; 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
Analyzing ambiguity of context-free grammars. Zbl 1189.68068
Brabrand, Claus; Giegerich, Robert; Møller, Anders
2
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
Integrating coercion with subtyping and multiple dispatch. Zbl 1197.68033
Hallett, J. J.; Luchangco, Victor; Ryu, Sukyoung; Steele, Guy L. jun.
1
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
Constructing language processors with algebra combinators. Zbl 1211.68049
Frisby, Nicolas; Kimmell, Garrin; Weaver, Philip; Alexander, Perry
1
2010
Implementation of a modelica compiler using JastAdd attribute grammars. Zbl 1187.68139
Åkesson, Johan; Ekman, Torbjörn; Hedin, Görel
1
2010
An experimental ambiguity detection tool. Zbl 1187.68282
Schmitz, Sylvain
1
2010
Theory and practice of unparsed patterns for metacompilation. Zbl 1191.68173
Rinderknecht, Christian; Volanschi, Nic
1
2010
Sound refactorings. Zbl 1191.68168
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
1
2010
Combining dynamic and static slicing for analysing assembler. Zbl 1191.68174
Ward, Martin; Zedan, Hussein
1
2010
Conformance notions for the coordination of interaction components. Zbl 1200.68072
Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
1
2010
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
12
2009
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
12
2009
PiDuce- A project for experimenting web services technologies. Zbl 1194.68077
Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
8
2009
Reconciling statechart semantics. Zbl 1171.68021
Eshuis, Rik
7
2009
Symbolic model checking for channel-based component connectors. Zbl 1167.68035
Klüppelholz, Sascha; Baier, Christel
6
2009
Refunctionalization at work. Zbl 1192.68115
Danvy, Olivier; Millikin, Kevin
6
2009
...and 469 more Documents
all top 5

Cited by 3,413 Authors

23 Hesselink, Wim H.
19 Duan, Zhenhua
19 Möller, Bernhard
18 Struth, Georg
17 Cavalcanti, Ana
17 Hermenegildo, Manuel V.
16 Höfner, Peter
16 Meseguer Guaita, José
15 Bergstra, Jan A.
13 Arbab, Farhad
13 Hennicker, Rolf
12 Hayes, Ian J.
12 Morgan, Carroll C.
11 De Nicola, Rocco
11 Desharnais, Jules
11 Guttmann, Walter
11 Tian, Cong
11 Zhang, Nan
10 Katoen, Joost-Pieter
10 Kupferman, Orna
10 Middelburg, Cornelis A.
10 Naumann, David A.
10 Olderog, Ernst-Rüdiger
10 Pnueli, Amir
10 Talcott, Carolyn L.
9 Baier, Christel
9 Colvin, Robert J.
9 Danvy, Olivier
9 Gibbons, Jeremy
9 Nielson, Flemming
9 Ranzato, Francesco
9 Sannella, Donald T.
9 Schmidt-Schauß, Manfred
9 Woodcock, James C. P.
9 Zeyda, Frank
9 Zhu, Huibiao
8 Abel, Andreas M.
8 Back, Ralph-Johan
8 Banach, Richard
8 Berghammer, Rudolf
8 Bliudze, Simon
8 Clarke, Dave
8 Durán, Francisco
8 Francez, Nissim
8 Giacobazzi, Roberto
8 He, Jifeng
8 Hermanns, Holger
8 McIver, Annabelle K.
8 Mili, Ali
8 Owe, Olaf
8 Steffen, Martin
8 Tarlecki, Andrzej
8 Wirsing, Martin
8 Zaffanella, Enea
7 Baeten, Jos C. M.
7 Barbosa, Luís Soares
7 Broy, Manfred
7 Carro, Manuel
7 de Boer, Frank S.
7 Derrick, John
7 Groote, Jan Friso
7 Harel, David
7 Hoare, C. A. R. Tony
7 Johnsen, Einar Broch
7 Kapur, Deepak
7 King, Andy
7 Liu, Zhiming
7 Sabel, David
7 Sampaio, Augusto C. A.
7 Sifakis, Joseph
7 Uustalu, Tarmo
7 van Glabbeek, Robert Jan
7 Willemse, Tim A. C.
6 Albert, Elvira
6 Attie, Paul C.
6 Backhouse, Roland C.
6 Bagnara, Roberto
6 Bidoit, Michel
6 Corradini, Andrea
6 Cortesi, Agostino
6 Damiani, Ferruccio
6 Giegerich, Robert
6 Gorla, Daniele
6 Henzinger, Thomas A.
6 Jonsson, Bengt
6 Lanese, Ivan
6 Legay, Axel
6 Lengauer, Christian
6 Levi, Francesca
6 Martí-Oliet, Narciso
6 Martins, Manuel António
6 Matthes, Ralph
6 Meinicke, Larissa A.
6 Merro, Massimo
6 Morales, Jose Francisco
6 Oliveira, José Nuno
6 Padovani, Luca
6 Puebla, Germán
6 Pugliese, Rosario
6 Qin, Shengchao
...and 3,313 more Authors
all top 5

Cited in 159 Journals

346 Theoretical Computer Science
173 Formal Aspects of Computing
107 Science of Computer Programming
106 Information and Computation
83 Acta Informatica
75 The Journal of Logic and Algebraic Programming
71 Journal of Functional Programming
67 Journal of Logical and Algebraic Methods in Programming
65 Information Processing Letters
59 Formal Methods in System Design
44 Journal of Automated Reasoning
44 Distributed Computing
42 MSCS. Mathematical Structures in Computer Science
31 Higher-Order and Symbolic Computation
26 Theory and Practice of Logic Programming
22 Journal of Symbolic Computation
21 Journal of Computer and System Sciences
20 International Journal of Foundations of Computer Science
19 Computer Languages, Systems & Structures
17 Logical Methods in Computer Science
16 Information Sciences
15 Real-Time Systems
12 Discrete Event Dynamic Systems
11 Artificial Intelligence
10 New Generation Computing
10 Theory of Computing Systems
9 International Journal of Parallel Programming
9 Journal of Parallel and Distributed Computing
9 International Journal of Computer Mathematics
8 Journal of Computer Science and Technology
8 RAIRO. Theoretical Informatics and Applications
8 ACM Transactions on Computational Logic
7 Topology and its Applications
7 Annals of Pure and Applied Logic
7 Algorithmica
7 Applicable Algebra in Engineering, Communication and Computing
7 Journal of Applied Logic
6 Programming and Computer Software
6 Studia Logica
6 Parallel Algorithms and Applications
6 Computer Science Review
5 Automatica
5 Computing
5 RAIRO. Informatique Théorique et Applications
5 Cybernetics and Systems Analysis
5 Journal of Logic, Language and Information
5 Mathematics in Computer Science
5 Frontiers of Computer Science
4 Annals of Mathematics and Artificial Intelligence
4 Constraints
4 Journal of Combinatorial Optimization
4 Journal of Applied Mathematics
4 Algorithms
3 Discrete Applied Mathematics
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 European Journal of Operational Research
3 Journal of the ACM
3 Data Mining and Knowledge Discovery
3 Science China. Information Sciences
3 RAIRO. Theoretical Informatics and Applications
2 ACM Computing Surveys
2 Computers & Mathematics with Applications
2 International Journal of Control
2 International Journal of Theoretical Physics
2 Mathematics of Computation
2 Bulletin of Mathematical Biology
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 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 International Journal of Applied Mathematics and Computer Science
2 Fundamenta Informaticae
2 Natural Computing
2 Journal of Discrete Algorithms
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 Mathematical Biology
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 ACM Transactions on Database Systems
1 Algebra Universalis
...and 59 more Journals
all top 5

Cited in 37 Fields

2,142 Computer science (68-XX)
353 Mathematical logic and foundations (03-XX)
53 Operations research, mathematical programming (90-XX)
51 Category theory; homological algebra (18-XX)
44 Systems theory; control (93-XX)
40 Order, lattices, ordered algebraic structures (06-XX)
38 Information and communication theory, circuits (94-XX)
25 Biology and other natural sciences (92-XX)
24 Combinatorics (05-XX)
23 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
18 Numerical analysis (65-XX)
13 General algebraic systems (08-XX)
9 History and biography (01-XX)
9 Associative rings and algebras (16-XX)
9 General topology (54-XX)
9 Quantum theory (81-XX)
8 General and overarching topics; collections (00-XX)
8 Probability theory and stochastic processes (60-XX)
7 Number theory (11-XX)
7 Statistics (62-XX)
6 Convex and discrete geometry (52-XX)
5 Group theory and generalizations (20-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Field theory and polynomials (12-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Algebraic topology (55-XX)
2 Mechanics of particles and systems (70-XX)
1 Commutative algebra (13-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 Fluid mechanics (76-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year