default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th SEFM 2017: Trento, Italy
- Alessandro Cimatti, Marjan Sirjani:
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10469, Springer 2017, ISBN 978-3-319-66196-4 - Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel
, Valérie Viet Triem Tong:
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. 1-16 - Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu:
Focused Certification of an Industrial Compilation and Static Verification Toolchain. 17-34 - N. V. Narendra Kumar, R. K. Shyamasundar:
A Complete Generative Label Model for Lattice-Based Access Control Models. 35-53 - Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From Model Checking to a Temporal Proof for Partial Models. 54-69 - Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos:
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. 70-86 - Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider:
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. 87-103 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. 104-119 - Marie-Christine Jakobs:
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. 120-135 - Jonatan Wiik, Pontus Boström:
Specification and Automated Verification of Dynamic Dataflow Networks. 136-151 - Marie Farrell, Rosemary Monahan, James F. Power:
Specification Clones: An Empirical Study of the Structure of Event-B Specifications. 152-167 - Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty:
User Studies of Principled Model Finder Output. 168-184 - Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato:
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. 185-202 - Daniel Ricardo dos Santos, Silvio Ranise:
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. 203-218 - Duncan Paul Attard, Adrian Francalanza:
Trace Partitioning and Local Monitoring for Asynchronous Components. 219-235 - Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo:
Compositional Verification of Interlocking Systems for Large Stations. 236-252 - Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar:
Formalizing Timing Diagram Requirements in Discrete Duration Calculus. 253-268 - Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto:
On Approximate Diagnosability of Metric Systems. 269-283 - Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos:
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. 284-299 - Simon Greiner, Martin Mohr, Bernhard Beckert:
Modular Verification of Information Flow Security in Component-Based Systems. 300-315 - Peizun Liu, Thomas Wahl:
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. 316-331 - Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz:
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. 332-348 - Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz:
Computing Conditional Probabilities: Implementation and Evaluation. 349-366 - Guglielmo Fachini, Alberto Momigliano:
Validating the Meta-Theory of Programming Languages (Short Paper). 367-374 - Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini:
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). 375-381 - Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto:
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). 382-387 - Lom-Messan Hillah, Rodrigo Elia Assad, Antonia Bertolino, Márcio Eduardo Delamaro, Fabio De Rosa, Vinicius C. Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi, Juliano Iyoda:
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). 388-393 - Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy:
A Diagnosis Framework for Critical Systems Verification (Short Paper). 394-400 - Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo:
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). 401-407
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-17 00:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
