Abstract is missing.
- Information Flow Tracking for Linux Handling Concurrent System Calls and Shared MemoryLaurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. 1-16 [doi]
- Focused Certification of an Industrial Compilation and Static Verification ToolchainZhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu. 17-34 [doi]
- A Complete Generative Label Model for Lattice-Based Access Control ModelsN. V. Narendra Kumar, R. K. Shyamasundar. 35-53 [doi]
- From Model Checking to a Temporal Proof for Partial ModelsAnna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi. 54-69 [doi]
- Modeling and Reasoning on Requirements Evolution with Constrained Goal ModelsChi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos. 70-86 [doi]
- Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNLBjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider. 87-103 [doi]
- An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular ExpressionsLaura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron. 104-119 [doi]
- PART _\mathrm PW : From Partial Analysis Results to a Proof WitnessMarie-Christine Jakobs. 120-135 [doi]
- Specification and Automated Verification of Dynamic Dataflow NetworksJonatan Wiik, Pontus Boström. 136-151 [doi]
- Specification Clones: An Empirical Study of the Structure of Event-B SpecificationsMarie Farrell, Rosemary Monahan, James F. Power. 152-167 [doi]
- User Studies of Principled Model Finder OutputNatasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty. 168-184 [doi]
- Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory ModelsErmenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. 185-202 [doi]
- On Run-Time Enforcement of Authorization Constraints in Security-Sensitive WorkflowsDaniel Ricardo Dos Santos, Silvio Ranise. 203-218 [doi]
- Trace Partitioning and Local Monitoring for Asynchronous ComponentsDuncan Paul Attard, Adrian Francalanza. 219-235 [doi]
- Compositional Verification of Interlocking Systems for Large StationsAlessandro Fantechi, Anne Elisabeth Haxthausen, Hugo Daniel Macedo. 236-252 [doi]
- Formalizing Timing Diagram Requirements in Discrete Duration CalculusRaj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar. 253-268 [doi]
- On Approximate Diagnosability of Metric SystemsGiordano Pola, Elena De Santis, Maria Domenica Di Benedetto. 269-283 [doi]
- A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical DevicesPaolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos. 284-299 [doi]
- Modular Verification of Information Flow Security in Component-Based SystemsSimon Greiner, Martin Mohr, Bernhard Beckert. 300-315 [doi]
- IJIT: An API for Boolean Program Analysis with Just-in-Time TranslationPeizun Liu, Thomas Wahl. 316-331 [doi]
- Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal LogicNesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz. 332-348 [doi]
- Computing Conditional Probabilities: Implementation and EvaluationSteffen Märcker, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz. 349-366 [doi]
- Validating the Meta-Theory of Programming Languages (Short Paper)Guglielmo Fachini, Alberto Momigliano. 367-374 [doi]
- Towards Inverse Uncertainty Quantification in Software Development (Short Paper)Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini. 375-381 [doi]
- Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper)Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto. 382-387 [doi]
- Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)Lom-Messan Hillah, Rodrigo Elia Assad, Antonia Bertolino, Marcio Delamaro, Fabio De Rosa, Vinicius C. Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi, Juliano Iyoda. 388-393 [doi]
- A Diagnosis Framework for Critical Systems Verification (Short Paper)Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. 394-400 [doi]
- Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo. 401-407 [doi]