×

zbMATH — the first resource for mathematics

Formal Aspects of Computing

Short Title: Formal Asp. Comput.
Publisher: Springer, London; British Computer Society, London
ISSN: 0934-5043; 1433-299X/e
Online: http://link.springer.com/journal/volumesAndIssues/165
Comments: Indexed cover-to-cover
Documents Indexed: 856 Publications (since 1989)
References Indexed: 619 Publications with 21,463 References.
all top 5

Latest Issues

33, No. 4-5 (2021)
33, No. 3 (2021)
33, No. 2 (2021)
33, No. 1 (2021)
32, No. 4-6 (2020)
32, No. 2-3 (2020)
32, No. 1 (2020)
31, No. 6 (2019)
31, No. 5 (2019)
31, No. 4 (2019)
31, No. 3 (2019)
31, No. 2 (2019)
31, No. 1 (2019)
30, No. 6 (2018)
30, No. 5 (2018)
30, No. 3-4 (2018)
30, No. 2 (2018)
30, No. 1 (2018)
29, No. 6 (2017)
29, No. 5 (2017)
29, No. 4 (2017)
29, No. 3 (2017)
29, No. 2 (2017)
29, No. 1 (2017)
28, No. 6 (2016)
28, No. 5 (2016)
28, No. 4 (2016)
28, No. 3 (2016)
28, No. 2 (2016)
28, No. 1 (2016)
27, No. 5-6 (2015)
27, No. 4 (2015)
27, No. 3 (2015)
27, No. 2 (2015)
27, No. 1 (2015)
26, No. 6 (2014)
26, No. 5 (2014)
26, No. 4 (2014)
26, No. 3 (2014)
26, No. 2 (2014)
26, No. 1 (2014)
25, No. 6 (2013)
25, No. 5 (2013)
25, No. 4 (2013)
25, No. 3 (2013)
25, No. 2 (2013)
25, No. 1 (2013)
24, No. 4-6 (2012)
24, No. 3 (2012)
24, No. 2 (2012)
24, No. 1 (2012)
23, No. 6 (2011)
23, No. 5 (2011)
23, No. 4 (2011)
23, No. 3 (2011)
23, No. 2 (2011)
23, No. 1 (2011)
22, No. 6 (2010)
22, No. 5 (2010)
22, No. 3-4 (2010)
22, No. 2 (2010)
22, No. 1 (2010)
21, No. 6 (2009)
21, No. 5 (2009)
21, No. 4 (2009)
21, No. 3 (2009)
21, No. 1-2 (2009)
20, No. 6 (2008)
20, No. 4-5 (2008)
20, No. 3 (2008)
20, No. 2 (2008)
19, No. 4 (2007)
19, No. 3 (2007)
19, No. 2 (2007)
19, No. 1 (2007)
18, No. 4 (2006)
18, No. 3 (2006)
18, No. 2 (2006)
18, No. 1 (2006)
17, No. 4 (2005)
17, No. 3 (2005)
17, No. 2 (2005)
17, No. 1 (2005)
16, No. 4 (2004)
16, No. 3 (2004)
16, No. 2 (2004)
16, No. 1 (2004)
15, No. 4 (2003)
15, No. 2-3 (2003)
15, No. 1 (2003)
14, No. 4 (2002)
14, No. 3 (2002)
14, No. 2 (2002)
14, No. 1 (2002)
13, No. 6 (2002)
13, No. 3-5 (2002)
13, No. 2 (2002)
13, No. 1 (2001)
12, No. 6 (2000)
12, No. 5 (2000)
...and 58 more Volumes
all top 5

Authors

