×

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: 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

581 Publications have been cited 2,955 times in 2,425 Documents Cited by Year
Statecharts: a visual formalism for complex systems. Zbl 0637.68010
Harel, David
147
1987
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
72
1982
The Esterel synchronous programming language: Design, semantics, implementation. Zbl 0772.68013
Berry, Gérard; Gonthier, Georges
71
1992
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
45
1987
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
40
1982
A theoretical basis for stepwise refinement and the programming calculus. Zbl 0624.68017
Morris, Joseph M.
39
1987
Termination of rewriting systems by polynomial interpretations and its implementation. Zbl 0625.68036
Ben Cherifa, Ahlem; Lescanne, Pierre
37
1987
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
37
2006
Generalising monads to arrows. Zbl 0954.68034
Hughes, John
37
2000
Probabilistic models for the guarded command language. Zbl 0877.68014
Jifeng, He; Seidel, K.; McIver, A.
31
1997
Towards a refinement algebra. Zbl 1091.68030
von Wright, J.
30
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
28
2005
The categorical abstract machine. Zbl 0634.68078
Cousineau, G.; Curien, P.-L.; Mauny, M.
27
1987
Decomposition of distributed programs into communication-closed layers. Zbl 0514.68033
Elrad, Tzilla; Francez, Nissim
27
1982
An implementation of an efficient algorithm for bisimulation equivalence. Zbl 0711.68058
Fernandez, Jean-Claude
25
1990
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
25
1983
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
Wait-free algorithms for fast, long-lived renaming. Zbl 0838.68050
Moir, Mark; Anderson, James H.
22
1995
Framed temporal logic programming. Zbl 1131.68036
Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej
22
2008
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
22
2012
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
22
2007
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
21
1986
Data structures and program transformation. Zbl 0712.68014
Malcolm, Grant
21
1990
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
20
1984
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
20
2005
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
19
2011
A process calculus for mobile ad hoc networks. Zbl 1192.68451
Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A.
18
2010
The gamma model and its discipline of programming. Zbl 0715.68054
Banâtre, Jean-Pierre; Le Métayer, Daniel
17
1990
A semantic approach to secure information flow. Zbl 0954.68052
Joshi, Rajeev; Leino, K. Rustan M.
17
2000
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
17
2005
On the expressive power of programming languages. Zbl 0745.68033
Felleisen, Matthias
16
1991
Power domain constructions. Zbl 0769.08005
Heckmann, Reinhold
16
1991
The derivation of systolic computations. Zbl 0709.68020
Kaldewaij, Anne; Rem, Martin
16
1990
Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus. Zbl 1026.68098
Mateescu, Radu; Sighireanu, Mihaela
16
2003
Connector colouring. I: Synchronisation and context dependency. Zbl 1121.68015
Clarke, Dave; Costa, David; Arbab, Farhad
16
2007
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
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
14
2009
Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348
Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S.
14
2007
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Zbl 1171.68555
Rodríguez-Carbonell, E.; Kapur, D.
14
2007
A functional theory of exceptions. Zbl 0699.68022
Spivey, Mike
13
1990
Dynamic typing: Syntax and proof theory. Zbl 0809.68083
Henglein, Fritz
13
1994
Synchronous programming with events and relations: The SIGNAL language and its semantics. Zbl 0745.68031
Benveniste, Albert; Le Guernic, Paul; Jaquemot, Christian
12
1991
Increasing modularity and language-independency in automatically generated compilers. Zbl 0565.68011
Ganzinger, Harald
12
1983
Substitution: A formal methods case study using monads and transformations. Zbl 0830.68025
Bellegarde, Françoise; Hook, James
12
1994
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
12
1990
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
12
2009
Abstract behavior types: a foundation model for components and their composition. Zbl 1075.68014
Arbab, Farhad
12
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
12
2005
Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073
Bondorf, Anders; Danvy, Olivier
11
1991
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Zbl 0891.68056
Bagnara, Roberto
11
1998
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
Back to direct style. Zbl 0808.68051
Danvy, Olivier
11
1994
Transformational design and implementation of a new efficient solution to the ready simulation problem. Zbl 0832.68050
Bloom, Bard; Paige, Robert
11
1995
A taxonomy of sublinear multiple keyword pattern matching algorithms. Zbl 0858.68026
Watson, B. W.; Zwaan, G.
11
1996
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
11
1988
A higher-order implementation of rewriting. Zbl 0551.68076
Paulson, Lawrence
11
1983
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
11
1999
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
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
11
2005
A discipline of dynamic programming over sequence data. Zbl 1067.90157
Giegerich, Robert; Meyer, Carsten; Steffen, Peter
11
2004
The octahedron abstract domain. Zbl 1171.68540
Clarisó, Robert; Cortadella, Jordi
11
2007
Proofs with graphs. Zbl 0852.68070
Curtis, Sharon; Lowe, Gavin
10
1996
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
Automated compositional Markov chain generation for a plain-old telephone system. Zbl 0941.68649
Hermanns, Holger; Katoen, Joost-Pieter
10
2000
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
10
1986
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
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
Combinations of abstract domains for logic programming: Open product and generic pattern construction. Zbl 0957.68023
Cortesi, Agostino; Le Charlier, Baudouin; Van Hentenryck, Pascal
9
2000
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 mathematical definition of full Prolog. Zbl 0832.68022
Börger, Egon; Rosenzweig, Dean
9
1995
A semantics for shape. Zbl 0853.68119
Jay, C. Barry
9
1995
Modelling angelic and demonic nondeterminism with multirelations. Zbl 1106.68023
Martin, C. E.; Curtis, S. A.; Rewitzky, I.
9
2007
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
Computing with continuous change. Zbl 0891.68039
Gupta, V.; Jagadeesan, R.; Saraswat, V. A.
8
1998
Top-down design and the algebra of communicating processes. Zbl 0606.68021
Bergstra, J. A.; Tucker, J. V.
8
1985
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
Goal-directed requirements acquisition. Zbl 0792.68024
Dardenne, Anne; van Lamsweerde, Axel; Fickas, Stephen
8
1993
Towards pointer algebra. Zbl 0780.68090
Möller, Bernhard
8
1993
Calculating path algorithms. Zbl 0818.68117
Backhouse, Roland C.; van den Eijnde, J. P. H. W.; van Gasteren, A. J. M.
8
1994
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
Modular invariants for layered object structures. Zbl 1100.68539
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T.
8
2006
PiDuce- A project for experimenting web services technologies. Zbl 1194.68077
Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
8
2009
Concepts and realization of a diagram editor generator based on hypergraph transformation. Zbl 1002.68735
Minas, Mark
8
2002
Safety of abstract interpretations for free, via logical relations and Galois connections. Zbl 1091.68069
Backhouse, Kevin; Backhouse, Roland
8
2004
A system for compositional verification of asynchronous objects. Zbl 1264.68050
Ahrendt, Wolfgang; Dylla, Maximilian
8
2012
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Zbl 0678.68011
Bidoit, M.; Gaudel, M.-C.; Mauboussin, A.
7
1989
Formal derivation of a pattern matching algorithm. Zbl 0679.68011
Bird, R. S.; Gibbons, J.; Jones, G.
7
1989
Program derivation by fixed point computation. Zbl 0681.68020
Cai, Jiazhen; Paige, Robert
7
1989
An algorithm for type-checking dependent types. Zbl 0853.68102
Coquand, Thierry
7
1996
Explaining type inference. Zbl 0851.68015
Duggan, Dominic; Bent, Frederick
7
1996
Linear dependent types in a call-by-value scenario. Zbl 1283.68117
Dal Lago, Ugo; Petit, Barbara
4
2014
Exception handling for copyless messaging. Zbl 1283.68208
Jakšić, Svetlana; Padovani, Luca
3
2014
Tor: modular search with hookable disjunction. Zbl 1283.68318
Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit
2
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
On flexible dynamic trait replacement for Java-like languages. Zbl 1284.68101
Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio
2
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
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
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
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
22
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
A model of context-dependent component connectors. Zbl 1243.68147
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra
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
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
Sequential and distributed on-the-fly computation of weak tau-confluence. Zbl 1243.68219
Mateescu, Radu; Wijs, Anton
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
19
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
On Euclid’s algorithm and elementary number theory. Zbl 1246.11187
Backhouse, Roland; Ferreira, João F.
4
2011
Map fusion for nested datatypes in intensional type theory. Zbl 1210.68048
Matthes, Ralph
4
2011
A semantics for behavior trees using CSP with specification commands. Zbl 1220.68050
Colvin, Robert J.; Hayes, Ian J.
4
2011
XML graphs in program analysis. Zbl 1215.68079
Møller, Anders; Schwartzbach, Michael
3
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
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
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
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
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
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
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
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.
18
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
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
Incompleteness of relational simulations in the blocking paradigm. Zbl 1209.68306
Boiten, Eerke; Derrick, John
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
Analyzing ambiguity of context-free grammars. Zbl 1189.68068
Brabrand, Claus; Giegerich, Robert; Møller, Anders
2
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
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
Silver: an extensible attribute grammar system. Zbl 1187.68285
van Wyk, Eric; Bodin, Derek; Gao, Jimin; Krishnan, Lijesh
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
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
Constructing language processors with algebra combinators. Zbl 1211.68049
Frisby, Nicolas; Kimmell, Garrin; Weaver, Philip; Alexander, Perry
1
2010
A resource-efficient event algebra. Zbl 1211.68148
Carlson, Jan; Lisper, Björn
1
2010
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
14
2009
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
12
2009
...and 481 more Documents
all top 5

