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 all top 5 Fields 986 Computer science (68-XX) 67 General and overarching topics; collections (00-XX) 37 Mathematical logic and foundations (03-XX) 8 Operations research, mathematical programming (90-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Information and communication theory, circuits (94-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 4 Number theory (11-XX) 4 Category theory; homological algebra (18-XX) 3 History and biography (01-XX) 3 General algebraic systems (08-XX) 3 Numerical analysis (65-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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