Erika Ábrahám

Proceedings of the Formal Methods - 26th International Symposium, 2024

Merging Adjacent Cells During Single Cell Construction.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2023

A-HyperProb.

[BibT_eX]

[DOI]

Dataset, May, 2023

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).

[BibT_eX]

[DOI]

Dagstuhl Reports, January, 2023

Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions.

[BibT_eX]

[DOI]

László Antal

Hana Masara

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Symposium on Games, 2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

Automated Exercise Generation for Satisfiability Checking.

[BibT_eX]

[DOI]

Valentin Promies

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Exploiting Strict Constraints in the Cylindrical Algebraic Covering.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

Comparing Two Approaches to Include Stochasticity in Hybrid Automata.

[BibT_eX]

[DOI]

Lisa Willemsen

Anne Remke

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Introducing Asynchronicity to Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Subtropical Satisfiability for SMT Solving.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

SMT: Something You Must Try.

[BibT_eX]

[DOI]

József Kovács

Anne Remke

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Recent developments in theory and tool support for hybrid systems verification with HyPro.

[BibT_eX]

[DOI]

Tristan Ebert

Inf. Comput., 2022

Model checking hyperproperties for Markov decision processes.

[BibT_eX]

[DOI]

Inf. Comput., 2022

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2022

Acceleration Techniques for Symbolic Simulation of Railway Timetables.

[BibT_eX]

[DOI]

Niklas Kotowski

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

Probabilistic Hyperproperties with Rewards.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Experiments with Automated Reasoning in the Class.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

HyperPCTL Model Checking by Probabilistic Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

Robot Swarms as Hybrid Systems: Modelling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies.

[BibT_eX]

[DOI]

Nils Nießen

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Controller verification meets controller code: a case study.

[BibT_eX]

[DOI]

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

Extending the Fundamental Theorem of Linear Programming for Strict Inequalities.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

HyperProb: A Model Checker for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021

2020

Fully incremental cylindrical algebraic decomposition.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

New Opportunities for the Formal Proof of Computational Real Geometry?

[BibT_eX]

[DOI]

CoRR, 2020

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Freight Train Scheduling in Railway Systems.

[BibT_eX]

[DOI]

Nils Nießen

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

Parameter Synthesis for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Optimal Planning Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

Probabilistic Hyperproperties with Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Probabilistic Simulation of a Railway Timetable.

[BibT_eX]

[DOI]

Nils Nießen

Proceedings of the 20th Symposium on Algorithmic Approaches for Transportation Modelling, 2020

2019

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2019

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

[BibT_eX]

[DOI]

CoRR, 2019

Parameter Synthesis for Markov Models.

[BibT_eX]

[DOI]

CoRR, 2019

On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

On the Proof Complexity of MCSAT.

[BibT_eX]

[DOI]

Vijay Ganesh

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

2018

SMarTplan: a Task Planner for Smart Factories.

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Evaluation of Equational Constraints for CAD in SMT Solving.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Context-Dependent Reachability Analysis for Hybrid Systems.

[BibT_eX]

[DOI]

Justin Winkens

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Task Planning with OMT: An Application to Production Logistics.

[BibT_eX]

[DOI]

Francesco Leofante

Armando Tacchella

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.

[BibT_eX]

[DOI]

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

SMT Solving for Arithmetic Theories: Theory and Tool Support.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.

[BibT_eX]

[DOI]

Ibtissem Ben Makhlouf

Stefan Kowalewski

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.

[BibT_eX]

[DOI]

Tarik Viehmann

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017

Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework.

[BibT_eX]

[DOI]

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

SC-square: when Satisfiability Checking and Symbolic Computation join forces.

[BibT_eX]

[DOI]

Proceedings of the ARCADE 2017, 2017

2016

Some recent advances in automated analysis.

[BibT_eX]

[DOI]

Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2016

Observable interface behaviour and inheritance.

[BibT_eX]

[DOI]

Thi Mai Thuong Tran

Math. Struct. Comput. Sci., 2016

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2016

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.

[BibT_eX]

[DOI]

Mohamed Amin Ben Sassi

IMA J. Math. Control. Inf., 2016

Satisfiability Checking meets Symbolic Computation (Project Paper).

[BibT_eX]

[DOI]

CoRR, 2016

Satisfiability checking and symbolic computation.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

Symbolic Computation Techniques in Satisfiability Checking.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Satisfiability Checking: Theory and Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Parameter Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Heliostat Field Layout Optimization with Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.

[BibT_eX]

[DOI]

Florian Corzilius

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.

[BibT_eX]

[DOI]

Benedikt Wolters

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

High-level Counterexamples for Probabilistic Automata

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

A Greedy Approach for the Efficient Repair of Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.

[BibT_eX]

[DOI]

Ibtissem Ben Makhlouf

Goran Frehse

Stefan Kowalewski

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Preparing HPC Applications for Exascale: Challenges and Recommendations.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

