Filter your results
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Theoretical Computer ScienceSpringer, 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 Histories12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia
Conference papers
inria-00535871v1
|
|||
|
Compositional schedulability analysis of real-time actor-based systemsActa Informatica, 2017, 54 (4), pp.343 - 378. ⟨10.1007/s00236-015-0254-x⟩
Journal articles
hal-01632882v1
|
||
|
A Petri Net Based Modeling of Active Objects and FuturesFundamenta Informaticae, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩
Journal articles
hal-01919136v1
|