| 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
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Stability of strong attractors for the extensible beam equation with gentle dissipation
Journal of Mathematical Analysis and Applications | 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
Mathematische Nachrichten | 2024-01-08 | Paper |
Upper semicontinuity of optimal attractors for viscoelastic equations lacking strong damping
Applicable Analysis | 2023-09-29 | Paper |
Decidability of liveness for concurrent objects on the TSO memory model
Dependable Software Engineering. Theories, Tools, and Applications | 2023-08-10 | Paper |
A contract-based semantics and refinement for Simulink
Dependable Software Engineering. Theories, Tools, and Applications | 2023-08-10 | Paper |
Human-cyber-physical automata and their synthesis
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Weak mean random attractors for nonautonomous stochastic parabolic equation with variable exponents
Stochastics and Dynamics | 2023-07-17 | Paper |
Pullback exponential attractors for second-order lattice system with nonstandard growth condition
Journal of Mathematical Physics | 2023-06-07 | Paper |
Invariant measure of stochastic Boussinesq equation with zero viscosity in Banach space
Dynamical Systems | 2023-05-16 | Paper |
Regular attractor of the β-evolution equation with fractional damping on Rn
Journal of Mathematical Physics | 2022-12-08 | Paper |
Learning safe neural network controllers with barrier certificates
Dependable Software Engineering. Theories, Tools, and Applications | 2022-09-01 | Paper |
On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind
Journal of Mathematical Inequalities | 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
Physics Letters. A | 2021-10-12 | Paper |
Learning safe neural network controllers with barrier certificates
Formal Aspects of Computing | 2021-08-30 | Paper |
Synthesizing barrier certificates using neural networks
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 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
Discrete and Continuous Dynamical Systems. Series B | 2019-12-05 | Paper |
| Overview of formal methods | 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
Journal of Inequalities and Applications | 2018-02-12 | Paper |
Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation
Journal of Differential Equations | 2018-01-19 | Paper |
Global attractor of the quasi-linear wave equation with strong damping
Journal of Mathematical Analysis and Applications | 2017-11-28 | Paper |
Extracting Multiple Features in the CID Color Space for Face Recognition
IEEE Transactions on Image Processing | 2017-10-09 | Paper |
Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation
Applied Mathematics Letters | 2017-10-06 | Paper |
Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities
Nonlinearity | 2017-05-29 | Paper |
Global attractor for a strongly damped wave equation with fully supercritical nonlinearities
Discrete and Continuous Dynamical Systems | 2017-05-05 | Paper |
Exponential attractor for the wave equation with structural damping and supercritical exponent
Communications in Contemporary Mathematics | 2016-10-26 | Paper |
Longtime behavior of the semilinear wave equation with gentle dissipation
Discrete and Continuous Dynamical Systems | 2016-10-18 | Paper |
\(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth
Boundary Value Problems | 2016-09-06 | Paper |
The monotonicity and convexity of a function involving psi function with applications
Journal of Inequalities and Applications | 2016-06-17 | Paper |
rCOS: defining meanings of component-based software architectures
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity
Applied Mathematics Letters | 2015-08-31 | Paper |
Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity
Applied Mathematics Letters | 2015-06-22 | Paper |
Graph-based object-oriented Hoare logic
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
RCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science | 2012-11-15 | Paper |
Failure-divergence semantics and refinement of long running transactions
Theoretical Computer Science | 2012-10-11 | Paper |
A graph-based implementation for mechanized refinement calculus of OO programs
Lecture Notes in Computer Science | 2011-05-12 | Paper |
Component publications and compositions
Unifying Theories of Programming | 2010-08-31 | Paper |
An Extended cCSP with Stable Failures Semantics
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Robustness testing for software components
Science of Computer Programming | 2010-08-26 | Paper |
Fusion of color, local spatial and global frequency information for face recognition
Pattern Recognition | 2010-06-08 | Paper |
Model checking linear duration invariants of networks of automata
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
Design and Verification of Fault-Tolerant Components
Methods, Models and Tools for Fault Tolerance | 2009-04-24 | Paper |
Refinement and verification in component-based model-driven design
Science of Computer Programming | 2009-03-02 | Paper |
Verification of Linear Duration Invariants by Model Checking CTL Properties
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Harnessing rCOS for Tool Support —The CoCoME Experience
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
A Model of Component-Based Programming
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Separation of Concerns and Consistent Integration in Requirements Modelling
Lecture Notes in Computer Science | 2008-03-07 | Paper |
rCOS: a refinement calculus of object systems
Theoretical Computer Science | 2006-12-07 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2163031 (Why is no real title available?) | 2005-04-29 | Paper |
Unifying proof methodologies of duration calculus and timed linear temporal logic
Formal Aspects of Computing | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 1949632 (Why is no real title available?) | 2003-07-15 | Paper |
Verification, refinement and scheduling of real-time programs
Theoretical Computer Science | 2000-12-12 | Paper |
Verification of schedulability for real-time programs
Formal Aspects of Computing | 1996-05-27 | Paper |
Transformation of programs for fault-tolerance
Formal Aspects of Computing | 1993-01-17 | Paper |
