×

zbMATH — the first resource for mathematics

de Boer, Frank S.

Compute Distance To:
Author ID: de-boer.frank-s Recent zbMATH articles by "de Boer, Frank S."
Published as: de Boer, Frank S.; de Boer, Frank; de Boer, F. S.; De Boer, Frank S.; De Boer, Frank; de Boer, F.
External Links: MGP
Documents Indexed: 128 Publications since 1989, including 22 Books
Biographic References: 1 Publication
all top 5

Co-Authors

6 single-authored
26 Bonsangue, Marcello Maria
22 Meyer, John-Jules Charles
18 de Roever, Willem-Paul
16 van der Hoek, Wiebe
13 van Eijk, Rogier M.
10 Ábrahám, Erika
10 Steffen, Martin
9 Palamidessi, Catuscia
7 Gabbrielli, Maurizio
7 Pierik, Cees
7 Rot, Jurriaan
7 Rutten, Jan J. M. M.
7 van Riemsdijk, M. Birna
6 De Gouw, Stijn
6 Graf, Susanne
5 Aştefănoaei, Lăcrămioara
5 Hindriks, Koen V.
4 Hannemann, Ulrich
4 Kok, Joost N.
4 Meo, Maria Chiara
4 Zavattaro, Gianluigi
3 Aichernig, Bernhard K.
3 Apt, Krzysztof Rafal
3 Azadbakht, Keyvan
3 Bezirgiannis, Nikolaos
3 Bjørner, Nikolaj S.
3 Chothia, Tom
3 de Vries, Wieke
3 Jaghoori, Mohammad Mahdi
3 Olderog, Ernst-Rüdiger
3 Sirjani, Marjan
2 Albert, Elvira
2 America, Pierre
2 Arbab, Farhad
2 Asăvoae, Irina Măriuca
2 Bubel, Richard
2 Dastani, Mehdi M.
2 Di Pierro, Alessandra
2 Grabe, Immo
2 Hooman, Jozef Johannes Maria
2 Jaghoori, Mahdi M.
2 Kyas, Marcel
2 Lakhnech, Yassine
2 Laneve, Cosimo
2 Lucanu, Dorel
2 Martin-Martin, Enrique
2 Poel, Mannes
2 Zwiers, Job
1 Ahrendt, Wolfgang
1 Ancona, Davide
1 Baeten, Jos C. M.
1 Ball, Tom
1 Barthe, Gilles
1 Bravetti, Mario
1 Butterfield, Andrew
1 Cerone, Antonio
1 Clarke, Dave
1 de Vink, Erik P.
1 Fecher, Harald
1 Griesmayer, Andreas
1 Grüner, Andreas
1 Guillen-Scholten, Juan
1 Hähnle, Reiner
1 Hallerstede, Stefan
1 Johnsen, Einar Broch
1 Kyas, Michael
1 Lee, Matias David
1 Leuschel, Michael
1 Longuet, Delphine
1 Madelaine, Eric
1 Meng, Sun
1 Movaghar, Ali
1 Schlatte, Rudolf
1 Serbanescu, Vlad
1 Shali, Amin
1 Steinhöfel, Dominic

Publications by Year

Citations contained in zbMATH Open

