Login / Signup
INFINITY
1996
2002
2008
2014
1996
2014
Keyphrases
Publications
volume 140, 2014
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013.
INFINITY
140 (2014)
2013
Johann Schuster
,
Markus Siegle
Lattice structures for bisimilar Probabilistic Automata.
INFINITY
(2013)
Yu-Fang Chen
,
Bow-Yaw Wang
,
Di-De Yen
A Finite Exact Representation of Register Automata Configurations.
INFINITY
(2013)
Gal Katz
,
Doron A. Peled
Synthesis of Parametric Programs using Genetic Programming and Model Checking.
INFINITY
(2013)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Jari Stenman
Zenoness for Timed Pushdown Automata.
INFINITY
(2013)
Oded Maler
Algorithmic Verification of Continuous and Hybrid Systems.
INFINITY
(2013)
2011
Christian Krause
,
Holger Giese
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
INFINITY
(2011)
Doron A. Peled
,
Sven Schewe
Practical Distributed Control Synthesis
INFINITY
(2011)
Takashi Tomita
,
Shigeki Hagihara
,
Naoki Yonezaki
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
INFINITY
(2011)
Alberto Ciaffaglione
A coinductive semantics of the Unlimited Register Machine
INFINITY
(2011)
Laurent Fribourg
,
Bertrand Revol
,
Romain Soulat
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems
INFINITY
(2011)
Alex Spelten
,
Wolfgang Thomas
,
Sarah Winter
Trees over Infinite Structures and Path Logics with Synchronization
INFINITY
(2011)
volume 73, 2011
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011.
INFINITY
73 (2011)
2010
Bernard Boigelot
,
Julien Brusten
,
Jean-François Degbomont
Implicit Real Vector Automata
INFINITY
(2010)
Stéphane Demri
On Selective Unboundedness of VASS
INFINITY
(2010)
Étienne André
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
INFINITY
(2010)
Frédéric Peschanski
,
Hanna Klaudel
,
Raymond R. Devillers
A Decidable Characterization of a Graphical Pi-calculus with Iterators
INFINITY
(2010)
Nathalie Bertrand
,
Christophe Morvan
Probabilistic regular graphs
INFINITY
(2010)
Oded Maler
,
Kim G. Larsen
,
Bruce H. Krogh
On Zone-Based Analysis of Duration Probabilistic Automata
INFINITY
(2010)
Hanifa Boucheneb
,
Kamel Barkaoui
On interleaving in {P,A}-Time Petri nets with strong semantics
INFINITY
(2010)
volume 39, 2010
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010.
INFINITY
39 (2010)