Segui
Frank de Boer
Frank de Boer
Leader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.
Email verificata su cwi.nl - Home page
Titolo
Citata da
Citata da
Anno
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst, et. al.
Springer-Verlag New York Inc, 2009
2875*2009
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9652010
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
5451999
Concurrency verification: introduction to compositional and noncompositional methods
WP De Roever, FS de Boer, et. al.
Cambridge Univ Pr, 2001
4702001
A complete guide to the future
FS De Boer, D Clarke, EB Johnsen
European Symposium on Programming, 316-330, 2007
2402007
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
2212001
Modeling and verification of reactive systems using Rebeca
M Sirjani, A Movaghar, A Shali, FS De Boer
Fundamenta Informaticae 63 (4), 385-410, 2004
2152004
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
1532003
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
1502017
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
141*2015
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
136*2007
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
1301998
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
1222005
A timed concurrent constraint language
FS de Boer, M Gabbrielli, MC Meo
Information and Computation 161 (1), 45-83, 2000
1212000
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
1201997
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
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
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
1092005
A wp-calculus for OO
FS De Boer
International Conference on Foundations of Software Science and Computation …, 1999
1091999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20