Abstract is missing.
- Symbolically Bounding the Drift in Time-Constrained MSC GraphsS. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang. 1-15 [doi]
- A Compositional Hierarchical Monitoring Automaton Construction for LTLDeepak D'Souza, Raj Mohan Matteplackel. 16-29 [doi]
- How to Translate Efficiently Extensions of Temporal Logics into Alternating AutomataCésar Sánchez, Julián Samborski-Forlese. 30-45 [doi]
- Correctness of Object Oriented Models by Extended Type InferenceSimon Foster, Ondrej Rypacek, Georg Struth. 46-60 [doi]
- Non-termination Sets of Simple Linear LoopsLiyun Dai, Bican Xia. 61-73 [doi]
- Definite Expression Aliasing Analysis for Java BytecodeDurica Nikolic, Fausto Spoto. 74-89 [doi]
- Using Semantics Specified in Maude to Generate Test CasesAdrián Riesco. 90-104 [doi]
- A Locally Nameless Representation for a Natural Semantics for Lazy EvaluationLidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén. 105-119 [doi]
- Modal Process Rewrite SystemsNikola Benes, Jan Kretínský. 120-135 [doi]
- S-Narrowing for Constructor SystemsAdrián Riesco, Juan Rodríguez-Hortalá. 136-150 [doi]
- Data Privacy Using MASKETEERTMSachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas. 151-158 [doi]
- A Conformance Checker Tool CSPConCheckSuman Roy, Sidharth Bihary, Jose Alfonso Corso Laos. 159-163 [doi]
- SmartTestGen+: A Test Suite Booster for Enhanced Structural CoverageSachin Raviram, Prakash Peranandam, Manoranjan Satpathy, S. Ramesh. 164-167 [doi]
- Model Checking under Fairness in ProB and Its Application to Fair Exchange ProtocolsDavid M. Williams, Joeri de Ruiter, Wan Fokkink. 168-182 [doi]
- Model Checking of OSEK/VDX OS Design Model Based on Environment ModelingKenro Yatake, Toshiaki Aoki. 183-197 [doi]
- A Cure for Stuttering Parity GamesSjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse. 198-212 [doi]
- Ensuring Reachability by DesignBenoît Caillaud, Jean-Baptiste Raclet. 213-227 [doi]
- Approximate Verification and Enumeration ProblemsSylvain Peyronnet, Michel de Rougemont, Yann Strozecki. 228-242 [doi]
- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid SystemsFederico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci. 243-258 [doi]