Abstract is missing.
- Towards a Signal Calculus for Event-Based Synchronous LanguagesYongxin Zhao, Jifeng He. 1-13 [doi]
- Reasoning about Programs Using a Scientific MethodPeter W. O'Hearn. 14 [doi]
- Poirot - A Concurrency SleuthShaz Qadeer. 15 [doi]
- Context-Based Behavioral Equivalence of Components in Self-Adaptive SystemsNarges Khakpour, Marjan Sirjani, Ursula Goltz. 16-32 [doi]
- Towards a Practical Approach to Check UML/fUML Models Consistency Using CSPIslam Abdelhalim, Steve Schneider, Helen Treharne. 33-48 [doi]
- The Safety-Critical Java Mission Model: A Formal AccountFrank Zeyda, Ana Cavalcanti, Andy J. Wellings. 49-65 [doi]
- Is There Evolution Before Birth? Deterioration Effects of Formal Z SpecificationsAndreas Bollin. 66-81 [doi]
- Asynchronous Communication in MSVLDapeng Mo, Xiaobing Wang, Zhenhua Duan. 82-97 [doi]
- Verification of Orchestration Systems Using Compositional Partial Order ReductionTian Huat Tan, Yang Liu 0003, Jun Sun 0001, Jin Song Dong. 98-114 [doi]
- Domain-Driven Probabilistic Analysis of Programmable Logic ControllersHehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu. 115-130 [doi]
- Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid ApplicationsJoão Martins, André Platzer, João Leite. 131-146 [doi]
- PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical SystemsJun Sun 0001, Yang Liu 0003, Songzheng Song, Jin Song Dong, Xiaohong Li. 147-162 [doi]
- Integrating Prototyping into the SOFL Three-Step Modeling ApproachFauziah binti Zainuddin, Shaoying Liu. 163-178 [doi]
- A Deterministic Interpreter Simulating a Distributed Real Time System Using VDMKenneth Lausdahl, Peter Gorm Larsen, Nick Battle. 179-194 [doi]
- On Fitting a Formal Method into PracticeRainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge. 195-210 [doi]
- A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support SystemsRoozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni. 211-226 [doi]
- Conformance Checking of Dynamic Access Control PoliciesDavid J. Power, Mark Slaymaker, Andrew Simpson. 227-242 [doi]
- A Knowledge-Based Verification Method for Dynamic Access Control PoliciesMasoud Koleini, Mark Ryan. 243-258 [doi]
- Validation of Security-Design Models Using ZNafees Qamar, Yves Ledru, Akram Idani. 259-274 [doi]
- Mutation in Linked Data StructuresEwen Maclean, Andrew Ireland. 275-290 [doi]
- Contract-Based Verification of Simulink ModelsPontus Boström. 291-306 [doi]
- Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional UnitsMiroslav N. Velev, Ping Gao 0002. 307-322 [doi]
- Architectural Verification of Control Systems Using CSPJoabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo. 323-339 [doi]
- Symbolic Execution of Alloy ModelsJunaid Haroon Siddiqui, Sarfraz Khurshid. 340-355 [doi]
- Distributed Theorem Proving for Distributed Hybrid SystemsDavid W. Renshaw, Sarah M. Loos, André Platzer. 356-371 [doi]
- Towards a Model Checker for NesC and Wireless Sensor NetworksManchun Zheng, Jun Sun 0001, Yang Liu, Jin Song Dong, Yu Gu 0001. 372-387 [doi]
- Formal Analysis of a Scheduling Algorithm for Wireless Sensor NetworksMaissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. 388-403 [doi]
- An Abstract Model for Proving Safety of Multi-lane Traffic ManoeuvresMartin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn. 404-419 [doi]
- Formal Derivation of a Distributed Program in Event BAlexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky. 420-436 [doi]
- From Requirements to Development: Methodology and ExampleWen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu. 437-455 [doi]
- Reasoning about Liveness Properties in Event-BThai Son Hoang, Jean-Raymond Abrial. 456-471 [doi]
- Extracting Significant Specifications from Mining through Mutation TestingAnh Cuong Nguyen, Siau-Cheng Khoo. 472-488 [doi]
- Developer-Oriented Correctness Proofs - A Case Study of Cheney's AlgorithmHolger Gast. 489-504 [doi]
- Static Analysis of String ValuesGiulia Costantini, Pietro Ferrara, Agostino Cortesi. 505-521 [doi]
- A Theory of Classes from the Theoretical Foundations of LePUS3Jonathan Nicholson. 522-536 [doi]
- Differencing Labeled Transition SystemsZhenchang Xing, Jun Sun 0001, Yang Liu, Jin Song Dong. 537-552 [doi]
- Developing a Consensus Algorithm Using Stepwise RefinementJeremy W. Bryans. 553-568 [doi]
- Refining Nodes and Edges of State MachinesStefan Hallerstede, Colin F. Snook. 569-584 [doi]
- Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set ArchitecturesFangfang Yuan, Stephen Wright, Kerstin Eder, David May. 585-600 [doi]
- A Language for Test Case Refinement in the Test Template FrameworkMaximiliano Cristiá, Diego Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti. 601-616 [doi]
- Automating Algebraic Methods in IsabelleWalter Guttmann, Georg Struth, Tjark Weber. 617-632 [doi]
- Term Rewriting in Logics of Partial FunctionsMatthias Schmalz. 633-650 [doi]
- Synchronous AADL and Its Formal Analysis in Real-Time MaudeKyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer. 651-667 [doi]