Abstract is missing.
- Contribution to a Rigorous Analysis of Web Application FrameworksEgon Börger, Antonio Cisternino, Vincenzo Gervasi. 1-20 [doi]
- Integrated Operational Semantics: Small-Step, Big-Step and Multi-stepIan J. Hayes, Robert Colvin. 21-35 [doi]
- Test Generation for Sequential Nets of Abstract State MachinesPaolo Arcaini, Francesco Bolis, Angelo Gargantini. 36-50 [doi]
- ASM and Controller SynthesisRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu. 51-64 [doi]
- Continuous ASM, and a Pacemaker Sensing FragmentRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu. 65-78 [doi]
- An ASM Model of Concurrency in a Web BrowserVincenzo Gervasi. 79-93 [doi]
- Modeling the Supervisory Control Theory with AlloyBenoît Fraikin, Marc Frappier, Richard St.-Denis. 94-107 [doi]
- Preventing Arithmetic Overflows in AlloyAleksandar Milicevic, Daniel Jackson. 108-121 [doi]
- Extending Alloy with Partial InstancesVajih Montaghami, Derek Rayside. 122-135 [doi]
- Toward a More Complete AlloyTimothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. 136-149 [doi]
- Temporal Logic Model Checking in AlloyAmirhossein Vakili, Nancy A. Day. 150-163 [doi]
- Active Attacking Multicast Key Management Protocol Using AlloyTing Wang, Dongyao Ji. 164-177 [doi]
- Formalizing Hybrid Systems with Event-BJean-Raymond Abrial, Wen Su, Huibiao Zhu. 178-193 [doi]
- SMT Solvers for RodinDavid Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin. 194-207 [doi]
- Refinement Plans for Informed Formal DesignGudmund Grov, Andrew Ireland, Maria Teresa Llano. 208-222 [doi]
- Refinement by Interface InstantiationStefan Hallerstede, Thai Son Hoang. 223-237 [doi]
- Discharging Proof Obligations from Atelier B Using Multiple Automated ProversDavid Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka. 238-251 [doi]
- A Semantic Analysis of Logics That Cope with Partial TermsCliff B. Jones, Matthew J. Lovert, L. Jason Steggles. 252-265 [doi]
- Combining VDM with Executable CodeClaus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen. 266-279 [doi]
- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set ComprehensionsMaximiliano Cristiá, Claudia S. Frydman. 280-293 [doi]
- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink DiagramsChris Marriott, Frank Zeyda, Ana Cavalcanti. 294-307 [doi]
- Verification of Hardware Interaction Properties of SoftwareRamsay Taylor. 308-322 [doi]
- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management SystemMatthes Elstermann, Detlef Seese, Albert Fleischmann. 323-326 [doi]
- A Unified Processor Model for Compiler Verification and Simulation Using ASMRoland Lezuo, Andreas Krall. 327-330 [doi]
- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMsAndrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra. 331-335 [doi]
- A Reliability Prediction Method for Abstract State MachinesRaffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. 336-340 [doi]
- A Simplified Parallel ASM ThesisKlaus-Dieter Schewe, Qing Wang. 341-344 [doi]
- Refactoring Abstract State Machine ModelsHamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer. 345-348 [doi]
- Continuous Behaviour in Event-B: A SketchRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu. 349-352 [doi]
- Formal Verification of PLC Programs Using the B MethodHaniel Barbosa, David Déharbe. 353-356 [doi]
- A Practical Event-B Refinement Method Based on a UML-Driven Development ProcessThiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook. 357-360 [doi]
- Learn and Test for Event-B - A Rodin PluginIonut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu. 361-364 [doi]
- Event-B Code Generation: Type Extension with TheoriesAndrew Edmunds, Michael Butler, Issam Maamria, Renato Silva, Chris Lovell. 365-368 [doi]
- Formal Proofs for the NYCT Line 7 (Flushing) Modernization ProjectDenis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry. 369-372 [doi]
- A Pattern for Modelling Fault Tolerant Systems in Event-BGintautas Sulskus, Michael Poppleton. 373-376 [doi]