69 Publications have been cited 298 times in 206 Documents Cited by Year
Concurrency verification. Introduction to compositional and noncompositional methods. Zbl 1009.68020
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
41
2001
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
22
2009
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
18
2000
Nondeterminism and infinite computations in constraint programming. Zbl 0872.68103
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
16
1995
A fully abstract model for concurrent constraint programming. Zbl 0967.68516
de Boer, Frank S.; Palamidessi, Catuscia
14
1991
Embedding as a tool for language comparison. Zbl 0788.68014
de Boer, Frank S.; Palamidessi, Catuscia
13
1994
Modeling and verification of reactive systems using Rebeca. Zbl 1082.68007
Sirjani, Marjan; Movaghar, Ali; Shali, Amin; de Boer, Frank S.
11
2004
A syntax-directed Hoare logic for object-oriented programming concepts. Zbl 1253.68087
Pierik, Cees; de Boer, Frank S.
8
2003
A proof outline logic for object-oriented programming. Zbl 1077.68018
Pierik, Cees; De Boer, Frank S.
8
2005
An assertion-based proof system for multithreaded Java. Zbl 1070.68016
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
8
2005
A verification framework for agent programming with declarative goals. Zbl 1122.68078
de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch.
7
2007
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085
Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan
6
2009
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Zbl 0992.68026
de Boer, F. S.
6
2002
Verification for Java’s reentrant multithreading concept. Zbl 1077.68552
Ábrahám-Mumm, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
6
2002
Computer-aided specification and verification of annotated object-oriented programs. Zbl 1048.68050
de Boer, F. S.; Pierik, C.
5
2002
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
Reasoning about dynamically evolving process structures. Zbl 0821.68106
America, Pierre; de Boer, Frank
4
1994
Controlling object allocation using creation guards. Zbl 1120.68379
Pierik, Cees; Clarke, Dave; de Boer, Frank S.
4
2005
Proving total correctness of recursive procedures. Zbl 0699.68024
America, Pierre; de Boer, Frank
4
1990
Agent programming with declarative goals. Zbl 1056.68562
Hindriks, Koen V.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
4
2001
Inductive proof outlines for monitors in Java. Zbl 1253.68080
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
3
2003
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
An algebraic perspective of constraint logic programming. Zbl 0865.68025
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
3
1997
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
3
2004
How to cook a complete Hoare logic for your pet OO language. Zbl 1104.68428
de Boer, Frank S.; Pierik, Cees
3
2004
Formal justification of the Rely-Guarantee paradigm for shared-variable concurrency: A semantic approach. Zbl 0956.68099
de Boer, F. S.; Hannemann, U.; de Roever, W.-P.
3
1999
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
Failure semantics for the exchange of information in multi-agent systems. Zbl 0999.68210
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
3
2000
Verifying OpenJDK’s sort method for generic collections. Zbl 07024053
de Gouw, Stijn; de Boer, Frank S.; Bubel, Richard; Hähnle, Reiner; Rot, Jurriaan; Steinhöfel, Dominic
3
2019
Verification of object-oriented programs: a transformational approach. Zbl 1245.68062
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn
3
2012
A sound and complete shared-variable concurrency model for multi-threaded Java programs. Zbl 1202.68103
de Boer, Frank S.
3
2007
Modular verification of recursive programs. Zbl 1241.68047
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
2
2009
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Modularity and the rule of adaptation. Zbl 1108.68408
Pierik, Cees; de Boer, Frank S.
2
2004
Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin
2
2005
A fully abstract model for the exchange of information in multi-agent systems. Zbl 1038.68019
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
2
2003
On programming KARO agents. Zbl 0974.68202
Meyer, John-Jules; de Boer, Frank; van Eijk, Rogier; Hindriks, Koen; van der Hoek, Wiebe
2
2001
Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Zbl 1143.68011
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
2
2007
Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5–8, 2002. Revised lectures. Zbl 1028.00026
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
2
2003
Automated deadlock detection in synchronized reentrant multithreaded call-graphs. Zbl 1274.68084
de Boer, Frank S.; Grabe, Immo
2
2010
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
2
2018
Proof pearl: The KeY to correct and stable sorting. Zbl 1314.68277
De Gouw, Stijn; De Boer, Frank; Rot, Jurriaan
2
2014
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Zbl 1084.68008
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Wilhelm-Paul (ed.)
1
2005
Semantics of plan revision in intelligent agents. Zbl 1086.68084
van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S.
1
2006
Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin
1
2005
Testing concurrent objects with application-specific schedulers. Zbl 1161.68630
Schlatte, Rudolf; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch
1
2008
A shared-variable concurrency analysis of multi-threaded object-oriented programs. Zbl 1169.68012
de Boer, F. S.
1
2009
A compositional operational semantics for Java\(_{\text{MT}}\). Zbl 1274.68037
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
Infinite computations in concurrent constraint programming. Zbl 0911.68119
de Boer, Frank; Gabbrielli, M.
1
1997
Decidable navigation logics for object structures. Zbl 0999.03018
de Boer, Frank S.; van Eijk, Rogier M.
1
2001
Open multi-agent systems: Agent communication and integration. Zbl 0970.68662
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2000
Dynamic logic for plan revision in agent programming. Zbl 1116.68093
van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.
1
2006
Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Zbl 1114.68010
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2006
A compositional trace logic for behavioural interface specifications. Zbl 1087.68056
Kyas, Michael; de Boer, Frank S.; de Roever, Willem-Paul
1
2005
On dynamically generated ontology translators in agent communication. Zbl 0979.68013
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2001
Proof-outlines for threads in Java. Zbl 0999.68504
Ábrahám-Mumm, Erika; de Boer, Frank S.
1
2000
A programming language for coordinating group actions. Zbl 1053.68922
de Vries, Wieke; de Boer, Frank S.; Hindriks, Koen V.; van der Hoek, Wiebe; Meyer, John-Jules C.
1
2002
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
1
2002
Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Zbl 1155.68012
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2008
A tool-supported proof system for multithreaded Java. Zbl 1254.68055
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
Using the Maude term rewriting language for agent development with formal foundations. Zbl 1201.68130
van Riemsdijk, M. B.; Aştefănoaei, L.; de Boer, F. S.
1
2010
Compositional operational semantics of a UML-kernel-model language. Zbl 1273.68205
Fecher, Harald; Kyas, Marcel; de Roever, Willem-Paul; de Boer, Frank S.
1
2006
A formal, resource consumption-preserving translation of actors to Haskell. Zbl 06791217
Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique
1
2017
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
Termination detection for active objects. Zbl 1243.68221
de Boer, Frank S.; Grabe, Immo; Steffen, Martin
1
2012
A deductive proof system for multithreaded Java with exceptions. Zbl 1144.68012
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2008
The semantic foundations of a compositional proof method for synchronously communicating processes. Zbl 0959.68086
de Boer, F. S.; de Roever, W.-P.; Hannemann, U.
1
1999
Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Zbl 1060.68006
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2004
Verifying OpenJDK’s sort method for generic collections. Zbl 07024053
de Gouw, Stijn; de Boer, Frank S.; Bubel, Richard; Hähnle, Reiner; Rot, Jurriaan; Steinhöfel, Dominic
3
2019
A Petri net based modeling of active objects and futures. Zbl 1390.68489
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi
2
2018
A formal, resource consumption-preserving translation of actors to Haskell. Zbl 06791217
Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique
1
2017
Proof pearl: The KeY to correct and stable sorting. Zbl 1314.68277
De Gouw, Stijn; De Boer, Frank; Rot, Jurriaan
2
2014
Verification of object-oriented programs: a transformational approach. Zbl 1245.68062
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn
3
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
Termination detection for active objects. Zbl 1243.68221
de Boer, Frank S.; Grabe, Immo; Steffen, Martin
1
2012
Automated deadlock detection in synchronized reentrant multithreaded call-graphs. Zbl 1274.68084
de Boer, Frank S.; Grabe, Immo
2
2010
Using the Maude term rewriting language for agent development with formal foundations. Zbl 1201.68130
van Riemsdijk, M. B.; Aştefănoaei, L.; de Boer, F. S.
1
2010
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
22
2009
Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085
Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan
6
2009
Modular verification of recursive programs. Zbl 1241.68047
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
2
2009
A shared-variable concurrency analysis of multi-threaded object-oriented programs. Zbl 1169.68012
de Boer, F. S.
1
2009
Testing concurrent objects with application-specific schedulers. Zbl 1161.68630
Schlatte, Rudolf; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch
1
2008
Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Zbl 1155.68012
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
1
2008
A deductive proof system for multithreaded Java with exceptions. Zbl 1144.68012
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2008
A verification framework for agent programming with declarative goals. Zbl 1122.68078
de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch.
7
2007
A sound and complete shared-variable concurrency model for multi-threaded Java programs. Zbl 1202.68103
de Boer, Frank S.
3
2007
Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Zbl 1143.68011
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
2
2007
Semantics of plan revision in intelligent agents. Zbl 1086.68084
van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S.
1
2006
Dynamic logic for plan revision in agent programming. Zbl 1116.68093
van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.
1
2006
Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Zbl 1114.68010
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
1
2006
Compositional operational semantics of a UML-kernel-model language. Zbl 1273.68205
Fecher, Harald; Kyas, Marcel; de Roever, Willem-Paul; de Boer, Frank S.
1
2006
A proof outline logic for object-oriented programming. Zbl 1077.68018
Pierik, Cees; De Boer, Frank S.
8
2005
An assertion-based proof system for multithreaded Java. Zbl 1070.68016
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
8
2005
Controlling object allocation using creation guards. Zbl 1120.68379
Pierik, Cees; Clarke, Dave; de Boer, Frank S.
4
2005
Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin
2
2005
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Zbl 1084.68008
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Wilhelm-Paul
1
2005
Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin
1
2005
A compositional trace logic for behavioural interface specifications. Zbl 1087.68056
Kyas, Michael; de Boer, Frank S.; de Roever, Willem-Paul
1
2005
Modeling and verification of reactive systems using Rebeca. Zbl 1082.68007
Sirjani, Marjan; Movaghar, Ali; Shali, Amin; de Boer, Frank S.
11
2004
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
3
2004
How to cook a complete Hoare logic for your pet OO language. Zbl 1104.68428
de Boer, Frank S.; Pierik, Cees
3
2004
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Modularity and the rule of adaptation. Zbl 1108.68408
Pierik, Cees; de Boer, Frank S.
2
2004
Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Zbl 1060.68006
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
1
2004
A syntax-directed Hoare logic for object-oriented programming concepts. Zbl 1253.68087
Pierik, Cees; de Boer, Frank S.
8
2003
Inductive proof outlines for monitors in Java. Zbl 1253.68080
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
3
2003
A fully abstract model for the exchange of information in multi-agent systems. Zbl 1038.68019
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
2
2003
Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5–8, 2002. Revised lectures. Zbl 1028.00026
de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
2
2003
A compositional operational semantics for Java\(_{\text{MT}}\). Zbl 1274.68037
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
A tool-supported proof system for multithreaded Java. Zbl 1254.68055
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Zbl 0992.68026
de Boer, F. S.
6
2002
Verification for Java’s reentrant multithreading concept. Zbl 1077.68552
Ábrahám-Mumm, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
6
2002
Computer-aided specification and verification of annotated object-oriented programs. Zbl 1048.68050
de Boer, F. S.; Pierik, C.
5
2002
A programming language for coordinating group actions. Zbl 1053.68922
de Vries, Wieke; de Boer, Frank S.; Hindriks, Koen V.; van der Hoek, Wiebe; Meyer, John-Jules C.
1
2002
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
1
2002
Concurrency verification. Introduction to compositional and noncompositional methods. Zbl 1009.68020
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
41
2001
Agent programming with declarative goals. Zbl 1056.68562
Hindriks, Koen V.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
4
2001
On programming KARO agents. Zbl 0974.68202
Meyer, John-Jules; de Boer, Frank; van Eijk, Rogier; Hindriks, Koen; van der Hoek, Wiebe
2
2001
Decidable navigation logics for object structures. Zbl 0999.03018
de Boer, Frank S.; van Eijk, Rogier M.
1
2001
On dynamically generated ontology translators in agent communication. Zbl 0979.68013
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2001
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
18
2000
Failure semantics for the exchange of information in multi-agent systems. Zbl 0999.68210
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
3
2000
Open multi-agent systems: Agent communication and integration. Zbl 0970.68662
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2000
Proof-outlines for threads in Java. Zbl 0999.68504
Ábrahám-Mumm, Erika; de Boer, Frank S.
1
2000
Formal justification of the Rely-Guarantee paradigm for shared-variable concurrency: A semantic approach. Zbl 0956.68099
de Boer, F. S.; Hannemann, U.; de Roever, W.-P.
3
1999
The semantic foundations of a compositional proof method for synchronously communicating processes. Zbl 0959.68086
de Boer, F. S.; de Roever, W.-P.; Hannemann, U.
1
1999
An algebraic perspective of constraint logic programming. Zbl 0865.68025
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
3
1997
Infinite computations in concurrent constraint programming. Zbl 0911.68119
de Boer, Frank; Gabbrielli, M.
1
1997
Nondeterminism and infinite computations in constraint programming. Zbl 0872.68103
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
16
1995
Embedding as a tool for language comparison. Zbl 0788.68014
de Boer, Frank S.; Palamidessi, Catuscia
13
1994
Reasoning about dynamically evolving process structures. Zbl 0821.68106
America, Pierre; de Boer, Frank
4
1994
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
A fully abstract model for concurrent constraint programming. Zbl 0967.68516
de Boer, Frank S.; Palamidessi, Catuscia
14
1991
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
Proving total correctness of recursive procedures. Zbl 0699.68024
America, Pierre; de Boer, Frank
4
1990
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
all top 5

