Stefan Mitsch

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Reward Shaping from Hybrid Systems Models in Reinforcement Learning.

[BibT_eX]

[DOI]

Marian Qian

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

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.

[BibT_eX]

[DOI]

Marvin Brieger

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces.

[BibT_eX]

[DOI]

Aditi Kabra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Eduard Kamburjan

Reiner Hähnle

Leibniz Trans. Embed. Syst., 2022

Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems.

[BibT_eX]

[DOI]

David Bayani

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

Verifying Switched System Stability With Logic.

[BibT_eX]

[DOI]

Yong Kiam Tan

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Implicit Definitions with Differential Equations for KeYmaera X - (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

[BibT_eX]

[DOI]

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

Pegasus: sound continuous invariant generation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Implicit and Explicit Proof Management in KeYmaera X.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Verified Quadratic Virtual Substitution for Real Arithmetic.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.

[BibT_eX]

[DOI]

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

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.

[BibT_eX]

[DOI]

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

2020

A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers.

[BibT_eX]

[DOI]

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Towards CPS Verification Engineering.

[BibT_eX]

[DOI]

Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

A Formal Safety Net for Waypoint-Following in Ground Robots.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2019

Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.

[BibT_eX]

[DOI]

CoRR, 2019

Toward multi-task support and security analyses in PLC program translation for verification: poster abstract.

[BibT_eX]

[DOI]

Luis Garcia

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

HyPLC: hybrid programmable logic controller program translation for verification.

[BibT_eX]

[DOI]

Luis Garcia

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Pegasus: A Framework for Sound Continuous Invariant Generation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Tactical contract composition for hybrid system component verification.

[BibT_eX]

[DOI]

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

Verified Runtime Validation for Partially Observable Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2018

VeriPhy: verified controller executables from verified cyber-physical system models.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration).

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.

[BibT_eX]

[DOI]

Jean-Baptiste Jeannin

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

Formal verification of obstacle avoidance and navigation of ground robots.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2017

Formal Verification of Train Control with Air Pressure Brakes.

[BibT_eX]

[DOI]

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

Bellerophon: Tactical Theorem Proving for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Change and Delay Contracts for Hybrid System Component Verification.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Benchmark for Component-based Hybrid Systems Safety Verification.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

How to model and prove hybrid systems with KeYmaera: a tutorial on safety.

[BibT_eX]

[DOI]

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

ModelPlex: verified runtime validation of verified cyber-physical system models.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2016

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

A Component-Based Approach to Hybrid Systems Safety Verification.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2015

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Collaborative Verification-Driven Engineering of Hybrid Systems.

[BibT_eX]

[DOI]

Grant Olney Passmore

Math. Comput. Sci., 2014

A tour of BeAware - A situation awareness framework for control centers.

[BibT_eX]

[DOI]

Andrea Salfinger

Inf. Fusion, 2014

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2014

SEM<sup>2</sup> suite - Towards a tool suite for supporting knowledge management in situation awareness systems.

[BibT_eX]

[DOI]

Andrea Salfinger

Daniel Neidhart

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

Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems.

[BibT_eX]

[DOI]

Jan-David Quesel

Proceedings of the FM 2014: Formal Methods, 2014

2013

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles.

[BibT_eX]

[DOI]

Khalil Ghorbal

Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

A Survey on Clustering Techniques for Situation Awareness.

[BibT_eX]

[DOI]

Andrea Salfinger

Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013

Automatic Data Transformation - Breaching the Walled Gardens of Social Network Platforms.

[BibT_eX]

[DOI]

Manuel Wimmer

Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling, 2013

2012

User profile integration made easy: model-driven extraction and transformation of social network schemas.

[BibT_eX]

[DOI]

Proceedings of the 21st World Wide Web Conference, 2012

Towards Formal Verification of Freeway Traffic Control.

[BibT_eX]

[DOI]

Sarah M. Loos

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

Making workflows situation aware: an ontology-driven framework for dynamic spatial systems.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

Reasoning on Data Streams for Situation Awareness.

[BibT_eX]

Proceedings of the KEOD 2011, 2011

Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Adanced Applications, 2011

2010

BeAware! - Situation awareness, the ontology-driven way.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2010

Towards Duplicate Detection for Situation Awareness Based on Spatio-temporal Relations.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2010

WorkAware - Situation-aware Workflow Management.

[BibT_eX]

Proceedings of the KMIS 2010, 2010

Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

2009

"Same, Same but Different" A Survey on Duplicate Detection Methods for Situation Awareness.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

On Optimization of Predictions in Ontology-Driven Situation Awareness.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2009

Modeling Situation-Aware Ambient Assisted Living Systems for Eldercare.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Modeling Distributed Signal Processing Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

An Evaluation Framework for Pervasive Healthcare Applications.

[BibT_eX]

Proceedings of the Selected Papers on Broadband Communication, 2009

2008

A Two-Layered Deployment Scheme for Wireless Sensor Network based Location Tracking.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Modeling wireless sensor networks based context-aware emergency coordination systems.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2008, 2008

Automatic Position Determination of Fixed Infrastructure Sensor Network Nodes based on Topology Sensing and Maps.

[BibT_eX]

Proceedings of the 2008 International Conference on Wireless Networks, 2008

An Engineering Toolbox to Build Situation Aware Ambient Assisted Living Systems.

[BibT_eX]

[DOI]

Proceedings of the 2008 Third International Conference on Broadband Communications, 2008

2007

Development issues for speech-enabled mobile applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2007, 2007

Evaluation of a Mobile Multimodal Application Design - Major Usability Criteria and Usability Test Results.

[BibT_eX]

Proceedings of the International Conference on Mobile Business (ICMB 2007), 2007

Gulliver-A Framework for Building Smart Speech-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

MobileWork Clearance Management - Challenges and Solutions.

[BibT_eX]

[DOI]

Rene Prokop

Proceedings of the Mobile Informationssysteme, 2006

SelectiveDES: A Distributed Event Service Add-On for Invocation-Based Middleware supporting Selective Multi-Channel Communication and Notification Delivery.

[BibT_eX]

[DOI]

Rene Prokop

Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006

SmartDOTS - A Framework for Efficient Data Synchronization on Mobile Devices.

[BibT_eX]

[DOI]