Cited by 3,600 Authors

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

Cited in 165 Journals

347 Theoretical Computer Science
176 Formal Aspects of Computing
111 Information and Computation
108 Science of Computer Programming
84 Journal of Functional Programming
83 Acta Informatica
75 The Journal of Logic and Algebraic Programming
71 Journal of Logical and Algebraic Methods in Programming
65 Information Processing Letters
61 Formal Methods in System Design
46 Journal of Automated Reasoning
44 Distributed Computing
43 MSCS. Mathematical Structures in Computer Science
31 Higher-Order and Symbolic Computation
26 Theory and Practice of Logic Programming
26 Logical Methods in Computer Science
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 Information Sciences
15 Real-Time Systems
12 Artificial Intelligence
12 Discrete Event Dynamic Systems
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 Automatica
6 Programming and Computer Software
6 Studia Logica
6 Parallel Algorithms and Applications
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
5 Computer Science Review
4 Discrete Applied Mathematics
4 European Journal of Operational Research
4 Annals of Mathematics and Artificial Intelligence
4 Constraints
4 Journal of Combinatorial Optimization
4 Journal of Applied Mathematics
4 Algorithms
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 The Journal of Artificial Intelligence Research (JAIR)
3 Journal of the ACM
3 Data Mining and Knowledge Discovery
3 Fundamenta Informaticae
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 Journal of Applied Non-Classical Logics
2 Diagrammes
2 Journal of the Egyptian Mathematical Society
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 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 Physica A
...and 65 more Journals
all top 5

Cited in 38 Fields

2,278 Computer science (68-XX)
398 Mathematical logic and foundations (03-XX)
57 Category theory; homological algebra (18-XX)
55 Operations research, mathematical programming (90-XX)
48 Systems theory; control (93-XX)
41 Order, lattices, ordered algebraic structures (06-XX)
39 Information and communication theory, circuits (94-XX)
28 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
27 Combinatorics (05-XX)
27 Biology and other natural sciences (92-XX)
20 Numerical analysis (65-XX)
13 General algebraic systems (08-XX)
10 History and biography (01-XX)
10 Quantum theory (81-XX)
9 Associative rings and algebras (16-XX)
9 General topology (54-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)
4 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 Statistical mechanics, structure of matter (82-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year