Abstract is missing.
- Seamless Model Driven Systems Engineering Based on Formal ModelsManfred Broy. 1-19 [doi]
- Compositional Verification of Input-Output Conformance via CSP Refinement CheckingAugusto Sampaio, Sidney Nogueira, Alexandre Mota. 20-48 [doi]
- Symbolic Query ExplorationMargus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann. 49-68 [doi]
- Event Listener Analysis and Symbolic Execution for Testing GUI ApplicationsSvetoslav Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry. 69-87 [doi]
- An Empirical Study of Structural Constraint Solving TechniquesJunaid Haroon Siddiqui, Sarfraz Khurshid. 88-106 [doi]
- Improving Automatic Verification of Security Protocols with XORXihui Chen, Ton van Deursen, Jun Pang. 107-126 [doi]
- Modeling and Verification of Privacy Enhancing ProtocolsSuriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo. 127-146 [doi]
- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language SupportPéter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith. 147-166 [doi]
- Implementing and Applying the Stocks-Carrington Framework for Model-Based TestingMaximiliano Cristiá, Pablo Rodríguez Monetti. 167-185 [doi]
- A Statistical Approach to Test Stochastic and Probabilistic SystemsMercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli. 186-205 [doi]
- Qualitative Action SystemsBernhard K. Aichernig, Harald Brandl, Willibald Krenn. 206-225 [doi]
- RAFFS: Model Checking a Robust Abstract Flash File StorePaul Taverne, Cornelis Pronk. 226-245 [doi]
- European Train Control System: A Case Study in Formal VerificationAndré Platzer, Jan-David Quesel. 246-265 [doi]
- Development of Security Software: A High Assurance MethodologyDavid Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen. 266-285 [doi]
- Bounded Semantics of CTL and SAT-Based VerificationWenhui Zhang. 286-305 [doi]
- Graded-CTL: Satisfiability and Symbolic Model CheckingAlessandro Ferrante, Margherita Napoli, Mimmo Parente. 306-325 [doi]
- Approximate Model Checking of PCTL Involving Unbounded Path PropertiesSamik Basu, Arka P. Ghosh, Ru He. 326-346 [doi]
- A Graph-Based Operational Semantics of OO ProgramsWei Ke, Zhiming Liu, Shuling Wang, Liang Zhao. 347-366 [doi]
- Modeling and Analysis of Thread-Pools in an Industrial Communication PlatformFrank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi. 367-386 [doi]
- A Verification System for Distributed Objects with Asynchronous Method CallsWolfgang Ahrendt, Maximilian Dylla. 387-406 [doi]
- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL PropertiesJiri Barnat, Lubos Brim, Petr Rockai. 407-425 [doi]
- Scalable Multi-core Model Checking Fairness Enhanced SystemsYang Liu 0003, Jun Sun 0001, Jin Song Dong. 426-445 [doi]
- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy LanguageAnil Madhavapeddy. 446-465 [doi]
- Supporting Reuse of Event-B Developments through Generic InstantiationRenato Silva, Michael Butler. 466-484 [doi]
- A Lazy Unbounded Model Checker for Event-BPaulo J. Matos, Bernd Fischer, João P. Marques Silva. 485-503 [doi]
- Proof Assisted Model Checking for BJens Bendisposto, Michael Leuschel. 504-520 [doi]
- Machine-Checked Sequencer for Critical Embedded Code GeneratorNassima Izerrouken, Marc Pantel, Xavier Thirioux. 521-540 [doi]
- Implementing a Direct Method for Certificate TranslationGilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet. 541-560 [doi]
- Algorithmic Verification with Multiple and Nested ParametersAntti Siirtola, Juha Kortelainen. 561-580 [doi]
- Verifying Stateful Timed CSP Using Implicit Clocks and Zone AbstractionJun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang. 581-600 [doi]
- Modal Systems: Specification, Refinement and RealisationFernando LuÃs Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky. 601-619 [doi]
- Refinement-Preserving Co-evolutionThomas Ruhroth, Heike Wehrheim. 620-638 [doi]
- Circular Coinduction with Special ContextsDorel Lucanu, Grigore Rosu. 639-659 [doi]
- The VSE Refinement Method in HetsMihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski. 660-678 [doi]
- A Compositional Approach on Modal Specifications for Timed SystemsNathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. 679-697 [doi]
- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed AutomataJoakim Byg, Kenneth Yrke Jørgensen, Jirà Srba. 698-716 [doi]
- Verifying Ptolemy II Discrete-Event Models Using Real-Time MaudeKyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis. 717-736 [doi]
- Specifying and Verifying Business Processes Using PPMLGermán Regis, Nazareno Aguirre, T. S. E. Maibaum. 737-756 [doi]