19 Woodcock, James C. P.
18 Cavalcanti, Ana
15 Hesselink, Wim H.
14 Derrick, John
12 Hayes, Ian J.
12 Smith, Graeme
11 Back, Ralph-Johan
9 Boiten, Eerke A.
9 Jones, Cliff B.
7 Bergstra, Jan A.
7 Dong, JinSong
7 He, Jifeng
7 Liu, Zhiming
7 Morgan, Carroll C.
7 Reeves, Steve
7 Roscoe, Andrew William
7 Sampaio, Augusto C. A.
7 Wehrheim, Heike
6 Banach, Richard
6 Bowen, Jonathan P.
6 Colvin, Robert J.
6 Hennessy, Matthew C. B.
6 Henson, Martin C.
6 Ipate, Florentin
6 Schneider, Steve A.
5 Baeten, Jos C. M.
5 Börger, Egon
5 Fidge, Colin J.
5 Groote, Jan Friso
5 Kwiatkowska, Marta Z.
5 Maibaum, Thomas Stephen Edward
5 Oliveira, Marcel
5 Paige, Richard F.
5 Pang, Jun
5 Schellhorn, Gerhard
5 Treharne, Helen
5 Zhu, Huibiao
4 Bowman, Howard
4 Bozzano, Marco
4 Brooke, Phillip J.
4 Dongol, Brijesh
4 Fiadeiro, José Luiz
4 Hoang, Thai Son
4 Holcombe, Mike
4 Katoen, Joost-Pieter
4 Kröning, Daniel
4 Leino, K. Rustan M.
4 McIver, Annabelle K.
4 Meinicke, Larissa A.
4 Norman, Gethin
4 Olderog, Ernst-Rüdiger
4 Owe, Olaf
4 Pym, David J.
4 Tahar, Sofiène
4 Tofts, Chris
4 Winter, Kirsten
4 Zhan, Naijun
3 Aichernig, Bernhard K.
3 America, Pierre
3 Apt, Krzysztof Rafal
3 Bird, Richard S.
3 Blandford, Ann
3 Bornat, Richard
3 Brink, Chris
3 Broy, Manfred
3 Chechik, Marsha
3 Cimatti, Alessandro
3 Collinson, Matthew
3 Curzon, Paul
3 Davies, Jim
3 de Boer, Frank S.
3 de Vink, Erik P.
3 Doherty, Simon
3 Fränzle, Martin
3 Frappier, Marc
3 Gabarró, Joaquim
3 Gardiner, Paul H. B.
3 Gnesi, Stefania
3 Gomez, Rodolfo
3 Hallerstede, Stefan
3 Hansen, Michael Reichhardt
3 Harman, Mark
3 Hasan, Osman
3 Hierons, Robert Mark
3 Inverardi, Paola
3 Jifeng, He
3 Jonsson, Bengt
3 Julliand, Jacques
3 King, Steve F.
3 Koutny, Maciej
3 Lang, Frédéric
3 Larsen, Peter Gorm
3 Latella, Diego
3 Leavens, Gary T.
3 Leuschel, Michael
3 Li, Xuandong
3 Luk, Wayne
3 Mammar, Amel
3 Massink, Mieke
3 Meseguer Guaita, José
...and 1,274 more Authors

Publications by Year

Citations contained in zbMATH Open

