Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

4 Results
authFullName_s : Frank S. de Boer

Theoretical Computer Science

Jos C. M. Baeten , Tom Ball , Frank S. de Boer
Springer, LNCS-7604, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33475-7⟩
Books hal-01556209v1

Prototyping a tool environment for run-time assertion checking in JML with Communication Histories

Stijn de Gouw , Frank S. de Boer , Jurgen Vinju
12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia
Conference papers inria-00535871v1

Compositional schedulability analysis of real-time actor-based systems

Mohammad Mahdi Jaghoori , Frank S. de Boer , Delphine Longuet , Tom Chothia , Marjan Sirjani et al.
Acta Informatica, 2017, 54 (4), pp.343 - 378. ⟨10.1007/s00236-015-0254-x⟩
Journal articles hal-01632882v1
Image document

A Petri Net Based Modeling of Active Objects and Futures

Frank S. de Boer , Mario Bravetti , Matias David Lee , Gianluigi Zavattaro
Fundamenta Informaticae, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩
Journal articles hal-01919136v1