Building Bridges between Symbolic Computation and Satisfiability Checking.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs.

[BibT_eX]

[DOI]

Proceedings of the Global Conference on Artificial Intelligence, 2015

Counterexamples for Expected Rewards.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Current Challenges in the Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Ibtissem Ben Makhlouf

Goran Frehse

Stefan Kowalewski

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Flow* 1.2: More Effective to Play with Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Learning-based control strategies for hybrid electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014

Minimal counterexamples for linear-time probabilistic verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Symbolic counterexample generation for large discrete-time Markov chains.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Executable Software Models, 2014

Accelerating Parametric Probabilistic Verification.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

A CEGAR approach for the reachability analysis of PLC-controlled chemical plants.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Under-approximate flowpipes for non-linear continuous systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Maybe or Maybe Not: Contributions to Stochastic Verification.

[BibT_eX]

Ralf Wimmer

Proceedings of the Aspekte der Technischen Informatik, 2014

Fast Debugging of PRISM Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Lyapunov Function Synthesis Using Handelman Representations.

[BibT_eX]

[DOI]

Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

Stochastic Bounded Model Checking: Bounded Rewards and Compositionality.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.

[BibT_eX]

[DOI]

Yan Zhang

Fabio Somenzi

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Counterexample Generation for Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Flow*: An Analyzer for Non-linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

A Timed CTL Model Checker for Real-Time Maude.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013

2012

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains

[BibT_eX]

[DOI]

CoRR, 2012

Timed CTL Model Checking in Real-Time Maude.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Minimal Critical Subsystems for Discrete-Time Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Hybrid Sequential Function Charts.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Symbolic Counterexample Generation for Discrete-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

The COMICS Tool - Computing Minimal Counterexamples for DTMCs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Parallel SAT Solving in Bounded Model Checking.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Efficient Bounded Reachability Computation for Rectangular Automata.

[BibT_eX]

[DOI]

Goran Frehse

Proceedings of the Reachability Problems - 5th International Workshop, 2011

GiNaCRA: A C++ Library for Real Algebraic Computations.

[BibT_eX]

[DOI]

Ulrich Loup

Proceedings of the NASA Formal Methods, 2011

SMT-based Counterexample Generation for Markov Chains.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

On collaboratively conveying computer science to pupils.

[BibT_eX]

[DOI]

Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks.

[BibT_eX]

[DOI]

Pascal Richter

Gabriel Morin

Proceedings of the Adaptive and Natural Computing Algorithms, 2011

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Virtual Substitution for SMT-Solving.

[BibT_eX]

[DOI]

Florian Corzilius

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra.

[BibT_eX]

[DOI]

Ulrich Loup

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

Hierarchical Counterexamples for Discrete-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

The Scalasca performance toolset architecture.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2010

Synthesis of behavioral controllers for DES: Increasing efficiency.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

DTMC Model Checking by SCC Reduction.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Exploiting Different Strategies for the Parallelization of an SMT Solver.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2010, 2010

A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.

[BibT_eX]

[DOI]

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

2009

Behavioral interface description of an object-oriented language with futures and promises.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Picoso - A Parallel Interval Constraint Solver.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

SMT-Solving for the First-Order Theory of the Reals.

[BibT_eX]

[DOI]

Ulrich Loup

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2008

Heap-abstraction for an object-oriented calculus with thread classes.

[BibT_eX]

[DOI]

Andreas Grüner

Softw. Syst. Model., 2008

Abstract Interface Behavior of Object-Oriented Languages with Monitors.

[BibT_eX]

[DOI]

Andreas Grüner

Theory Comput. Syst., 2008

A Deductive Proof System for Multithreaded Java with Exceptions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications.

[BibT_eX]

[DOI]

Proceedings of the Tools for High Performance Computing, 2008

2007

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007

2006

Bounded Model Checking with Parametric Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006

Memory-aware Bounded Model Checking for Linear Hybrid Systems.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2005

An assertion-based proof system for multithreaded Java.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Inductive Proof Outlines for Exceptions in Multithreaded Java.

[BibT_eX]

[DOI]

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Optimizing Bounded Model Checking for Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

2004

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Andreas Grüner

Proceedings of the Formal Methods for Components and Objects, 2004

2003

Inductive Proof Outlines for Monitors in Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

A Compositional Operational Semantics for Java<sub>MT</sub>.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

Verification for Java's Reentrant Multithreading Concept.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2002

A Tool-Supported Proof System for Multithreaded Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Verification of Hybrid Systems: Formalization and Proof Rules in PVS.

[BibT_eX]

[DOI]

Ulrich Hannemann

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Assertion-Based Analysis of Hybrid Systems with PVS.

[BibT_eX]

[DOI]

Ulrich Hannemann

Proceedings of the Computer Aided Systems Theory, 2001

2000

Formal Methods for Reflective System Specification.

[BibT_eX]

Jan de Meer

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Proof-Outlines for Threads in Java.

[BibT_eX]

[DOI]