507 Publications have been cited 2,357 times in 1,775 Documents Cited by Year
A logic for reasoning about time and reliability. Zbl 0820.68113
Hansson, Hans; Jonsson, Bengt
132
1994
A new approach to abstract syntax with variable binding. Zbl 1001.68083
Gabbay, Murdoch J.; Pitts, Andrew M.
106
2002
Real time process algebra. Zbl 0719.68020
Baeten, J. C. M.; Bergstra, J. A.
51
1991
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
45
2002
Inductive families. Zbl 0808.03044
Dybjer, Peter
32
1994
A UTP semantics for Circus. Zbl 1165.68048
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
29
2009
Testing equivalence as a bisimulation equivalence. Zbl 0797.68058
Cleaveland, Rance; Hennessy, Matthew
25
1993
A refinement strategy for Circus. Zbl 1093.68555
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
23
2003
A theory of processes with localities. Zbl 0806.68070
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
22
1994
Duration calculus: Logical foundations. Zbl 0887.68101
Hansen, Michael R.; Chaochen, Zhou
22
1997
Formal aspects of correctness and optimality of interval computations. Zbl 1104.65045
Santiago, Regivan H. Nunes; Bedregal, Benjamín R. Callejas; Acióly, Benedito Melo
21
2006
Variations on algebra: Monadicity and generalisations of equational theories. Zbl 1004.18005
Robinson, Edmund
21
2002
Safety, liveness and fairness in temporal logic. Zbl 0820.68077
Prasad Sistla, A.
20
1994
Processes with probabilities, priority and time. Zbl 0820.68072
Tofts, Chris
20
1994
Relational concurrent refinement. Zbl 1093.68061
Derrick, John; Boiten, Eerke
18
2003
A calculus and logic of resources and processes. Zbl 1111.68086
Pym, David; Tofts, Chris
17
2006
Discrete time process algebra. Zbl 0849.68033
Baeten, J. C. M.; Bergstra, J. A.
17
1996
Refinement-oriented probability for CSP. Zbl 0862.68050
Morgan, Carroll; McIver, Annabelle; Seidel, Karen; Sanders, J. W.
17
1996
Soundness of workflow nets: classification, decidability, and analysis. Zbl 1225.68129
van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.
17
2011
Deciding bisimilarity is P-complete. Zbl 0758.68033
Balcázar, José; Gabarró, Joaquim; Sántha, Miklós
16
1992
A single complete rule for data refinement. Zbl 0774.68081
Gardiner, P. H. B.; Morgan, Carroll
16
1993
Context induction: A proof principle for behavioural abstractions and algebraic implementations. Zbl 0739.68060
Hennicker, Rolf
16
1991
A singleton failures semantics for communicating sequential processes. Zbl 1110.68067
Bolton, Christie; Davies, Jim
15
2006
Almost ASAP semantics: from timed models to timed implementations. Zbl 1101.68670
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
15
2005
Winskel is (almost) right: Towards a mechanized semantics textbook. Zbl 0910.68138
Nipkow, Tobias
15
1998
Hoare logic and auxiliary variables. Zbl 0978.03026
Kleymann, Thomas
14
1999
Exploring probabilistic bisimulations. I. Zbl 1259.68153
Hennessy, Matthew
14
2012
Capture-avoiding substitution as a nominal algebra. Zbl 1152.68025
Gabbay, Murdoch J.; Mathijssen, Aad
13
2008
Event fairness and non-interleaving concurrency. Zbl 0696.68092
Kwiatkowska, Marta Z.
13
1989
Eliminating the substitution axiom from UNITY logic. Zbl 0715.68059
Sanders, Beverly A.
13
1991
Essential concepts of algebraic specification and program development. Zbl 0887.68070
Sannella, Donald; Tarlecki, Andrzej
13
1997
Generalised folds for nested datatypes. Zbl 0937.68027
Bird, Richard; Paterson, Ross
13
1999
A process algebraic framework for specification and validation of real-time systems. Zbl 1214.68224
Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto
13
2010
CSP theorems for communicating B machines. Zbl 1103.68599
Schneider, Steve; Treharne, Helen
12
2005
Specification and verification challenges for sequential object-oriented programs. Zbl 1121.68074
Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter
12
2007
Compositional failure-based semantic models for basic LOTOS. Zbl 0838.68076
Valmari, Antti; Tienari, Martti
12
1995
A proof system for communicating processes with value-passing. Zbl 0736.68057
Hennessy, M.
12
1991
The Rely-Guarantee method for verifying shared variable concurrent programs. Zbl 0874.68202
Xu, Qiwen; de Roever, Willem-Paul; He, Jifeng
12
1997
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
12
1996
Compositional minimisation of finite state systems using interface specifications. Zbl 0860.68067
Graf, Susanne; Steffen, Bernard; Lüttgen, Gerald
12
1996
Issues in the design of a parallel object-oriented language. Zbl 0694.68012
America, Pierre
12
1989
Automated analysis of mutual exclusion algorithms using CCS. Zbl 0696.68039
Walker, D. J.
12
1989
Do-it-yourself type theory. Zbl 0697.68020
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik
12
1989
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
11
2008
Property-directed incremental invariant generation. Zbl 1149.68402
Bradley, Aaron R.; Manna, Zohar
11
2008
A static view of localities. Zbl 0806.68069
Aceto, Luca
11
1994
Temporal theories as modularisation units for concurrent system specification. Zbl 0746.68031
Fiadeiro, J.; Maibaum, T.
11
1992
The ASM refinement method. Zbl 1093.68601
Börger, Egon
11
2003
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Zbl 0966.68124
Latella, Diego; Majzik, Istvan; Massink, Mieke
11
1999
Thread algebra for strategic interleaving. Zbl 1131.68067
Bergstra, J. A.; Middelburg, C. A.
10
2007
Paramorphisms. Zbl 0754.68086
Meertens, Lambert
10
1992
On the lattice of specifications: Applications to a specification methodology. Zbl 0782.68077
Boudriga, Noureddine; Elloumi, Fathi; Mili, Ali
10
1992
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Process simulation and refinement. Zbl 0696.68099
Jifeng, He
10
1989
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
9
2007
Responsiveness of interoperating components. Zbl 1061.68107
Reed, J. N.; Sinclair, J. E.; Roscoe, A. W.
9
2004
ZRC – A refinement calculus for \(Z\). Zbl 0934.68062
Cavalcanti, Ana; Woodcock, Jim
9
1998
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K.
9
1996
Towards a linear algebra of programming. Zbl 1259.68135
Oliveira, José N.
9
2012
Graph transformation units with interleaving semantics. Zbl 0966.68114
Kreowski, Hans-Jörg; Kuske, Sabine
9
1999
Testing methods for X-machines: a review. Zbl 1103.68461
Bogdanov, K.; Holcombe, M.; Ipate, F.; Seed, L.; Vanak, S.
8
2006
Angelic nondeterminism in the unifying theories of programming. Zbl 1105.68012
Cavalcanti, Ana; Woodcock, Jim; Dunne, Steve
8
2006
A mini challenge: build a verifiable filesystem. Zbl 1123.68336
Joshi, Rajeev; Holzmann, Gerard J.
8
2007
Balancing expressiveness in formal approaches to concurrency. Zbl 1343.68171
Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J.
8
2015
csp2B: A practical approach to combining CSP and B. Zbl 0969.68578
Butler, Michael
8
2000
Interpreting message flow graphs. Zbl 0838.68075
Ladkin, Peter B.; Leue, Stefan
8
1995
MetateM: An introduction. Zbl 0838.68014
Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
8
1995
An algebraic verification of a mobile network. Zbl 0782.68081
Orava, Fredrik; Parrow, Joachim
8
1992
TIC: a tImed calculus. Zbl 0797.68059
Quemada, Juan; de Frutos, David; Azcorra, Arturo
8
1993
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
8
1994
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
A tactic calculus. — Abridged version. Zbl 0857.68094
Martin, A. P.; Gardiner, P. H. B.; Woodcock, J. C. P.
8
1996
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
8
2002
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
A linear algebra approach to OLAP. Zbl 1331.68055
Macedo, Hugo Daniel; Oliveira, José
7
2015
On sequential composition, action prefixes and process prefix. Zbl 0942.68608
Baeten, J. C. M.; Bergstra, J. A.
7
1994
Distributing finite automata through Petri net synthesis. Zbl 1017.68062
Badouel, Éric; Caillaud, Benoît; Darondeau, P.
7
2002
Testing conformance to a quasi-non-deterministic stream X-machine. Zbl 1013.68104
Hierons, R. M.; Harman, M.
7
2000
Generating test sets from non-deterministic stream X-machines. Zbl 1013.68105
Ipate, Florentin; Holcombe, Mike
7
2000
Communicating processes with value-passing and assignments. Zbl 0784.68055
Hennessy, M.; Ingólfsdóttir, A.
7
1993
Real space process algebra. Zbl 0942.68607
Baeten, J. C. M.; Bergstra, J. A.
7
1993
ArcAngel: a tactic language for refinement. Zbl 1093.68565
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
7
2003
Compositional action system refinement. Zbl 1093.68007
Back, R. J. R.; von Wright, J.
7
2003
Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol. Zbl 1029.68022
Stoelinga, Mariëlle
7
2002
A program refinement tool. Zbl 0910.68050
Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J.
7
1998
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard
7
2012
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
From control law diagrams to Ada via Circus. Zbl 1226.68028
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin
7
2011
A tableau-based decision procedure for CTL\(^*\). Zbl 1242.68302
Reynolds, Mark
7
2011
A compositional Petri net translation of general \(\pi\)-calculus terms. Zbl 1152.68036
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej
6
2008
Operational semantics of resolution and productivity in Horn clause logic. Zbl 1362.68048
Fu, Peng; Komendantskaya, Ekaterina
6
2017
Peirce algebras. Zbl 0811.03047
Brink, Chris; Britz, Katarina; Schmidt, Renate A.
6
1994
Complete deterministic stream X-machine testing. Zbl 1061.68096
Ipate, Florentin
6
2004
Automatizing parametric reasoning on distributed concurrent systems. Zbl 0829.68052
Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel
6
1994
A principle for sequential reasoning about distributed algorithms. Zbl 0829.68066
Stomp, F. A.; de Roever, W.-P.
6
1994
A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol. Zbl 0802.68006
Moore, J. Strother
6
1994
Recursion induction for real-time processes. Zbl 0806.68073
Davies, Jim; Schneider, Steve
6
1993
On the expressive power of CSP refinement. Zbl 1101.68703
Roscoe, A. W.
6
2005
Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309
Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco
6
2005
A refinement calculus for shared-variable parallel and distributed programming. Zbl 1029.68034
Dingel, J.
6
2002
Collaborative models for autonomous systems controller synthesis. Zbl 1458.68219
Fraser, Douglas; Giaquinta, Ruben; Hoffmann, Ruth; Ireland, Murray; Miller, Alice; Norman, Gethin
1
2020
Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010
Pous, Damien; Sangiorgi, Davide
2
2019
Interactive verification of architectural design patterns in FACTum. Zbl 1425.68273
Marmsoler, Diego; Gidey, Habtom Kashay
1
2019
Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Zbl 1425.68068
Diskin, Zinovy; König, Harald; Lawford, Mark
1
2019
From LCF to Isabelle/HOL. Zbl 1427.68349
Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius
1
2019
Toward automatic verification of quantum programs. Zbl 1425.68271
Ying, Mingsheng
1
2019
Formal reliability analysis of redundancy architectures. Zbl 1425.68039
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
1
2019
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
2019
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Zbl 1398.68373
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
4
2018
A UTP approach for rTiMo. Zbl 1425.68304
Xie, Wanling; Xiang, Shuangqing; Zhu, Huibiao
3
2018
Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008
Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu
1
2018
A formal verification technique for behavioural model-to-model transformations. Zbl 1380.68286
de Putter, Sander; Wijs, Anton
1
2018
Operational semantics of resolution and productivity in Horn clause logic. Zbl 1362.68048
Fu, Peng; Komendantskaya, Ekaterina
6
2017
Timed runtime monitoring for multiparty conversations. Zbl 1375.68030
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko
6
2017
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054
Meseguer, José; Skeirik, Stephen
3
2017
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Zbl 1377.68042
Nazarpour, Hosein; Falcone, Yliès; Bensalem, Saddek; Bozga, Marius
3
2017
A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220
Wang, Shuling; Zhan, Naijun; Zhang, Lijun
2
2017
A verification and deployment approach for elastic component-based applications. Zbl 1377.68039
Graiet, Mohamed; Hamel, Lazhar; Mammar, Amel; Tata, Samir
2
2017
Modeling and efficient verification of wireless ad hoc networks. Zbl 1377.68028
Yousefi, Behnaz; Ghassemi, Fatemeh; Khosravi, Ramtin
2
2017
Birkhoff style calculi for hybrid logics. Zbl 1420.03037
Găină, Daniel
2
2017
Designing a semantic model for a wide-spectrum language with concurrency. Zbl 1375.68036
Colvin, Robert J.; Hayes, Ian J.; Meinicke, Larissa A.
2
2017
Relating trace refinement and linearizability. Zbl 1377.68151
Smith, Graeme; Winter, Kirsten
1
2017
Maximal incompleteness as obfuscation potency. Zbl 1355.68053
Giacobazzi, Roberto; Mastroeni, Isabella; Dalla Preda, Mila
1
2017
On proving confluence modulo equivalence for Constraint Handling Rules. Zbl 1355.68050
Christiansen, Henning; Kirkeby, Maja H.
1
2017
Constraint logic programming with a relational machine. Zbl 1355.68035
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio
1
2017
Proving completeness of logic programs with the cut. Zbl 1355.68033
Drabent, Włodzimierz
1
2017
A Maude environment for CafeOBJ. Zbl 1358.68195
Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi
1
2017
Deriving bisimulation relations from path based equivalence checkers. Zbl 1358.68067
Banerjee, Kunal; Sarkar, Dipankar; Mandal, Chittaranjan
1
2017
Active learning for extended finite state machines. Zbl 1342.68174
Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
6
2016
Building program construction and verification tools from algebraic principles. Zbl 1342.68066
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
5
2016
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. Zbl 1348.68213
Aransay, Jesús; Divasón, Jose
4
2016
Generalised rely-guarantee concurrency: an algebraic foundation. Zbl 1348.68035
Hayes, Ian J.
4
2016
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
4
2016
Self-adaptation and secure information flow in multiparty communications. Zbl 1345.68232
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Pérez, Jorge A.
3
2016
Reversible client/server interactions. Zbl 1345.68016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo
3
2016
Rigorous development of component-based systems using component metadata and patterns. Zbl 1348.68167
Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W.
3
2016
Dynamic role authorization in multiparty conversations. Zbl 1345.68235
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge A.; Torres Vieira, Hugo
2
2016
A language-independent proof system for full program equivalence. Zbl 1355.68051
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
2
2016
Verification of \(\mathrm{EB}^3\) specifications using CADP. Zbl 1335.68150
Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu
2
2016
Optimising the ProB model checker for B using partial order reduction. Zbl 1342.68208
Dobrikov, Ivaylo; Leuschel, Michael
2
2016
Event-based run-time adaptation in communication-centric systems. Zbl 1345.68234
Di Giusto, Cinzia; Pérez, Jorge A.
1
2016
Model checking Petri nets with names using data-centric dynamic systems. Zbl 1345.68236
Montali, Marco; Rivkin, Andrey
1
2016
On the diversity of asynchronous communication. Zbl 1345.68022
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe
1
2016
Model checking learning agent systems using Promela with embedded C code and abstraction. Zbl 1348.68250
Kirwan, Ryan; Miller, Alice; Porr, Bernd
1
2016
Computing maximal weak and other bisimulations. Zbl 1355.68190
Boulgakov, Alexandre; Gibson-Robinson, Thomas; Roscoe, A. W.
1
2016
A unified integration and component testing approach from deterministic stream X-machine specifications. Zbl 1335.68021
Ipate, Florentin; Dranidis, Dimitris
1
2016
Analysing sanity of requirements for avionics systems. Zbl 1335.68131
Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš
1
2016
Contract-based verification of MATLAB-style matrix programs. Zbl 1338.65116
Wiik, Jonatan; Boström, Pontus
1
2016
Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117
Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea
1
2016
Correctness and concurrent complexity of the black-white bakery algorithm. Zbl 1342.68348
Hesselink, Wim H.
1
2016
Balancing expressiveness in formal approaches to concurrency. Zbl 1343.68171
Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J.
8
2015
A linear algebra approach to OLAP. Zbl 1331.68055
Macedo, Hugo Daniel; Oliveira, José
7
2015
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
An algebraic theory for web service contracts. Zbl 1338.68016
Laneve, Cosimo; Padovani, Luca
5
2015
Denotational semantics and its algebraic derivation for an event-driven system-level language. Zbl 1347.68039
Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip
4
2015
Proof-based verification approaches for dynamic properties: application to the information system domain. Zbl 1331.68142
Mammar, Amel; Frappier, Marc
2
2015
Program equivalence by circular reasoning. Zbl 1319.68060
Lucanu, Dorel; Rusu, Vlad
2
2015
Strategy based semantics for mobility with time and access permissions. Zbl 1343.68163
Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason
2
2015
Compositional reasoning about active objects with shared futures. Zbl 1343.68166
Din, Crystal Chang; Owe, Olaf
2
2015
Verification of distributed systems with the axiomatic system of MSVL. Zbl 1328.68032
Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing
2
2015
Abstraction and approximation in fuzzy temporal logics and models. Zbl 1331.68143
Sotudeh, Gholamreza; Movaghar, Ali
1
2015
Model checking dynamic pushdown networks. Zbl 1332.68142
Song, Fu; Touili, Tayssir
1
2015
Quantified abstract configurations of distributed systems. Zbl 1319.68023
Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo
1
2015
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Zbl 1338.68164
Taha, Safouan; Julliand, Jacques; Dadeau, Frédéric; Castillos, Kalou Cabrera; Kanso, Bilal
1
2015
Generating invariants for non-linear loops by linear algebraic methods. Zbl 1347.68093
Rebiha, Rachid; Vieira Moura, Arnaldo; Matringe, Nadir
1
2015
Categorical foundations for structured specifications in \(\mathsf{Z}\). Zbl 1385.68023
Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T. S. E.
1
2015
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Zbl 1328.68108
Al-Bataineh, Omar; Reynolds, Mark; French, Tim
1
2015
Formal probabilistic analysis of detection properties in wireless sensor networks. Zbl 1328.68037
Elleuch, Maissa; Hasan, Osman; Tahar, Sofiène; Abid, Mohamed
1
2015
Integrating stochastic reasoning into Event-B development. Zbl 1328.68039
Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas
1
2015
Using formal reasoning on a model of tasks for FreeRTOS. Zbl 1328.68044
Cheng, Shu; Woodcock, Jim; D’Souza, Deepak
1
2015
A framework for model transformation verification. Zbl 1328.68128
Lano, Kevin; Clark, T.; Kolahdouz-Rahimi, S.
1
2015
Synthesizing bounded-time 2-phase fault recovery. Zbl 1328.68045
Bonakdarpour, Borzoo; Kulkarni, Sandeep
1
2015
The behavioural semantics of Event-B refinement. Zbl 1342.68211
Schneider, Steve; Treharne, Helen; Wehrheim, Heike
3
2014
Assume-guarantee synthesis for digital contract signing. Zbl 1342.94068
Chatterjee, Krishnendu; Raman, Vishwanath
3
2014
The relation between preset distinguishing sequences and synchronizing sequences. Zbl 1342.68184
Güniçen, Canan; İnan, Kemal; Türker, Uraz Cengiz; Yenigün, Hüsnü
2
2014
Test generation from state based use case models. Zbl 1342.68210
Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre
2
2014
Verifying traits: an incremental proof system for fine-grained reuse. Zbl 1342.68059
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina
2
2014
Towards verification of computation orchestration. Zbl 1342.68209
Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
2
2014
On integrating confidentiality and functionality in a formal method. Zbl 1342.68191
Banks, Michael J.; Jacob, Jeremy L.
1
2014
Analysing neurobiological models using communicating automata. Zbl 1342.92024
Su, Li; Gomez, Rodolfo; Bowman, Howard
1
2014
Concerned with the unprivileged: user programs in kernel refinement. Zbl 1342.68079
Daum, Matthias; Billing, Nelson; Klein, Gerwin
1
2014
A formalisation of deep metamodelling. Zbl 1342.68098
Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe
1
2014
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina
1
2014
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Zbl 1342.93065
Banach, Richard; Zhu, Huibiao; Su, Wen; Huang, Runlei
1
2014
Safe abstractions of data encodings in formal security protocol models. Zbl 1322.68070
Pironti, Alfredo; Sisto, Riccardo
1
2014
Abstractions of non-interference security: probabilistic versus possibilistic. Zbl 1323.68212
Hoang, T. S.; McIver, A. K.; Meinicke, L.; Morgan, C. C.; Sloane, A.; Susatyo, E.
1
2014
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Zbl 1342.68205
Calder, Muffy; Sevegnani, Michele
1
2014
Reasoning about goal-directed real-time teleo-reactive programs. Zbl 1342.68060
Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J.
1
2014
Time-budgeting: a component based development methodology for real-time embedded systems. Zbl 1342.68042
Dixit, Manoj G.; Ramesh, S.; Dasgupta, Pallab
1
2014
The safety-critical Java memory model formalised. Zbl 1259.68029
Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim
6
2013
Unifying theories in ProofPower-Z. Zbl 1259.68035
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
6
2013
HYPE: hybrid modelling by composition of flows. Zbl 1298.68191
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
5
2013
Checking noninterference in timed CSP. Zbl 1259.68132
Roscoe, A. W.; Huang, Jian
5
2013
Improved algorithms for optimal length resolution refutation in difference constraint systems. Zbl 1259.68261
Subramani, K.; Williamson, Matthew; Gu, Xiaofeng
5
2013
Towards formally specifying and verifying transactional memory. Zbl 1298.68168
Doherty, Simon; Groves, Lindsay; Luchangco, Victor; Moir, Mark
4
2013
A calculus of trustworthy ad hoc networks. Zbl 1298.68041
Merro, Massimo; Sibilio, Eleonora
4
2013
Explanation of two non-blocking shared-variable communication algorithms. Zbl 1298.68062
Bornat, Richard; Amjad, Hasan
3
2013
A Hoare logic for linear systems. Zbl 1298.68163
Arthan, Rob; Martin, Ursula; Oliva, Paulo
3
2013
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits. Zbl 1298.68050
Banach, Richard; Bozzano, Marco
3
2013
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits. Zbl 1298.68051
Banach, Richard; Bozzano, Marco
3
2013
...and 407 more Documents
all top 5

Cited by 2,340 Authors

29 Cavalcanti, Ana
26 Bergstra, Jan A.
23 Woodcock, James C. P.
17 Hesselink, Wim H.
17 Kwiatkowska, Marta Z.
16 Middelburg, Cornelis A.
15 Gabbay, Murdoch James
14 Katoen, Joost-Pieter
14 Mossakowski, Till
13 Baier, Christel
12 Derrick, John
12 Hayes, Ian J.
12 Hennessy, Matthew C. B.
12 Larsen, Kim Guldstrand
12 Meseguer Guaita, José
12 Power, John
12 Schellhorn, Gerhard
12 Zeyda, Frank
11 Diaconescu, Răzvan
11 Legay, Axel
11 Roscoe, Andrew William
11 Roşu, Grigore
10 Colvin, Robert J.
10 Dybjer, Peter
10 Groote, Jan Friso
10 Tarlecki, Andrzej
10 Tini, Simone
10 Tzevelekos, Nikos
9 Baeten, Jos C. M.
9 Corradini, Flavio
9 Gibbons, Jeremy
9 Liu, Zhiming
9 Madeira, Alexandre
9 Montanari, Ugo G.
9 Norman, Gethin
9 Ponse, Alban
8 Aceto, Luca
8 Banach, Richard
8 Bernardo, Marco
8 Bonchi, Filippo
8 Börger, Egon
8 Delahaye, Benoît
8 Dezani-Ciancaglini, Mariangiola
8 Guttmann, Walter
8 He, Jifeng
8 Hennicker, Rolf
8 Hermanns, Holger
8 Ingólfsdóttir, Anna
8 Ipate, Florentin
8 Murawski, Andrzej S.
8 Pitts, Andrew M.
8 Rutten, Jan J. M. M.
8 Sannella, Donald T.
8 Schneider, Steve A.
8 Wehrheim, Heike
7 Barbosa, Luís Soares
7 Best, Eike
7 Bidoit, Michel
7 Boiten, Eerke A.
7 Bonsangue, Marcello Maria
7 Chatterjee, Krishnendu
7 Cheney, James
7 Ghani, Neil
7 Guelev, Dimitar P.
7 Hierons, Robert Mark
7 Kupferman, Orna
7 Matthes, Ralph
7 Oliveira, José Nuno
7 Pym, David J.
7 Roggenbach, Markus
7 Sangiorgi, Davide
7 Smith, Graeme
7 Vaandrager, Frits W.
7 Vogler, Walter
7 Zhan, Naijun
7 Zhu, Huibiao
6 Back, Ralph-Johan
6 Barbuti, Roberto
6 Bedregal, Benjamín Callejas
6 de Boer, Frank S.
6 de Vink, Erik P.
6 Degano, Pierpaolo
6 Deng, Yuxin
6 Esparza, Javier
6 Fokkink, Willem Jan
6 Forejt, Vojtěch
6 Foster, Simon
6 Hoang, Thai Son
6 Hoare, C. A. R. Tony
6 Kuske, Sabine
6 Lang, Frédéric
6 Lanotte, Ruggero
6 Lüttgen, Gerald
6 Milazzo, Paolo
6 Pang, Jun
6 Peled, Doron A.
6 Priami, Corrado
6 Reiser, Renata Hax Sander
6 Reynolds, Mark Alexander
6 Sampaio, Augusto C. A.
...and 2,240 more Authors
all top 5

