Abstract is missing.
- A Logical Account of NGSCBMartín Abadi, Ted Wobber. 1-12 [doi]
- Composing Event Constraints in State-Based SpecificationTommaso Bolognesi. 13-32 [doi]
- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of ResearchJuan Quemada. 33-42 [doi]
- Parameterized Models for Distributed Java ObjectsTomás Barros, Rabéa Boulifa, Eric Madelaine. 43-60 [doi]
- Towards the Harmonisation of UML and SDLRüdiger Grammes, Reinhard Gotzhein. 61-78 [doi]
- Localizing Program Errors for Cimple DebuggingSamik Basu, Diptikalyan Saha, Scott A. Smolka. 79-96 [doi]
- Formal Verification of a Practical Lock-Free Queue AlgorithmSimon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir. 97-114 [doi]
- Formal Verification of Web Applications Modeled by Communicating AutomataMay Haydar, Alexandre Petrenko, Houari A. Sahraoui. 115-132 [doi]
- Towards Design Recovery from ObservationsHasan Ural, Hüsnü Yenigün. 133-149 [doi]
- Network Protocol System Passive Testing for Fault Management: A Backward Checking ApproachBaptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee. 150-166 [doi]
- Connectivity Testing Through Model-CheckingJens Chr. Godskesen, Brian Nielsen, Arne Skou. 167-184 [doi]
- Fault Propagation by Equation SolvingKhaled El-Fakih, Nina Yevtushenko. 185-198 [doi]
- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time SystemsXin Wang, Ji Wang, Zhi-Chang Qi. 199-212 [doi]
- Formal Composition of Distributed ScenariosAziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux. 213-228 [doi]
- Conditions for Resolving Observability Problems in Distributed TestingJessica Chen, Robert M. Hierons, Hasan Ural. 229-242 [doi]
- Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System DesignGhassan Chehaibar. 243-258 [doi]
- Witness and Counterexample Automata for ACTLRobert Meolic, Alessandro Fantechi, Stefania Gnesi. 259-275 [doi]
- A Symbolic Symbolic State Space RepresentationYann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud. 276-291 [doi]
- Introducing the Iteration in sPBCHermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero. 292-309 [doi]
- Petri Net Semantics of the Finite pi-CalculusRaymond R. Devillers, Hanna Klaudel, Maciej Koutny. 309-325 [doi]
- Symbolic Diagnosis of Partially Observable Concurrent SystemsThomas Chatain, Claude Jard. 326-342 [doi]
- Automatized Verification of Ad Hoc Routing ProtocolsOskar Wibling, Joachim Parrow, Arnold Neville Pears. 343-358 [doi]
- A Temporal Logic Based Framework for Intrusion DetectionPrasad Naldurg, Koushik Sen, Prasanna Thati. 359-376 [doi]