Harald Ruess

CoRR, 2024

Efficient Reactive Synthesis.

[BibT_eX]

[DOI]

Xin Ye

CoRR, 2024

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs.

[BibT_eX]

[DOI]

CoRR, 2024

A Decision Method for Elementary Stream Calculus.

[BibT_eX]

[DOI]

CoRR, 2024

Causal Stream Inclusions.

[BibT_eX]

[DOI]

CoRR, 2024

A Decision Method for First-Order Stream Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Towards Rigorous Design of OoD Detectors.

[BibT_eX]

[DOI]

CoRR, 2023

Evidential Transactions with Cyberlogic.

[BibT_eX]

[DOI]

CoRR, 2023

Safety Performance of Neural Networks in the Presence of Covariate Shift.

[BibT_eX]

[DOI]

Konstantinos Theodorou

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

The Next Big Thing: From Embedded Systems to Embodied Actors.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Safe AI - How is this Possible?

[BibT_eX]

[DOI]

Simon Burton

CoRR, 2022

Systems Challenges for Trustworthy Embodied Systems.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Proof Search and Certificates for Evidential Transactions.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Security Engineering for ISO 21434.

[BibT_eX]

[DOI]

Yuri Gil Dantas

Vivek Nigam

CoRR, 2020

Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2020

2019

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018

Model-Based Safety and Security Engineering.

[BibT_eX]

[DOI]

Vivek Nigam

Alexander Pretschner

CoRR, 2018

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Towards Dependability Metrics for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Evidential and Continuous Integration of Software Verification Tools.

[BibT_eX]

[DOI]

Tewodros A. Beyene

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

Neural networks for safety-critical applications - Challenges, experiments and perspectives.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Verification of Binarized Neural Networks.

[BibT_eX]

[DOI]

Georg Nührenberg

CoRR, 2017

autoCode4: Structural Controller Synthesis.

[BibT_eX]

[DOI]

Edward A. Lee

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

Maximum Resilience of Artificial Neural Networks.

[BibT_eX]

[DOI]

Georg Nührenberg

Proceedings of the Automated Technology for Verification and Analysis, 2017

Automated Analysis of Multi-View Software Architectures.

[BibT_eX]

[DOI]

Yassine Hamza

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Certification for μ-Calculus with Winning Strategies.

[BibT_eX]

[DOI]

Martin Hofmann

Christian Neukirchen

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Integrated Formal Methods for Constructing Assurance Cases.

[BibT_eX]

[DOI]

Carmen Cârlan

Tewodros A. Beyene

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Compositional Parameter Synthesis.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

Proceedings of the FM 2016: Formal Methods, 2016

Structural Synthesis for GXW Specifications.

[BibT_eX]

[DOI]

Yassine Hamza

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems.

[BibT_eX]

[DOI]

Stefano Tonetta

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

2014

Certification for mu-calculus with winning strategies.

[BibT_eX]

[DOI]

Martin Hofmann

CoRR, 2014

Distributed MILS Architectural Approach for Secure Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the Smart Grid Security - Second International Workshop, 2014

G4LTL-ST: Automatic Generation of PLC Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Security policies for distributed systems.

[BibT_eX]

[DOI]

CoRR, 2013

EFSMT: A Logical Framework for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2013

On Behavioral Types for OSGi: From Theory to Implementation.

[BibT_eX]

[DOI]

Jan Olaf Blech

Bernhard Schätz

CoRR, 2013

JBernstein: A Validity Checker for Generalized Polynomial Constraints.

[BibT_eX]

[DOI]

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

2012

Distributed Priority Synthesis

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Behavioral Specification Based Runtime Monitors for OSGi Services.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Game solving for industrial automation and control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

MGSyn: Automatic Synthesis for Industrial Automation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Distributed priority synthesis using knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2nd edition on Programming systems, 2012

2011

Distributed Priority Synthesis and its Applications

[BibT_eX]

[DOI]

CoRR, 2011

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Model Construction and Priority Synthesis for Simple Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems

[BibT_eX]

[DOI]

CoRR, 2010

2008

Non-functional Avionics Requirements.

[BibT_eX]

[DOI]

Michael Paulitsch

Proceedings of the Leveraging Applications of Formal Methods, 2008

2004

Justifying Equality.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

An Experimental Evaluation of Ground Decision Procedures.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

SAL 2.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

The ICS Decision Procedures for Embedded Deduction.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Simulation and verification I: from simulation to verification (and back).

[BibT_eX]

[DOI]

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Monadic Second-Order Logics with Cardinalities.

[BibT_eX]

[DOI]

Felix Klaedtke

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Predicate Abstraction for Dense Real-Time System.

[BibT_eX]

[DOI]

M. Oliver Möller

Proceedings of the Theory and Practice of Timed Systems, 2002

Combining Shostak Theories.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

2001

A Technique for Invariant Generation.

[BibT_eX]

[DOI]

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

Deconstructing Shostak.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Proving Secrecy is Easy Enough.

[BibT_eX]

[DOI]

Véronique Cortier

Jonathan K. Millen

Jean-Christophe Filliâtre

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

ICS: Integrated Canonizer and Solver.

[BibT_eX]

[DOI]

Sam Owre

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Protocol-Independent Secrecy.

[BibT_eX]

[DOI]

Jonathan K. Millen

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

Integrating WS1S with PVS.

[BibT_eX]

[DOI]

Sam Owre

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Rigid <i>E</i>-Unification Revisited.

[BibT_eX]

[DOI]

Ashish Tiwari

Leo Bachmair

Proceedings of the Automated Deduction, 2000

1999

Modular Verification of SRT Division.

[BibT_eX]

[DOI]

Mandayam K. Srivas

Formal Methods Syst. Des., 1999

Polytypic Proof Construction.

[BibT_eX]

[DOI]

Holger Pfeifer

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

Towards Light-Weight Verification and Heavy-Weight Testing.

[BibT_eX]

[DOI]

Stephan Pfab

Sam Owre

Proceedings of the International Workshop Tool Support for System Specification, 1998

Case Studies in Meta-Level Theorem Proving.

[BibT_eX]

[DOI]

Stephan Pfab

Holger Pfeifer

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Solving Bit-Vector Equations.

[BibT_eX]

[DOI]

M. Oliver Möller

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

1997

Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1997

Formal Verification of Transformations for Peephole Optimization.

[BibT_eX]

[DOI]

Axel Dold

Holger Pfeifer

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Hardware Verification Using PVS.

[BibT_eX]

[DOI]

Mandayam K. Srivas

David Cyrluk

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.

[BibT_eX]

[DOI]

David Cyrluk

M. Oliver Möller

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Reflection of Formal Tactics in a Deductive Reflection Framework.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

The TYPELAB Specification and Verification Environment.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Formal meta-programming in the calculus of constructions.

[BibT_eX]

[DOI]

PhD thesis, 1995

Construction and Deduction Methods for the Formal Development of Software.

[BibT_eX]

[DOI]

Axel Dold