Follow
Frank de Boer
Frank de Boer
Leader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.
Verified email at cwi.nl - Homepage
Title
Cited by
Cited by
Year
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst, et. al.
Springer-Verlag New York Inc, 2009
2760*2009
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9442010
Agent programming in 3APL
KV Hindriks, FS De Boer, W Van der Hoek, JJC Meyer
Autonomous Agents and Multi-Agent Systems 2, 357-401, 1999
5421999
Concurrency verification: introduction to compositional and noncompositional methods
WP De Roever, FS de Boer, et. al.
Cambridge Univ Pr, 2001
4622001
A complete guide to the future
FS De Boer, D Clarke, EB Johnsen
European Symposium on Programming, 316-330, 2007
2322007
Agent programming with declarative goals
KV Hindriks, FS De Boer, W Van Der Hoek, JJC Meyer
Intelligent Agents VII Agent Theories Architectures and Languages: 7th …, 2001
2192001
Modeling and verification of reactive systems using Rebeca
M Sirjani, A Movaghar, A Shali, FS De Boer
Fundamenta Informaticae 63 (4), 385-410, 2004
2072004
Towards a language for coherent enterprise architecture descriptions
H Jonkers, R Van Burren, F Arbab, F de Boer, M Bonsangue, H Bosma, ...
Seventh IEEE International Enterprise Distributed Object Computing …, 2003
1522003
A survey of active object languages
FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...
ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017
1422017
Models and temporal logical specifications for timed component connectors
F Arbab, C Baier, F de Boer, J Rutten
Software & Systems Modeling 6, 59-82, 2007
135*2007
OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst case
S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
131*2015
A fully abstract model for concurrent constraint programming
FS De Boer, C Palamidessi
Colloquium on Trees in Algebra and Programming, 296-319, 1991
1311991
Formal semantics for an abstract agent programming language
KV Hindriks, FS de Boer, W van der Hoek, JJC Meyer
Intelligent Agents IV Agent Theories, Architectures, and Languages: 4th …, 1998
1281998
Formalizing UML models and OCL constraints in PVS
M Kyas, H Fecher, FS de Boer, J Jacob, J Hooman, M Van Der Zwaag, ...
Electronic Notes in Theoretical Computer Science 115, 39-47, 2005
1232005
A timed concurrent constraint language
FS de Boer, M Gabbrielli, MC Meo
Information and Computation 161 (1), 45-83, 2000
1202000
The failure of failures in a paradigm for asynchronous communication
FS de Boer, JN Kok, C Palamidessi, JJMM Rutten
CONCUR'91: 2nd International Conference on Concurrency Theory Amsterdam, The …, 1991
1191991
Proving concurrent constraint programs correct
FS De Boer, M Gabbrielli, E Marchiori, C Palamidessi
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 685-725, 1997
1171997
Programming agent deliberation: An approach illustrated using the 3APL language
M Dastani, F De Boer, F Dignum, JJ Meyer
Proceedings of the second international joint conference on Autonomous …, 2003
1162003
A wp-calculus for OO
FS de Boer
International Conference on Foundations of Software Science and Computation …, 1999
1091999
Change impact analysis of enterprise architectures
FS de Boer, MM Bonsangue, LPJ Groenewegen, AW Stam, S Stevens, ...
IRI-2005 IEEE International Conference on Information Reuse and Integration …, 2005
1042005
The system can't perform the operation now. Try again later.
Articles 1–20