Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam |
Hoare-Style Logic for Unstructured Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 193-213, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
Sound C Code Decompilation for a Subset of x86-64 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 247-264, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures |
Code Coverage Aware Test Generation Using Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 58-66, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cerone, Diana Murzagaliyeva |
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 159-175, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Marie-Christine Jakobs |
FRed: Conditional Model Checking via Reducers and Folders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 113-132, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Barbara Russo |
Model-Based Testing Under Parametric Variability of Uncertain Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 175-192, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Allen Alexander |
Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 201-213, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin |
Modelling Train Driver Behaviour in Railway Co-simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 249-262, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 233-248, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 108-117, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Kahle |
The Intensional Structure of Epistemic Convictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 192-200, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Danil Razeev |
Personal Identity and False Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 100-107, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 284-302, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Cignarale, Giuseppe Primiero |
A Multi-Agent Depth Bounded Boolean Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 176-191, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda |
Modeling and Verification of Temporal Constraints for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 21-29, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse |
An Interdisciplinary Model for Graphical Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, pp. 147-158, 2020, Springer, 978-3-030-67219-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vladimír Still, Jiri Barnat |
Local Nontermination Detection for Parallel C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 373-390, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 333-349, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![Springer, 978-3-030-30445-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 105-124, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 393-409, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dorottya Papp, Thorsten Tarrach, Levente Buttyán |
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 491-509, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gleirscher, Simon Foster 0001, Yakoub Nemouchi |
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 87-104, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florent Avellaneda, Alexandre Petrenko |
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 243-256, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | I. S. W. B. Prasetya, Rick Klomp |
Test Model Coverage Analysis Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 222-239, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher |
Mutation Testing with Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 203-221, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 471-490, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira |
Efficient Formal Verification for the Linux Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 315-332, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen |
Asynchronous Cooperative Contracts for Cooperative Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 48-66, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs, Maciej Wilkowski |
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 410-429, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kawamoto 0001 |
Towards Logical Specification of Statistical Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 293-311, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 257-272, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst |
Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 3-25, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
An Operational Guide to Monitorability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 433-453, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Dubslaff |
Compositional Feature-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 162-180, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
Automatic Failure Explanation in CPS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 69-86, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luka Le Roux, Ciprian Teodorov |
Partially Bounded Context-Aware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 532-548, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Burkhart Wolff |
Isabelle/DOF: Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 275-292, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 127-144, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 513-531, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luis Carvalho, João Costa Seco |
Software Evolution with a Typeful Version Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 145-161, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Gianluigi Zavattaro |
Relating Session Types and Behavioural Contracts: The Asynchronous Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 29-47, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
Using Relational Verification for Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 353-372, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ring, Christoph Lüth |
Let's Prove It Later - Verification at Different Points in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 454-468, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 183-202, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yunja Choi |
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 254-268, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Schulze 0001, Rance Cleaveland, Mikael Lindvall |
Automated Specification Extraction and Analysis with Specstractor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 37-53, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 123-138, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 205-220, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Rashid, Umair Siddique, Osman Hasan |
Formal Verification of Platoon Control Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 223-238, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün |
Counterexample Simplification for Liveness Property Violation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 173-188, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 54-69, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
From Software Specifications to Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 21-36, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Campeanu |
Facilitating Component Reusability in Embedded Systems with GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 287-301, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná |
Online Enumeration of All Minimal Inductive Validity Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 189-204, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll 0001 |
Graph-Based Shape Analysis Beyond Context-Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 271-286, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 105-120, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Harman |
We Need a Testability Transformation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 3-17, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 139-154, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
Program Verification for Exception Handling on Active Objects Using Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 73-88, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![Springer, 978-3-319-92969-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schupp, Erika Ábrahám |
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 89-104, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 239-253, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rijnard van Tonder, Claire Le Goues |
Cross-Architecture Lifter Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 155-170, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar |
Formalizing Timing Diagram Requirements in Discrete Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 253-268, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 54-69, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs |
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 120-135, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
Compositional Verification of Interlocking Systems for Large Stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 236-252, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 375-381, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto |
On Approximate Diagnosability of Metric Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 269-283, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | N. V. Narendra Kumar, R. K. Shyamasundar |
A Complete Generative Label Model for Lattice-Based Access Control Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 35-53, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
A Diagnosis Framework for Critical Systems Verification (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 394-400, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 332-348, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 17-34, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![Springer, 978-3-319-66196-4 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ricardo dos Santos, Silvio Ranise |
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 203-218, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 401-407, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 152-167, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 388-393, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonatan Wiik, Pontus Boström |
Specification and Automated Verification of Dynamic Dataflow Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 136-151, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Greiner, Martin Mohr, Bernhard Beckert |
Modular Verification of Information Flow Security in Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 300-315, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 382-387, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 87-103, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 1-16, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 284-299, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Paul Attard, Adrian Francalanza |
Trace Partitioning and Local Monitoring for Asynchronous Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 219-235, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 185-202, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guglielmo Fachini, Alberto Momigliano |
Validating the Meta-Theory of Programming Languages (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 367-374, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 70-86, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peizun Liu, Thomas Wahl |
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 316-331, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
User Studies of Principled Model Finder Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 168-184, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 104-119, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Märcker, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz |
Computing Conditional Probabilities: Implementation and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 349-366, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
SMT-Based Automatic Proof of ASM Model Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 253-269, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ke Zhang, Zongyan Qiu |
Coq Implementation of OO Verification Framework VeriJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 270-276, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli |
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 347-366, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tuba Yavuz |
Combining Predicate Abstraction with Fixpoint Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 104-120, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer |
Correlating Structured Inputs and Outputs in Functional Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 85-103, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Gereon Kremer |
Satisfiability Checking: Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 9-23, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 234-252, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|