Cited in 119 Journals

279 Theoretical Computer Science
261 Formal Aspects of Computing
89 Information and Computation
62 The Journal of Logic and Algebraic Programming
60 Journal of Logical and Algebraic Methods in Programming
54 Acta Informatica
46 Information Processing Letters
41 Formal Methods in System Design
39 Journal of Automated Reasoning
36 Science of Computer Programming
28 MSCS. Mathematical Structures in Computer Science
22 Journal of Functional Programming
21 Logical Methods in Computer Science
18 Annals of Pure and Applied Logic
17 Journal of Computer and System Sciences
15 Information Sciences
14 Annals of Mathematics and Artificial Intelligence
13 Theory and Practice of Logic Programming
12 Distributed Computing
11 ACM Transactions on Computational Logic
10 Journal of Applied Logic
9 Artificial Intelligence
9 Journal of Symbolic Computation
8 Fuzzy Sets and Systems
8 The Journal of Symbolic Logic
8 International Journal of Foundations of Computer Science
8 Journal of Applied Non-Classical Logics
7 Journal of Computer Science and Technology
7 Logica Universalis
6 Theory of Computing Systems
6 Higher-Order and Symbolic Computation
5 International Journal of Approximate Reasoning
5 International Journal of Computer Mathematics
5 Frontiers of Computer Science
4 Discrete Applied Mathematics
4 Journal of Philosophical Logic
4 Journal of Pure and Applied Algebra
4 Programming and Computer Software
4 Studia Logica
4 Real-Time Systems
4 Discrete Event Dynamic Systems
4 Mathematical Problems in Engineering
4 RAIRO. Theoretical Informatics and Applications
4 Fundamenta Informaticae
4 Mathematics in Computer Science
3 Journal of Logic, Language and Information
3 Computational and Applied Mathematics
3 Journal of the ACM
3 Journal of Applied Mathematics
2 International Journal of General Systems
2 Computing
2 Mathematics and Computers in Simulation
2 Synthese
2 Machine Learning
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 The Bulletin of Symbolic Logic
2 Soft Computing
2 Journal of Combinatorial Optimization
2 LMS Journal of Computation and Mathematics
2 Journal of Systems Science and Complexity
2 Sādhanā
2 Natural Computing
2 Computer Languages, Systems & Structures
2 The Review of Symbolic Logic
2 Frontiers of Computer Science in China
2 Computer Science Review
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of Control
1 Bulletin of Mathematical Biology
1 The Mathematical Intelligencer
1 Applied Mathematics and Computation
1 Automatica
1 Journal of Optimization Theory and Applications
1 Notre Dame Journal of Formal Logic
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Siberian Mathematical Journal
1 New Generation Computing
1 Algorithmica
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Computational Geometry
1 International Journal of Algebra and Computation
1 RAIRO. Informatique Théorique et Applications
1 Archive for Mathematical Logic
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Foundations of Computing and Decision Sciences
1 Journal of Computer and Systems Sciences International
1 Applied Categorical Structures
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1
1 The Journal of Artificial Intelligence Research (JAIR)
1 Complexity
1 Topoi
1 Journal of Group Theory
1 International Journal of Applied Mathematics and Computer Science
1 Electronic Commerce Research
1 Journal of Discrete Algorithms
...and 19 more Journals

Citations by Year