Erika Ábrahám

228 papers A* 3A 8B 25C 12Misc 10Journal 71Unranked 89

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Why do women pursue a Ph.D. in Computer Science? J. Syst. Softw. Erika Ábrahám, Miguel Goulão, Milena Vujosevic-Janicic, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Ozge Buyukdagli, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, Larissa Schmid
2025	J	`jnl`	A Hyperlogic for Strategies in Stochastic Games (Extended Version). CoRR Lina Gerlach, Christof Löding, Erika Ábrahám
2025	—	`conf`	A Hyperlogic for Strategies in Stochastic Games. QEST+FORMATS Lina Gerlach, Christof Löding, Erika Ábrahám
2025	—	`conf`	A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination. SC-Square@CADE Jasper Nalbach, Erika Ábrahám
2025	J	`jnl`	A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination. CoRR Jasper Nalbach, Erika Ábrahám
2025	—	`conf`	Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification. RP László Antal, Franz Link, Erika Ábrahám
2025	A*	`conf`	Counterfactual Strategies for Markov Decision Processes. IJCAI Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Counterfactual Strategies for Markov Decision Processes. CoRR Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Efficient Probabilistic Model Checking for Relational Reachability (Extended Version). CoRR Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025	—	`conf`	Efficient Probabilistic Model Checking for Relational Reachability. CAV (1) Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025	J	`jnl`	FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex. Log. Methods Comput. Sci. Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka
2025	J	`jnl`	Generalizing neural network verification to the family of piece-wise linear activation functions. Sci. Comput. Program. László Antal, Erika Ábrahám, Hana Masara
2025	J	`jnl`	Introduction to the Special Issue on QEST 2022, Part 2. ACM Trans. Model. Comput. Simul. Erika Ábrahám, Marco Paolieri
2025	J	`jnl`	Maximizing reachability probabilities in rectangular automata with random events. Sci. Comput. Program. Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe
2025	A	`conf`	More is Less: Adding Polynomials for Faster Explanations in NLSAT. CADE Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Wagner
2025	J	`jnl`	More is Less: Adding Polynomials for Faster Explanations in NLSAT. CoRR Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Wagner
2025	J	`jnl`	Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). Sci. Comput. Program. Hossein Hojjat, Erika Ábrahám
2025	—	`conf`	Probabilistic Counterexamples Through the Ages. Principles of Formal Quantitative Analysis Erika Ábrahám, Nils Jansen, Simon Jantsch
2025	—	`conf`	Projective Delineability for Single Cell Construction. SC-Square@CADE Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025	J	`jnl`	Projective Delineability for Single Cell Construction. CoRR Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
2025	J	`jnl`	Reachability analysis of Hybrid Rebeca models. J. Syst. Archit. Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani
2025	B	`ed.`	Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings RV Erika Ábrahám, Houssam Abbas
2025	J	`jnl`	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. CoRR Jonas Stübbe, Anne Remke, Erika Ábrahám
2025	J	`jnl`	Why do women pursue a PhD in Computer Science? CoRR Erika Ábrahám, Miguel Goulão, Milena Vujosevic-Janicic, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Ozge Buyukdagli, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, Larissa Schmid
2024	—	`conf`	(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. Principles of Verification (3) Lisa Willemsen, Anne Remke, Erika Ábrahám
2024	—	`conf`	A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. FM (1) Valentin Promies, Erika Ábrahám
2024	—	`conf`	A European Project on AI-based Robotics. TALE Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gábor Kusper, Sorin Stratulat
2024	J	`jnl`	Hybrid Rebeca Revisited. CoRR Saeed Zhiany, Fatemeh Ghassemi, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani
2024	J	`jnl`	Introduction to the Special Issue on QEST 2022, Part 1. ACM Trans. Model. Comput. Simul. Erika Ábrahám, Marco Paolieri
2024	J	`jnl`	Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection. CoRR Martin Aubard, László Antal, Ana Madureira, Erika Ábrahám
2024	J	`jnl`	Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2024	B	`conf`	Merging Adjacent Cells During Single Cell Construction. CASC Jasper Nalbach, Erika Ábrahám
2024	Misc	`conf`	On Projective Delineability. SYNASC Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024	J	`jnl`	On Projective Delineability. CoRR Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England
2024	J	`jnl`	On the applicability of hybrid systems safety verification tools from the automotive perspective. Int. J. Softw. Tools Technol. Transf. Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
2024	J	`jnl`	Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2024	—	`ed.`	Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024 HSCC Erika Ábrahám, Manuel Mazo Jr.
2024	J	`jnl`	ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection. CoRR Martin Aubard, László Antal, Ana Madureira, Luís F. Teixeira, Erika Ábrahám
2024	—	`conf`	Under-Approximation of a Single Algebraic Cell (Extended Abstract). PAAR+SC²@IJCAR Valentin Promies, Jasper Nalbach, Erika Ábrahám
2023	—	`conf`	Automated Exercise Generation for Satisfiability Checking. FMTea Erika Ábrahám, Jasper Nalbach, Valentin Promies
2023	—	`conf`	Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST Lisa Willemsen, Anne Remke, Erika Ábrahám
2023	J	`jnl`	Comparing Two Approaches to Include Stochasticity in Hybrid Automata. CoRR Lisa Willemsen, Anne Remke, Erika Ábrahám
2023	—	`conf`	Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
2023	J	`jnl`	Exploiting Strict Constraints in the Cylindrical Algebraic Covering. CoRR Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
2023	—	`conf`	Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. FMAS@iFM László Antal, Hana Masara, Erika Ábrahám
2023	J	`jnl`	FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). CoRR Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
2023	—	`conf`	FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
2023	—	`ed.`	Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers FSEN Hossein Hojjat, Erika Ábrahám
2023	J	`jnl`	Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa
2023	—	`conf`	Introducing Asynchronicity to Probabilistic Hyperproperties. QEST Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023	J	`jnl`	Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023	Misc	`conf`	Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023	J	`jnl`	Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. CoRR Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023	—	`ed.`	Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. SC-Square@ISSAC Erika Ábrahám, Thomas Sturm
2023	B	`conf`	SMT: Something You Must Try. iFM Erika Ábrahám, József Kovács, Anne Remke
2023	—	`conf`	Subtropical Satisfiability for SMT Solving. NFM Jasper Nalbach, Erika Ábrahám
2023	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings ICTAC Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
2022	—	`conf`	Acceleration Techniques for Symbolic Simulation of Railway Timetables. RSSRail Rebecca Haehn, Erika Ábrahám, Niklas Kotowski
2022	C	`conf`	Experiments with Automated Reasoning in the Class. CICM Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
2022	B	`conf`	HyperPCTL Model Checking by Probabilistic Decomposition. IFM Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
2022	J	`jnl`	Levelwise construction of a single cylindrical algebraic cell. CoRR Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
2022	J	`jnl`	Model checking hyperproperties for Markov decision processes. Inf. Comput. Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022	J	`jnl`	New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio
2022	—	`conf`	Probabilistic Hyperproperties with Rewards. NFM Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022	—	`ed.`	Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings QEST Erika Ábrahám, Marco Paolieri
2022	J	`jnl`	Recent developments in theory and tool support for hybrid systems verification with HyPro. Inf. Comput. Stefan Schupp, Erika Ábrahám, Tristan Ebert
2021	—	`conf`	ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2021	C	`conf`	Controller verification meets controller code: a case study. MEMOCODE Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
2021	J	`jnl`	Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebraic Methods Program. Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2021	B	`conf`	Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. ISSAC Jasper Nalbach, Erika Ábrahám, Gereon Kremer
2021	B	`conf`	HyperProb: A Model Checker for Probabilistic Hyperproperties. FM Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2021	Misc	`conf`	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
2021	J	`jnl`	On the proof complexity of MCSAT. CoRR Gereon Kremer, Erika Ábrahám, Vijay Ganesh
2021	—	`conf`	Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. ARCADE@CADE Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2021	J	`jnl`	Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2021	—	`conf`	Robot Swarms as Hybrid Systems: Modelling and Verification. SNR Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
2021	—	`conf`	Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. QEST Rebecca Haehn, Erika Ábrahám, Nils Nießen
2020	—	`conf`	A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. NFM Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám
2020	—	`conf`	Abstract domains in SMT solving for real algebra (invited talk). NSAD@SAS Erika Ábrahám
2020	J	`jnl`	Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. CoRR Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
2020	—	`conf`	Freight Train Scheduling in Railway Systems. MMB Rebecca Haehn, Erika Ábrahám, Nils Nießen
2020	J	`jnl`	Fully incremental cylindrical algebraic decomposition. J. Symb. Comput. Gereon Kremer, Erika Ábrahám
2020	J	`jnl`	New Opportunities for the Formal Proof of Computational Real Geometry? CoRR Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
2020	—	`conf`	New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
2020	A*	`conf`	Optimal Planning Modulo Theories. IJCAI Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
2020	B	`conf`	Parameter Synthesis for Probabilistic Hyperproperties. LPAR Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	B	`conf`	Probabilistic Hyperproperties with Nondeterminism. ATVA Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	J	`jnl`	Probabilistic Hyperproperties with Nondeterminism. CoRR Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	C	`conf`	Probabilistic Simulation of a Railway Timetable. ATMOS Rebecca Haehn, Erika Ábrahám, Nils Nießen
2019	C	`conf`	Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
2019	J	`jnl`	Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2019	C	`conf`	Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. FMICS Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2019	J	`jnl`	Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. CoRR Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2019	—	`conf`	On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. SC-square@SIAM AG Jasper Nalbach, Gereon Kremer, Erika Ábrahám
2019	—	`conf`	On the Proof Complexity of MCSAT. SC-square@SIAM AG Gereon Kremer, Erika Ábrahám, Vijay Ganesh
2019	J	`jnl`	Parameter Synthesis for Markov Models. CoRR Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2018	—	`ed.`	2018 IEEE/ACM 1st International Workshop on Gender Equality in Software Engineering, GE@ICSE, Gothenburg, Sweden, May 28, 2018 GE@ICSE Erika Ábrahám, Elisabetta Di Nitto, Raffaela Mirandola
2018	Misc	`conf`	Context-Dependent Reachability Analysis for Hybrid Systems. IRI Stefan Schupp, Justin Winkens, Erika Ábrahám
2018	—	`conf`	Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. TACAS (2) Stefan Schupp, Erika Ábrahám
2018	—	`conf`	Evaluation of Equational Constraints for CAD in SMT Solving. SC-Square@FLOC Rebecca Haehn, Gereon Kremer, Erika Ábrahám
2018	B	`conf`	Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. FM Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
2018	—	`conf`	HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. QEST Erika Ábrahám, Borzoo Bonakdarpour
2018	J	`jnl`	HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. CoRR Erika Ábrahám, Borzoo Bonakdarpour
2018	J	`jnl`	SMarTplan: a Task Planner for Smart Factories. CoRR Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
2018	B	`conf`	Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. SEFM Stefan Schupp, Erika Ábrahám
2018	B	`conf`	Task Planning with OMT: An Application to Production Logistics. IFM Francesco Leofante, Erika Ábrahám, Armando Tacchella
2018	B	`conf`	Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. FM Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2017	—	`conf`	Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám
2017	—	`conf`	Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. SC²@ISSAC Tarik Viehmann, Gereon Kremer, Erika Ábrahám
2017	J	`jnl`	Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella
2017	—	`conf`	Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. QAPL Stefan Schupp, Johanna Nellen, Erika Ábrahám
2017	—	`conf`	Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. SC²@ISSAC Erika Ábrahám, Jasper Nalbach, Gereon Kremer
2017	—	`conf`	HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
2017	Misc	`conf`	On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017	J	`jnl`	On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017	—	`ed.`	Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. SNR@ETAPS Erika Ábrahám, Sergiy Bogomolov
2017	—	`ed.`	Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. SC²@SYNASC Erika Ábrahám, James H. Davenport, Pascal Fontaine
2017	—	`conf`	SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
2017	Misc	`conf`	SMT Solving for Arithmetic Theories: Theory and Tool Support. SYNASC Erika Ábrahám, Gereon Kremer
2016	B	`conf`	A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. CASC Gereon Kremer, Florian Corzilius, Erika Ábrahám
2016	—	`conf`	Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
2016	—	`conf`	Heliostat Field Layout Optimization with Evolutionary Algorithms. GCAI Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám
2016	B	`ed.`	Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings IFM Erika Ábrahám, Marieke Huisman
2016	J	`jnl`	Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2016	J	`jnl`	Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen
2016	—	`conf`	Parameter Synthesis for Probabilistic Systems. MBMV Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016	C	`conf`	SC CICM Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability Checking and Symbolic Computation. CoRR Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	B	`conf`	Satisfiability Checking: Theory and Applications. SEFM Erika Ábrahám, Gereon Kremer
2016	J	`jnl`	Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. Erika Ábrahám, Klaus Havelund
2016	Misc	`conf`	Symbolic Computation Techniques in Satisfiability Checking. SYNASC Erika Ábrahám
2016	—	`ed.`	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Theory and Practice of Formal Methods Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen
2016	J	`jnl`	Two CEGAR-based approaches for the safety verification of PLC-controlled plants. Inf. Syst. Frontiers Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters
2016	Misc	`conf`	Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
2015	—	`conf`	A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
2015	—	`ch.`	A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. Formalisms for Reuse and Systems Integration Johanna Nellen, Erika Ábrahám, Benedikt Wolters
2015	—	`conf`	A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. GCAI Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám
2015	—	`conf`	A Greedy Approach for the Efficient Repair of Stochastic Models. NFM Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
2015	B	`conf`	Building Bridges between Symbolic Computation and Satisfiability Checking. ISSAC Erika Ábrahám
2015	B	`conf`	Counterexamples for Expected Rewards. FM Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015	—	`conf`	Current Challenges in the Verification of Hybrid Systems. CyPhy Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2015	—	`conf`	Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám
2015	J	`jnl`	Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Sci. Comput. Program. Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2015	J	`jnl`	High-level Counterexamples for Probabilistic Automata Log. Methods Comput. Sci. Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015	C	`conf`	Learning-based control strategies for hybrid electric vehicles. CCA Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger
2015	—	`conf`	PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015	—	`conf`	Preparing HPC Applications for Exascale: Challenges and Recommendations. NBiS Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015	J	`jnl`	Preparing HPC Applications for Exascale: Challenges and Recommendations. CoRR Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015	A	`conf`	SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. SAT Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám
2015	J	`jnl`	Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Sci. Comput. Program. Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2015	J	`jnl`	Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang
2014	Misc	`conf`	A CEGAR approach for the reachability analysis of PLC-controlled chemical plants. IRI Johanna Nellen, Erika Ábrahám
2014	—	`conf`	Accelerating Parametric Probabilistic Verification. QEST Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014	—	`conf`	Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014	B	`conf`	Fast Debugging of PRISM Models. ATVA Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
2014	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings FORTE Erika Ábrahám, Catuscia Palamidessi
2014	—	`conf`	Maybe or Maybe Not: Contributions to Stochastic Verification. Aspekte der Technischen Informatik Ralf Wimmer, Erika Ábrahám
2014	J	`jnl`	Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014	J	`jnl`	Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Dagstuhl Reports Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders
2014	J	`jnl`	Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
2014	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings TACAS Erika Ábrahám, Klaus Havelund
2014	B	`conf`	Under-approximate flowpipes for non-linear continuous systems. FMCAD Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám
2013	A	`conf`	A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
2013	B	`conf`	A Timed CTL Model Checker for Real-Time Maude. CALCO Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2013	J	`jnl`	Accelerating Parametric Probabilistic Verification. CoRR Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013	—	`conf`	Counterexample Generation for Hybrid Automata. FTSCS Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
2013	A*	`conf`	Flow*: An Analyzer for Non-linear Hybrid Systems. CAV Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
2013	A	`conf`	From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám
2013	—	`conf`	High-Level Counterexamples for Probabilistic Automata. QEST Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013	—	`conf`	Lyapunov Function Synthesis Using Handelman Representations. NOLCOS Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2013	—	`conf`	On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. CAI Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
2013	—	`conf`	Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
2012	—	`conf`	Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2012	—	`conf`	Hybrid Sequential Function Charts. MBMV Johanna Nellen, Erika Ábrahám
2012	—	`conf`	Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
2012	A	`conf`	Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
2012	A	`conf`	SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). SAT Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám
2012	—	`conf`	Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
2012	A	`conf`	Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
2012	B	`conf`	The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012	J	`jnl`	The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains CoRR Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012	—	`conf`	Timed CTL Model Checking in Real-Time Maude. WRLA Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2011	—	`conf`	Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) Xin Chen, Erika Ábrahám
2011	—	`conf`	Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011	—	`conf`	Efficient Bounded Reachability Computation for Rectangular Automata. RP Xin Chen, Erika Ábrahám, Goran Frehse
2011	—	`conf`	GiNaCRA: A C++ Library for Real Algebraic Computations. NASA Formal Methods Ulrich Loup, Erika Ábrahám
2011	B	`conf`	Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2011	—	`conf`	I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. CAI Ulrich Loup, Erika Ábrahám
2011	B	`conf`	Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2011	—	`conf`	On collaboratively conveying computer science to pupils. Koli Calling Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder
2011	—	`conf`	Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. ICANNGA (1) Pascal Richter, Erika Ábrahám, Gabriel Morin
2011	J	`jnl`	Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2011	—	`conf`	SMT-based Counterexample Generation for Markov Chains. MBMV Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011	B	`conf`	Virtual Substitution for SMT-Solving. FCT Florian Corzilius, Erika Ábrahám
2010	—	`conf`	A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Verification over discrete-continuous boundaries Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm
2010	—	`conf`	A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky
2010	—	`conf`	Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. TTSS Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2010	—	`conf`	DTMC Model Checking by SCC Reduction. QEST Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2010	—	`conf`	Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
2010	—	`conf`	Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
2010	—	`conf`	Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder
2010	—	`conf`	Synthesis of behavioral controllers for DES: Increasing efficiency. WODES Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel
2010	J	`jnl`	The Scalasca performance toolset architecture. Concurr. Comput. Pract. Exp. Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Bernd Mohr
2009	J	`jnl`	Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebraic Methods Program. Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen
2009	Misc	`conf`	Picoso - A Parallel Interval Constraint Solver. PDPTA Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
2009	—	`conf`	SMT-Solving for the First-Order Theory of the Reals. Algorithms and Applications for Next Generation SAT Solvers Erika Ábrahám, Ulrich Loup
2008	J	`jnl`	A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2008	J	`jnl`	Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. Erika Ábrahám, Andreas Grüner, Martin Steffen
2008	J	`jnl`	Heap-abstraction for an object-oriented calculus with thread classes. Softw. Syst. Model. Erika Ábrahám, Andreas Grüner, Martin Steffen
2008	—	`conf`	Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications. Parallel Tools Workshop Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Wolfgang Frings, Karl Fürlinger, Markus Geimer, Marc-André Hermanns, Bernd Mohr, Shirley Moore, Matthias Pfeifer, Zoltán Szebenyi
2007	C	`conf`	On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
2006	—	`conf`	Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS Erika Ábrahám, Andreas Grüner, Martin Steffen
2006	—	`conf`	Bounded Model Checking with Parametric Data Structures. BMC@FLoC Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006	C	`conf`	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE Erika Ábrahám, Andreas Grüner, Martin Steffen
2006	—	`conf`	Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006	—	`conf`	Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2005	—	`—`	An Assertional Proof System for Multithreaded Java - Theory and Tool Support. Erika Ábrahám
2005	J	`jnl`	An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	—	`conf`	Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	B	`conf`	Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
2004	—	`conf`	A Fully Abstract Semantics for UML Components. FMCO Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
2004	C	`conf`	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
2004	—	`conf`	Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
2003	—	`conf`	A Compositional Operational Semantics for Java Verification: Theory and Practice Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2003	—	`conf`	Inductive Proof Outlines for Monitors in Java. FMOODS Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2002	—	`conf`	A Tool-Supported Proof System for Multithreaded Java. FMCO Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen