| Publication | Date of Publication | Type |
|---|
| Linking formal methods in software development. A reflection on the development of rCOS | 2024-02-28 | Paper |
| A dynamic logic with branching modalities | 2024-02-12 | Paper |
| Stability of strong attractors for the extensible beam equation with gentle dissipation | 2024-02-05 | Paper |
| Learning assumptions for compositional verification of timed automata | 2024-02-01 | Paper |
| Upper semicontinuity of pullback D$\mathcal {D}$‐attractors for nonlinear parabolic equation with nonstandard growth condition | 2024-01-08 | Paper |
| Upper semicontinuity of optimal attractors for viscoelastic equations lacking strong damping | 2023-09-29 | Paper |
| A contract-based semantics and refinement for Simulink | 2023-08-10 | Paper |
| Decidability of liveness for concurrent objects on the TSO memory model | 2023-08-10 | Paper |
| Human-cyber-physical automata and their synthesis | 2023-07-28 | Paper |
| Weak mean random attractors for nonautonomous stochastic parabolic equation with variable exponents | 2023-07-17 | Paper |
| Pullback exponential attractors for second-order lattice system with nonstandard growth condition | 2023-06-07 | Paper |
| Invariant measure of stochastic Boussinesq equation with zero viscosity in Banach space | 2023-05-16 | Paper |
| Regular attractor of the β-evolution equation with fractional damping on Rn | 2022-12-08 | Paper |
| Learning safe neural network controllers with barrier certificates | 2022-09-01 | Paper |
| On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind | 2022-08-02 | Paper |
| An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation | 2022-03-25 | Paper |
| Planar metamaterial analogue of electromagnetically induced transparency for a miniature refractive index sensor | 2021-10-12 | Paper |
| Learning safe neural network controllers with barrier certificates | 2021-08-30 | Paper |
| Synthesizing barrier certificates using neural networks | 2021-01-25 | Paper |
| On security in encrypted computing | 2021-01-18 | Paper |
| A linear programming relaxation based approach for generating barrier certificates of hybrid systems | 2020-01-03 | Paper |
| Global attractor of multi-valued operators with applications to a strongly damped nonlinear wave equation without uniqueness | 2019-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5196885 | 2019-09-20 | Paper |
| Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm | 2019-03-18 | Paper |
| Sharp Smith's bounds for the gamma function | 2018-02-12 | Paper |
| Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation | 2018-01-19 | Paper |
| Global attractor of the quasi-linear wave equation with strong damping | 2017-11-28 | Paper |
| Extracting Multiple Features in the CID Color Space for Face Recognition | 2017-10-09 | Paper |
| Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation | 2017-10-06 | Paper |
| Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities | 2017-05-29 | Paper |
| Global attractor for a strongly damped wave equation with fully supercritical nonlinearities | 2017-05-05 | Paper |
| Exponential attractor for the wave equation with structural damping and supercritical exponent | 2016-10-26 | Paper |
| Longtime behavior of the semilinear wave equation with gentle dissipation | 2016-10-18 | Paper |
| \(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth | 2016-09-06 | Paper |
| The monotonicity and convexity of a function involving psi function with applications | 2016-06-17 | Paper |
| rCOS: Defining Meanings of Component-Based Software Architectures | 2015-09-30 | Paper |
| Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity | 2015-08-31 | Paper |
| Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity | 2015-06-22 | Paper |
| RCOS: a formal model-driven engineering method for component-based software | 2012-11-15 | Paper |
| Failure-divergence semantics and refinement of long running transactions | 2012-10-11 | Paper |
| A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs | 2011-05-12 | Paper |
| Component Publications and Compositions | 2010-08-31 | Paper |
| An Extended cCSP with Stable Failures Semantics | 2010-08-31 | Paper |
| Robustness testing for software components | 2010-08-26 | Paper |
| Fusion of color, local spatial and global frequency information for face recognition | 2010-06-08 | Paper |
| Model Checking Linear Duration Invariants of Networks of Automata | 2010-01-28 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| Design and Verification of Fault-Tolerant Components | 2009-04-24 | Paper |
| Refinement and verification in component-based model-driven design | 2009-03-02 | Paper |
| Verification of Linear Duration Invariants by Model Checking CTL Properties | 2009-01-27 | Paper |
| Harnessing rCOS for Tool Support —The CoCoME Experience | 2008-09-25 | Paper |
| A Model of Component-Based Programming | 2008-07-01 | Paper |
| Separation of Concerns and Consistent Integration in Requirements Modelling | 2008-03-07 | Paper |
| rCOS: a refinement calculus of object systems | 2006-12-07 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673418 | 2005-04-29 | Paper |
| Unifying proof methodologies of duration calculus and timed linear temporal logic | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412546 | 2003-07-15 | Paper |
| Verification, refinement and scheduling of real-time programs | 2000-12-12 | Paper |
| Verification of schedulability for real-time programs | 1996-05-27 | Paper |
| Transformation of programs for fault-tolerance | 1993-01-17 | Paper |
