A Complete Generative Label Model for Lattice-based Access Control Models
Rudrapatna Shyamasundar and Narendra Kumar Nelabhotla.
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
Paolo Masci, Yi Zhang, Paul Jones and Jose C. Campos.
An API for Boolean Program Analysis with Just-in-Time Translation
Peizun Liu and Thomas Wahl.
An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
Laura Bozzelli, Alberto Molinari, Angelo Montanari and Adriano Peron.
Compositional Verification of Interlocking Systems for Large Stations
Alessandro Fantechi, Anne E. Haxthausen and Hugo Daniel Macedo.
Computing Conditional Probabilities: Implementation and Evaluation
Steffen Märcker, Christel Baier, Joachim Klein and Sascha Klüppelholz.
Focused Certification of an Industrial Compilation and Static Verification Toolchain
Zhi Zhang, Na Robby, John Hatcliff, Yannick Moy and Pierre Courtieu.
Formalizing Timing Diagram Requirements in Discrete Duration Calulus
Raj Mohan Matteplackel, Paritosh K Pandya and Amol Wakankar.
From model checking to a temporal proof for partial models
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore Zuck and Carlo Ghezzi.
From Partial Analysis Results To a Proof Witness
Marie-Christine Jakobs.
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory
Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel and Valérie Viet Triem Tong.
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini and John Mylopoulos.
Modular Verification of Information-Flow Security in Component-Based Systems
Simon Greiner, Martin Mohr and Bernhard Beckert.
On Approximate Diagnosability of Metric Systems
Giordano Pola, Elena De Santis and Maria Domenica Di Benedetto.
On Run-time Enforcement of Authorization Constraints in Security-Sensitive Business Processes
Daniel Ricardo Dos Santos and Silvio Ranise.
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
John J. Camilleri, Christian Johansen, Bjørnar Luteberget and Gerardo Schneider.
Specification and automated verification of dynamic dataflow networks
Jonatan Wiik and Pontus Boström.
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic
Nesredin Mahmud, Cristina Seceleanu and Oscar Ljungkrantz.
Specification Clones: An empirical study of the structure of Event-B specifications
Marie Farrell, Rosemary Monahan and James Power.
Trace Partitioning and Local Monitoring for Asynchronous Components
Duncan Attard and Adrian Francalanza.
User Studies of Principled Model Finder Output
Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi and Dan Dougherty.
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
Ermenegildo Tomasco, Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato.
A diagnosis framework for critical systems verification (Short paper)
Vincent Leilde, Vincent Ribaud, Ciprian Teodorov and Philippe Dhaussy.
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 and Pedro Palomo.
Interpolation-based learning as a means to speed-up Bounded Model Checking (Short paper)
Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini and Danilo Vendraminetto.
Towards automated deployment of self-adaptive applications on hybrid clouds (Short paper)
Lom Messan Hillah, Rodrigo Assad, Antonia Bertolino, Marcio Delamaro, Fabio De Rosa, Vinicius Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi and Juliano Iyoda.
Towards Inverse Uncertainty Quantification in Software Development (Short paper)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra and Carlo Bellettini.
Validating the Meta-Theory of Programming Languages (Short paper)
Guglielmo Fachini and Alberto Momigliano.