Accepted Papers

Regular Papers

  • 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.

Short Papers

  • 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.

    Comments