researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Methods in System Design
Home
Index
Info
Volume
Volume
49
, Issue
3
159
--
189
Fatemeh Ghassemi
,
Wan Fokkink
.
Model checking mobile ad hoc networks
190
--
218
Alessandro Cimatti
,
Alberto Griggio
,
Sergio Mover
,
Stefano Tonetta
.
Infinite-state invariant checking with IC3 and predicate abstraction
219
--
271
Javier Esparza
,
Jan Kretínský
,
Salomon Sickert
.
From LTL to deterministic automata - A safraless compositional approach
272
--
323
Ajith K. John
,
Supratik Chakraborty
.
A layered algorithm for quantifier elimination from linear modular constraints
Volume
49
, Issue
1-2
1
--
32
Mitra Tabaei Befrouei
,
Chao Wang
,
Georg Weissenbacher
.
Abstraction and mining of traces to explain concurrency bugs
33
--
74
Stefan Mitsch
,
André Platzer
.
ModelPlex: verified runtime validation of verified cyber-physical system models
75
--
108
David A. Basin
,
Germano Caronni
,
Sarah Ereth
,
Matús Harvan
,
Felix Klaedtke
,
Heiko Mantel
.
Scalable offline monitoring of temporal specifications
109
--
158
Christian Colombo
,
Yliès Falcone
.
Organising LTL monitors over distributed systems with a global clock