| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
QNNRepair: Quantized Neural Network Repair.  |
SEFM  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Dyck, Cedric Richter, Heike Wehrheim |
Robustness Testing of Software Verifiers. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga |
Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Korn, Julián Méndez 0001, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt |
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor |
Guiding Symbolic Execution with A-Star. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Marco Scaletta, Eduard Kamburjan |
Herding CATs. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Egolf, Stavros Tripakis |
Decoupled Fitness Criteria for Reactive Systems. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Sallinger, Georg Weissenbacher, Florian Zuleger |
A Formalization of Heisenbugs and Their Causes. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Ferreira 0001, Tim A. C. Willemse (eds.) |
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Thoben, Jan Haltermann, Heike Wehrheim |
Timeout Prediction for Software Analyses. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Billy Thornton |
SSCalc: A Calculus for Solidity Smart Contracts. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Alexandrina Korneva |
The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga |
sfATM: A Logic for Quantitative Security Properties on Attack Trees. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
Ranged Program Analysis via Instrumentation. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski |
Exact and Efficient Bayesian Inference for Privacy Risk Quantification. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandip Ghosal, Bengt Jonsson 0001, Philipp Rümmer |
An Active Learning Approach to Synthesizing Program Contracts. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
Refinements for Open Automata. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
Capturing Smart Contract Design with DCR Graphs. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Semenyuk, Mark Batty, Brijesh Dongol |
Verifying Read-Copy Update Under RC11. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivia Proust, Frédéric Loulergue |
Verified Scalable Parallel Computing with Why3. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Nivon, Gwen Salaün |
Refactoring of Multi-instance BPMN Processes with Time and Resources. |
SEFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Galindo 0002, Jens Krinke, Sergio Pérez 0001, Josep Silva |
Field-Sensitive Program Slicing. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Miedema, Clemens Grelck |
Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz |
Neural Network Verification Using Residual Reasoning. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Martin Spiessl, Sven Umbricht |
Cooperation Between Automatic and Interactive Software Verifiers. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li 0031, Zhilin Wu, David N. Jansen, Lijun Zhang 0001 |
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Cerqueira, Alcino Cunha, Nuno Macedo |
Timely Specification Repair for Alloy 6. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen |
Weighted Games for User Journeys. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson |
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe 0001 |
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Galindo 0002, Sergio Pérez 0001, Josep Silva |
A Program Slicer for Java (Tool Paper). |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Serbinowski, Taylor T. Johnson |
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |
Information Flow Control-by-Construction for an Object-Oriented Language. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Mues, Falk Howar, Simon Dierl |
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Ferrando 0001, Vadim Malvone |
Runtime Verification with Imperfect Information Through Indistinguishability Relations. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law |
Safety Controller Synthesis for a Mobile Manufacturing Cobot. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Rasheed, Michal Konecný |
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Irman Faqrizal, Gwen Salaün |
Runtime Enforcement for IEC 61499 Applications. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd-Holger Schlingloff, Ming Chai (eds.) |
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler |
Constrained Training of Recurrent Neural Networks for Automata Learning. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
A Query Language for Language Analysis. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Haltermann, Heike Wehrheim |
Information Exchange Between Over- and Underapproximating Software Analyses. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl |
A Unifying Approach for Control-Flow-Based Loop Abstraction. |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Namrata Jain, Kosuke Kaneko, Subodh Sharma 0001 |
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). |
SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio |
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Achim D. Brucker |
A Denotational Semantics of Solidity in Isabelle/HOL. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Krafczyk, Jan Peleska 0001 |
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Loek Cleophas, Mieke Massink (eds.) |
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Bechberger, Alexander Weigl |
Upper Bound Computation of Information Leakages for Unbounded Recursion. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cole Vick, Eunsuk Kang, Stavros Tripakis |
Counterexample Classification. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill |
Active Model Learning of Stochastic Reactive Systems. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Hoppen, Thomas Noll 0001 |
A Debugger for Probabilistic Programs. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stella Simic, Omar Inverso, Mirco Tribastone |
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle |
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
Mining Shape Expressions with ShapeIt. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Kauffman |
nfer - A Tool for Event Stream Abstraction. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, James Baxter 0001, Gustavo Carvalho |
RoboWorld: Where Can My Robot Work? |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Moran Omer, Doron Peled |
Monitoring First-Order Interval Logic. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Probabilistic BDI Agents: Actions, Plans, and Intentions. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Lightweight Nontermination Inference with CHCs. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Jay Le-Papin |
Checking Opacity and Durable Opacity with FDR. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Colvin |
Parallelized Sequential Composition and Hardware Weak Memory Models. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
Validating Safety Arguments with Lean. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
Refining Privacy-Aware Data Flow Diagrams. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Pasqua, Marino Miculan |
On the Security and Safety of AbU Systems. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Corina S. Pasareanu (eds.) |
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Pontiggia, Michele Chiari, Matteo Pradella |
Verification of Programs with Exceptions Through Operator Precedence Automata. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
Translation of CCS into CSP, Correct up to Strong Bisimulation. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Hofmann, Stefan Schupp |
TACoS: A Tool for MTL Controller Synthesis. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Geraldo, José Fragoso Santos, João Costa Seco |
Hybrid Information Flow Control for Low-Level Code. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker |
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser |
Configuration Space Exploration for Digital Printing Systems. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Gwen Salaün |
Runtime Enforcement with Reordering, Healing, and Suppression. |
SEFM |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach |
A Formal Modeling Approach for Portable Low-Level OS Functionality. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Julián Huerta y Munive |
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar |
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Soethout, Tijs van der Storm, Jurgen J. Vinju |
Automated Validation of State-Based Client-Centric Isolation with TLA+. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Braüner, Aishwarya Ghosh, Sujata Ghosh |
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot |
Cosimulation-Based Control Synthesis. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaela Giovagnoli |
A Pragmatic Model of Justification for Social Epistemology. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi 0001 |
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam |
From Requirements to Verifiable Executable Models Using Rebeca. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo |
Introducing Regression Tests and Upgrades to the INTO-CPS Application. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schnetzer Fava |
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed |
Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001 |
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Lounis, Samir Ouchani |
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Aranda García, María-Emilia Cambronero, Christian Colombo 0001, Luis Llana, Gordon J. Pace |
Runtime Verification of Contracts with Themulus. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Becchi, Alessandro Cimatti, Enea Zaffanella |
Synthesis of P-Stable Abstractions. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiro Maruyama |
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Marie-Christine Jakobs, Thomas Lemberger 0002 |
Difference Verification with Conditions. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura R. Humphrey, James Hamil, Joffrey Huguet |
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner |
Model Translation from Papyrus-RT into the nuXmv Model Checker. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos |
Statically Checking REST API Consumers. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Antonio Cerone (eds.) |
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Liboni, Julien Deantoni |
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri |
Reasoning About Ignorance and Beliefs. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatima Shokri-Manninen, Jüri Vain, Marina Waldén |
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Eduardo de Souza Amorim, Eelco Visser |
Multi-purpose Syntax Definition with SDF3. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license