| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Idress Husien, Sven Schewe |
Program Generation Using Simulated Annealing and Model Checking.  |
SEFM  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Schwarz, Mads Dam |
Automatic Derivation of Platform Noninterference Properties. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone |
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anshul Gupta, Sven Schewe, Ashutosh Trivedi 0001, Sai Krishna Deepak Maram, Bharath Kumar Padarthi |
Incentive Stackelberg Mean-Payoff Games. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Gwen Salaün |
Stability-Based Adaptation of Asynchronously Communicating Software. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Zeller 0001, Arnd Poetzsch-Heffter |
Towards a Proof Framework for Information Systems with Weak Consistency. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, John Derrick |
Linearizability and Causality. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber 0001 |
Modularizing Crosscutting Concerns in Component-Based Systems. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dernehl, Norman Hansen, Stefan Kowalewski |
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná |
LTL Parameter Synthesis of Parametric Timed Automata. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Josselin Feist, Laurent Mounier, Marie-Laure Potet |
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta |
Tightening a Contract Refinement. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Jähnig, Thomas Göthel, Sabine Glesner |
Refinement-Based Verification of Communicating Unstructured Code. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, Christian Colombo 0001, Gordon J. Pace, Brian Vella |
Compliance Checking in the Open Payments Ecosystem. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Ladenberger, Michael Leuschel |
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná |
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha |
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge |
LTL Model Checking under Fairness in ProB. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001 |
Model Checking Simulation Rules for Linearizability. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hauzar, Claude Marché, Yannick Moy |
Counterexamples from Proof Failures in SPARK. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Eva Kühn (eds.) |
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Hanazumi, Ana Cristina Vieira de Melo |
On the Testability of Properties Patterns. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre |
Formal Analysis of Proactive, Distributed Routing. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Shen 0005, Rida A. Bazzi |
A Formal Study of Backward Compatible Dynamic Software Updates. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Roykrong Sukkerd, David Garlan, Reid G. Simmons |
Task Planning of Cyber-Human Systems. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Gabriel Dimech, Adrian Francalanza |
Investigating Instrumentation Techniques for ESB Runtime Verification. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Völlinger, Wolfgang Reisig |
Certification of Distributed Algorithms Solving Problems with Optimal Substructure. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tobias Mühlberg, David H. White 0001, Mike Dodds, Gerald Lüttgen, Frank Piessens |
Learning Assertions to Verify Linked-List Programs. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, Nisansala Yatapanage |
Reasoning about Separation Using Abstraction and Reification. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Jens Bendisposto, Michael Leuschel |
From Failure to Proof: The ProB Disprover for B and Event-B. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti 0001, Alexandre Mota 0001, Augusto Sampaio |
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zamira Daw, Rance Cleaveland |
An Extensible Operational Semantics for UML Activity Diagrams. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Carlos A. González, Jordi Cabot |
Towards Domain Refinement for UML/OCL Bounded Verification. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Artur Niewiadomski 0001, Wojciech Penczek |
Generating None-Plans in Order to Find Plans. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs |
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Bernhard Rumpe (eds.) |
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski |
History-Based Verification of Functional Behaviour of Concurrent Programs. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
Model-Based Robustness Testing in Event-B Using Mutation. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman |
Specification and Verification of Atomic Operations in GPGPU Programs. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marten Lohstroh, Edward A. Lee |
An Interface Theory for the Internet of Things. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi 0001 |
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan Larmuseau, Dave Clarke 0001 |
Formalizing a Secure Foreign Function Interface. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Efficient Testing of Different Loop Paths. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Rockai, Vladimír Still, Jiri Barnat |
Techniques for Memory-Efficient Model Checking of C and C++ Code. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gijs Vanspauwen, Bart Jacobs 0002 |
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. |
SEFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber 0001, Joseph Sifakis |
A General Framework for Architecture Composability. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Renaud Rioboo |
Verified Functional Iterators Using the FoCaLiZe Environment. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
Lightweight Program Construction and Verification Tools in Isabelle/HOL. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lovato, Damiano Macedonio, Fausto Spoto |
A Thread-Safe Library for Binary Decision Diagrams. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
A Two-Phase Static Analysis for Reliable Adaptation. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Carlo Ghezzi, Srdan Krstic |
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adilson Luiz Bonifácio, Arnaldo Vieira Moura |
Test Suite Completeness and Partial Models. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofia Cassel, Falk Howar, Bengt Jonsson 0001, Bernhard Steffen |
Learning Extended Finite State Machines. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Korecko, Ján Sorád, Zuzana Dudláková, Branislav Sobota |
A Toolset for Support of Teaching Formal Software Development. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta, Wei-Ngan Chin |
Completeness of Separation Logic with Inductive Definitions for Program Verification. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Wang, Tim Wahls |
Translating Event-B Machines to Database Applications. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarmen Keshishzadeh, Arjan J. Mooij |
Formalizing DSL Semantics for Reasoning and Conformance Testing. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivaylo Dobrikov, Michael Leuschel |
Optimising the ProB Model Checker for B Using Partial Order Reduction. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Gwen Salaün (eds.) |
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem |
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Robert Craven |
Automated Error-Detection and Repair for Compositional Software Specifications. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Christakis, Peter Müller 0001, Valentin Wüstholz |
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Grov, Peter Csaba Ölveczky |
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ka I Pun, Martin Steffen, Volker Stolz |
Effect-Polymorphic Behaviour Inference for Deadlock Checking. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota 0001, Adalberto Farias, André Didier, Jim Woodcock 0001 |
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Pardo, Gerardo Schneider |
A Formal Privacy Policy Framework for Social Networks. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hauzar, Jan Kofron |
WeVerca: Web Applications Verification for PHP. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadeusz Sznuk, Aleksy Schubert |
Tool Support for Teaching Hoare Logic. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño |
Execution and Verification of UML State Machines with Erlang. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Leroy |
Formal Proofs of Code Generation and Verification Tools. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet |
IKOS: A Framework for Static Analysis Based on Abstract Interpretation. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Reicherdt, Sabine Glesner |
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel |
More Flexible Object Invariants with Less Specification Overhead. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Fama Diagne, Amel Mammar, Marc Frappier |
A Tool for Verifying Dynamic Properties in B. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Becker 0001, Bernhard Schätz, Michael Armbruster, Christian Buckl |
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Percebois, Martin Strecker, Hanh Nhi Tran |
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Aman, Gabriel Ciobanu |
Real-Time Migration Properties of rTiMo Verified in Uppaal. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Mai Thuong Tran, Martin Steffen, Hoang Truong 0001 |
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Menad, Philippe Dhaussy |
A Transformation Approach for Multiform Time Requirements. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Sargolzaei, Francesco Santini 0001, Farhad Arbab, Hamideh Afsarmanesh |
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Gesell, Andreas Morgenstern, Klaus Schneider 0001 |
Lifting Verification Results for Preemption Statements. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gijs Vanspauwen, Bart Jacobs 0002 |
Sound Symbolic Linking in the Presence of Preprocessing. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock 0001 |
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
Zero Overhead Runtime Monitoring. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Model Checking of Security-Critical Applications in a Model-Driven Approach. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Michael Leuschel |
Inferring Physical Units in B Models. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.) |
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson |
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Ji, Reiner Hähnle, Richard Bubel |
Program Transformation Based on Symbolic Execution and Deduction. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong |
Run-Time Verification of Coboxes. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman |
{log} as a Test Case Generator for the Test Template Framework. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi |
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Iman Saleh 0002, Gregory Kulczycki, M. Brian Blake, Yi Wei 0002 |
Static Detection of Implementation Errors Using Formal Code Specification. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ornela Dardha, Elena Giachino, Michael Lienhardt |
A Type System for Components. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi 0001 |
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Radoslaw Klimek |
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson 0001 |
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license