| Publication | Date of Publication | Type |
|---|
| Formal verification of quantum algorithms using quantum Hoare logic | 2024-02-16 | Paper |
| Synthesizing SystemC Code from Delay Hybrid CSP | 2022-12-09 | Paper |
| A denotational semantics of simulink with higher-order UTP | 2022-11-16 | Paper |
| Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus | 2022-11-04 | Paper |
| Gurtin and Murdoch's surface effect on the elastic behavior of an elastic half space subjected to body forces | 2022-04-21 | Paper |
| State Feedback Stabilization of Large-Scale Logical Control Networks via Network Aggregation | 2022-02-24 | Paper |
| Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow | 2022-02-01 | Paper |
| Simplification of Shapley value for cooperative games via minimum carrier | 2021-09-29 | Paper |
| Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations | 2021-05-28 | Paper |
| Statistical diagnosis for non-parametric regression models with random right censorship based on the empirical likelihood method | 2020-11-04 | Paper |
| Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow | 2020-02-18 | Paper |
| Event-triggered control for disturbance decoupling problem of mix-valued logical networks | 2020-01-30 | Paper |
| Approximate bisimulation and discretization of hybrid CSP | 2020-01-03 | Paper |
| Confinement framework for encapsulating objects | 2019-05-28 | Paper |
| Column stacking approach to resolution of systems of fuzzy relational inequalities | 2019-04-18 | Paper |
| Set stability and synchronization of logical networks with probabilistic time delays | 2018-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132075 | 2018-01-29 | Paper |
| Formal Verification of Simulink/Stateflow Diagrams | 2018-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5368082 | 2017-10-20 | Paper |
| A compositional modelling and verification framework for stochastic hybrid systems | 2017-09-08 | Paper |
| Extending Hybrid CSP with Probability and Stochasticity | 2017-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2984533 | 2017-05-17 | Paper |
| A Two-Way Path Between Formal and Informal Design of Embedded Systems | 2017-04-04 | Paper |
| Formal Verification of Simulink/Stateflow Diagrams | 2016-01-08 | Paper |
| Formal Modelling, Analysis and Verification of Hybrid Systems | 2015-09-30 | Paper |
| Ground-state properties and quantum entanglement in rung-dimerized spin-1/2 antiferromagnetic ladder | 2015-03-03 | Paper |
| 0- and 2/3-magnetization plateaus in three-leg antiferromagnetic Heisenberg spin-1/2 ladders with leg-dimerization | 2014-08-12 | Paper |
| An Exercise on Transition Systems | 2014-01-24 | Paper |
| A semantic model of confinement and locality theorem | 2013-07-04 | Paper |
| An Assume/Guarantee Based Compositional Calculus for Hybrid CSP | 2012-07-16 | Paper |
| A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs | 2011-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3071883 | 2011-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3641874 | 2009-11-11 | Paper |
| Type Safety for FJ and FGJ | 2008-09-11 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2781862 | 2002-07-02 | Paper |
