Abstract is missing.
- Domain-Specific Languages with ScalaCyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata. 1-16 [doi]
- Formal Verification of Programs Computing the Floating-Point AverageSylvie Boldo. 17-32 [doi]
- Formalization and Verification of Declarative Cloud OrchestrationHiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi. 33-49 [doi]
- Consistency Verification of Specification RulesThai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato. 50-66 [doi]
- Applying Automata Learning to Embedded Control SoftwareWouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen. 67-83 [doi]
- A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial InformationJandson S. Ribeiro, Aline Andrade. 84-99 [doi]
- Supporting Requirements Analysis Using Pattern-Based Formal Specification ConstructionShaoying Liu, Xi Wang, Weikai Miao. 100-115 [doi]
- Dependency Analysis of Functional Specifications with Algebraic Data StructuresOana F. Andreescu, Thomas Jensen, Stéphane Lescuyer. 116-133 [doi]
- A SysML Formal Framework to Combine Discrete and Continuous Simulation for TestingJean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. 134-152 [doi]
- Mastering the Visualization of Larger State Spaces with Projection DiagramsLukas Ladenberger, Michael Leuschel. 153-169 [doi]
- Refinement-Based Verification of the FreeRTOS Scheduler in VCCSumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock. 170-186 [doi]
- Model Checking \mu μ C/OS-III Multi-task System with TMSVLJin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou. 187-200 [doi]
- A Predictability Algorithm for Distributed Discrete Event SystemsLina Ye, Philippe Dague, Farid Nouioua. 201-216 [doi]
- History-Based Specification and Verification of Scalable Concurrent and Distributed SystemsCrystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen. 217-233 [doi]
- Regression Verification for Programmable Logic Controller SoftwareBernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl. 234-251 [doi]
- A Logical Approach for Behavioural Composition of Scenario-Based ModelsJuliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain. 252-269 [doi]
- Formal Analysis of Power Electronic SystemsSidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar. 270-286 [doi]
- Practical Analysis Framework for Component Systems with Dynamic ReconfigurationsOlga Kouchnarenko, Jean-François Weber. 287-303 [doi]
- DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)Dennis Guck, Jip Spel, Mariëlle Stoelinga. 304-311 [doi]
- B for Modeling Secure Information Systems - The B4MSecure PlatformAkram Idani, Yves Ledru. 312-318 [doi]
- Enhanced Distributed Behavioral Cartography of Parametric Timed AutomataÉtienne André, Camille Coti, Hoang Gia Nguyen. 319-335 [doi]
- A Recursive Probabilistic Temporal LogicPablo F. Castro, Cecilia Kilmurray, Nir Piterman. 336-348 [doi]
- Specifying Compatible Sharing in Data StructuresAsankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin. 349-365 [doi]
- Delta-Oriented FSM-Based TestingMahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi. 366-381 [doi]
- An Improved HHL Prover: An Interactive Theorem Prover for Hybrid SystemsShuling Wang, Naijun Zhan, Liang Zou. 382-399 [doi]
- Continuation Semantics for Concurrency with Multiple Channels CommunicationGabriel Ciobanu, Eneia Nicolae Todoran. 400-416 [doi]
- SysML Blocks AdaptationHamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir. 417-433 [doi]