Cited by 342 Authors

22 de Boer, Frank S.
13 Owe, Olaf
12 Gabbrielli, Maurizio
11 Johnsen, Einar Broch
8 Steffen, Martin
7 Palamidessi, Catuscia
7 Valencia, Frank D.
6 Dovland, Johan
6 Guzmán, Michell
6 Meo, Maria Chiara
6 Olarte, Carlos
6 Villanueva, Alicia
5 Falaschi, Moreno
5 Rueda, Camilo
5 Sirjani, Marjan
4 Colvin, Robert J.
4 De Gouw, Stijn
4 Hayes, Ian J.
4 Hesselink, Wim H.
4 Meyer, John-Jules Charles
4 Naumann, David A.
4 Schellhorn, Gerhard
4 van der Hoek, Wiebe
3 Clarke, Dave
3 Comini, Marco
3 de Bakker, Jacobus W.
3 De Giacomo, Giuseppe
3 del Mar Gallardo, María
3 Di Pierro, Alessandra
3 Din, Crystal Chang
3 Ghassemi, Fatemeh
3 Gorla, Daniele
3 Jaghoori, Mohammad Mahdi
3 Kok, Joost N.
3 Liu, Zhiming
3 Namjoshi, Kedar S.
3 Olderog, Ernst-Rüdiger
3 Patrizi, Fabio
3 Perchy, Salim
3 Reif, Wolfgang
3 Sardina, Sebastian
3 Titolo, Laura
3 Tofan, Bogdan
3 van Eijk, Rogier M.
2 Ábrahám, Erika
2 Albert, Elvira
2 Alpuente, María
2 Apt, Krzysztof Rafal
2 Babot, Francesc-Xavier
2 Bertran, Miquel
2 Bonsangue, Marcello Maria
2 Bravetti, Mario
2 Broy, Manfred
2 Busi, Nadia
2 Carbone, Marco
2 Chothia, Tom
2 Climent, August
2 de Vink, Erik P.
2 Goldsmith, Michael
2 Gupta, Vineet
2 Hallerstede, Stefan
2 He, Jifeng
2 Hindriks, Koen V.
2 Jagadeesan, Radha
2 Jones, Cliff B.
2 Khosravi, Ramtin
2 Larsen, Kim Guldstrand
2 Lespérance, Yves
2 Levi, Giorgio
2 Marriott, Kim
2 Mauro, Jacopo
2 Meinicke, Larissa A.
2 Moffat, Nick
2 Moszkowski, Ben C.
2 Mousavi, Mohammadreza
2 Nowak, David E.
2 Pimentel, Elaine
2 Qiu, Zongyan
2 Rot, Jurriaan
2 Rusu, Vlad
2 Rutten, Jan J. M. M.
2 Saraswat, Vijay A.
2 Schlatte, Rudolf
2 Tapia Tarifa, Silvia Lizeth
2 van Riemsdijk, M. Birna
2 Wehrheim, Heike
2 Wiklicky, Herbert
2 Xiang, Shuangqing
2 Xie, Wanling
2 Yu, Ingrid Chieh
2 Zavattaro, Gianluigi
2 Zhao, Xishun
2 Zhu, Huibiao
1 Abbasi, Rosa
1 Achuthan, Krishnashree
1 Adam, Carole
1 Agarwal, Shivali
1 Ahrendt, Wolfgang
1 Aichernig, Bernhard K.
1 Andova, Suzana
...and 242 more Authors

Citations by Year