| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam |
Hoare-Style Logic for Unstructured Programs.  |
SEFM  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
Sound C Code Decompilation for a Subset of x86-64 Binaries. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures |
Code Coverage Aware Test Generation Using Constraint Solver. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Diana Murzagaliyeva |
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Marie-Christine Jakobs |
FRed: Conditional Model Checking via Reducers and Folders. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Camilli, Barbara Russo |
Model-Based Testing Under Parametric Variability of Uncertain Beliefs. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Allen Alexander |
Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin |
Modelling Train Driver Behaviour in Railway Co-simulations. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário Henrique Cruz Torres, Jean Pierre Giacalone, Joelle Abou Faysal |
A Case Study on Formally Validating Motion Rules for Autonomous Cars. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Reimer |
Against the Illusory Will Hypothesis - A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Kahle |
The Intensional Structure of Epistemic Convictions. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Danil Razeev |
Personal Identity and False Memories. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Cignarale, Giuseppe Primiero |
A Multi-Agent Depth Bounded Boolean Logic. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda |
Modeling and Verification of Temporal Constraints for Web Service Composition. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse |
An Interdisciplinary Model for Graphical Representation. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimír Still, Jiri Barnat |
Local Nontermination Detection for Parallel C++ Programs. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat |
Reproducible Execution of POSIX Programs with DiOS. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Gwen Salaün (eds.) |
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingyu Zhao 0001, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang 0001, Michael Fisher 0001, Fabio Papacchini, Angelo Ferrando 0001 |
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Lefticaru, Robert M. Hierons, Manuel Núñez 0001 |
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorottya Papp, Thorsten Tarrach, Levente Buttyán |
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher, Simon Foster 0001, Yakoub Nemouchi |
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Avellaneda, Alexandre Petrenko |
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | I. S. W. B. Prasetya, Rick Klomp |
Test Model Coverage Analysis Under Uncertainty. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher |
Mutation Testing with Hyperproperties. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Matthew Bradbury, Michael Fisher 0001, Louise A. Dennis, Clare Dixon, Hu Yuan 0001, Carsten Maple |
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira |
Efficient Formal Verification for the Linux Kernel. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen |
Asynchronous Cooperative Contracts for Cooperative Scheduling. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Maciej Wilkowski |
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Kawamoto 0001 |
Towards Logical Specification of Statistical Machine Learning. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick |
Incorporating Data into EFSM Inference. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst |
Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
An Operational Guide to Monitorability. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff |
Compositional Feature-Oriented Systems. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
Automatic Failure Explanation in CPS Models. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luka Le Roux, Ciprian Teodorov |
Partially Bounded Context-Aware Verification. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Isabelle/DOF: Design and Implementation. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer |
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yassmeen Elderhalli, Matthias Volk 0001, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar |
Formal Verification of Rewriting Rules for Dynamic Fault Trees. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Carvalho, João Costa Seco |
Software Evolution with a Typeful Version Control System. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro |
Relating Session Types and Behavioural Contracts: The Asynchronous Case. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
Using Relational Verification for Program Slicing. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ring, Christoph Lüth |
Let's Prove It Later - Verification at Different Points in Time. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi 0001, Augusto Sampaio |
Multi-objective Search for Effective Testing of Cyber-Physical Systems. |
SEFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi |
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schulze 0001, Rance Cleaveland, Mikael Lindvall |
Automated Specification Extraction and Analysis with Specstractor. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser |
Monte Carlo Tree Search for Finding Costly Paths in Programs. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Rashid, Umair Siddique, Osman Hasan |
Formal Verification of Platoon Control Strategies. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün |
Counterexample Simplification for Liveness Property Violation. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin |
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
From Software Specifications to Constraint Programming. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Campeanu |
Facilitating Component Reusability in Embedded Systems with GPUs. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná |
Online Enumeration of All Minimal Inductive Validity Cores. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll 0001 |
Graph-Based Shape Analysis Beyond Context-Freeness. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim |
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman |
We Need a Testability Transformation Semantics. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai |
A Cloud-Based Execution Framework for Program Analysis. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
Program Verification for Exception Handling on Active Objects Using Futures. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Ina Schaefer (eds.) |
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schupp, Erika Ábrahám |
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rijnard van Tonder, Claire Le Goues |
Cross-Architecture Lifter Synthesis. |
SEFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar |
Formalizing Timing Diagram Requirements in Discrete Duration Calculus. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Bernasconi 0002, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
From Model Checking to a Temporal Proof for Partial Models. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs |
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
Compositional Verification of Interlocking Systems for Large Stations. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto |
On Approximate Diagnosability of Metric Systems. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | N. V. Narendra Kumar, R. K. Shyamasundar |
A Complete Generative Label Model for Lattice-Based Access Control Models. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
A Diagnosis Framework for Critical Systems Verification (Short Paper). |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
Focused Certification of an Industrial Compilation and Static Verification Toolchain. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marjan Sirjani (eds.) |
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ricardo dos Santos, Silvio Ranise |
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Rosemary Monahan, James F. Power |
Specification Clones: An Empirical Study of the Structure of Event-B Specifications. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonatan Wiik, Pontus Boström |
Specification and Automated Verification of Dynamic Dataflow Networks. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Greiner, Martin Mohr, Bernhard Beckert |
Modular Verification of Information Flow Security in Component-Based Systems. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, José Creissac Campos |
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Paul Attard, Adrian Francalanza |
Trace Partitioning and Local Monitoring for Asynchronous Components. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guglielmo Fachini, Alberto Momigliano |
Validating the Meta-Theory of Programming Languages (Short Paper). |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos |
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peizun Liu, Thomas Wahl |
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
User Studies of Principled Model Finder Output. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Märcker, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz |
Computing Conditional Probabilities: Implementation and Evaluation. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
SMT-Based Automatic Proof of ASM Model Refinement. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Zhang, Zongyan Qiu |
Coq Implementation of OO Verification Framework VeriJ. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli |
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz |
Combining Predicate Abstraction with Fixpoint Approximations. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer |
Correlating Structured Inputs and Outputs in Functional Specifications. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Gereon Kremer |
Satisfiability Checking: Theory and Applications. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder |
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license