Improving the Verification of Timed Systems using Influence
Information
Victor Braberman, Diego Garbervetsky and Alfredo Olivero (Universidad
de Buenos Aires and Universidad Argentina de la Empresa,
Argentina)
Digitisation and Full Abstraction for Dense-Time Model
Checking
Joel Ouaknine (Tulane University,
USA)
Probabilistic Symbolic Model Checking with PRISM: A Hybrid
Approach
Marta Kwiatkowska, Gethin Norman and David
Parker (University of Birmingham, UK)
Validating Timing Constraints of Dependent
Jobs with Variable Execution Times in Distributed Real-Time
Systems
Hojung Cha and Rhan Ha (Yonsei
University and Hongik University, South Korea)
An Analysis of Zero-Clairvoyant
Scheduling
K. Subramani (West Virginia University,
USA)
Preemptive Job-Shop Scheduling using Stopwatch
Automata
Yasmina Abdeddaim and Oded Maler (VERIMAG, Grenoble,
France)
A Functional Semantics of Attribute Grammars
Kevin
Backhouse (Oxford University Computing Laboratory, UK)
Tool:TIMES
- A Tool for Modelling and Implementation of Embedded Systems
Tobias
Amnell, Elena Fersman, Leonid Mokrushin, Paul Petterson, and Wang
Yi (Uppsala University, Sweden)
Towards the
Automated Verification of Multithreaded Java Programs
Giorgio
Delzanno, Jean-Francois Raskin and Laurent Van Begin (Universitá di
Genova, Italy and Université Libre de Bruxelles, Belgium)
CLPS-B -
A Constraint Solver for B
Fabrice Bouquet, Bruno Legeard and Fabien
Peureux (Laboratoire d'Informatique Université de Franche-Comté,
France)
Formal Verification of Functional Properties of an
SCR-style Software Requirements Specification using PVS
Taeho Kim,
David Stringer-Calvert, Sungdeok Cha (KAIST, South-Korea and SRI
International, USA)
Resource-Constrained
Model Checking of Recursive Programs
Samik Basu, K. Narayan Kumar,
L. Robert Pokorny and C. R. Ramakrishnan (State University of New York
at Stony Brook, USA and Chennai Mathematical Institute,
India)
Model Checking Large-scale and Parameterized Resource
Allocation Systems
Allen Emerson and Vineet Kahlon (The
University of Texas at Austin, USA)
Tool: Compositional Verification using SVL Scripts
Frédéric
Lang (INRIA Rhône-Alpes, France)
Local Model-Checking of Modal Mu-Calculus on
Acyclic Labeled Transition Systems
Radu Mateescu (INRIA
Rhône-Alpes/VASY, France)
The ForSpec Temporal Logic: A New
Temporal Property-Specification Language
R. Armoni, L. Fix, A.
Flaisher, R. Gerth,
B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A.
Tiemeyer, M.Y. Vardi and Y. Zbar (Rice University, USA, and Intel,
USA/Israel)
Fine-Grained Conjunction Scheduling for Symbolic
Reachablity Analysis
HoonSang Jin, Andreas Kuehlmann and Fabio
Somenzi (University of Colorado at Boulder, USA and Cadence Berkeley
Labs, USA)
A Temporal Logic Based Theory of Test Coverage and
Generation
Hyoung Seok Hong, Insup Lee, Oleg Sokolsky and Hasan
Ural (University of Pennsylvania, USA and University of Ottawa,
Canada)
Synthesizing Monitors for Safety Properties
Klaus
Havelund and Grigore Rosu (NASA Ames Research Center,
USA)
Adaptive Model Checking
Alex Groce, Doron Peled,
Mihalis Yannakakis (Carnegie Mellon University, USA, University of
Texas at Austin, USA, Avaya Laboratories, USA)
Tool:STG: A Symbolic Test Generation
Tool
Duncan Clarke, Thierry Jéron, Vlad Rusu, and Elena
Zinovieva (IRISA/INRIA Rennes, France)
Parallelisation of the Petri Net Unfolding Algorithm
Keijo
Heljanko, Victor Khomenko and Maciej Koutny (Helsinki University of
Technology, Finland and University of Newcastle upon Tyne,
UK)
Black Box Unfolding with Local First Search
Sebastien
Bornot, Remi Morin, Peter Niebert and Sarah Zennou (Laboratoire
d'Informatique Fondamentale de Marseille, France)
Applicability of
Fair Simulation
Doran Burstan and Orna Grumberg (Technion
Haifa, Israel)
Simulation as Coarsest Partition
Problem
Raffaella Gentilini, Carla Piazza and Alberto
Policriti (Universitá di Udine, Italy)
Temporal Debugging for Concurrent Systems
Elsa Gunter and
Doron Peled (New Jersey Institute of Science, USA and University of
Texas at Austin, USA)
Fate and Free Will in Error
Traces
HoonSang Jin, Kavita Ravi and Fabio Somenzi (University
of Colorado at Boulder, USA, Cadence Design Systems,
USA)
Tool:Real-Time Systems Design with PEP
Christian
Stehno (University of Oldenburg, Germany)