| Publication | Date of Publication | Type |
|---|
| Reach-avoid verification based on convex optimization | 2024-07-21 | Paper |
| Disturbance estimation of a wave PDE on a time-varying domain | 2024-07-05 | Paper |
| Regulation-triggered adaptive control of a hyperbolic PDE-ODE model with boundary interconnections | 2024-04-30 | Paper |
| Verifying numerical programs via iterative abstract testing | 2024-04-19 | Paper |
| Event-Triggered Adaptive Control of a Parabolic PDE–ODE Cascade With Piecewise-Constant Inputs and Identification | 2023-10-09 | Paper |
| Event-Triggered Adaptive Control of Coupled Hyperbolic PDEs With Piecewise-Constant Inputs and Identification | 2023-09-28 | Paper |
| Safe Adaptive Control of Hyperbolic PDE-ODE Cascades | 2023-09-11 | Paper |
| Adaptive Control of Hyperbolic PDEs Coupled With a Disturbed and Highly Uncertain ODE | 2023-09-04 | Paper |
| Trace Abstraction-Based Verification for Uninterpreted Programs | 2023-04-21 | Paper |
| Cable-Operated Elevators and Deep-Sea Construction: $$4\times 4$$ Hyperbolic PDE-ODE Control with Moving Boundary | 2022-11-29 | Paper |
| Symbolic verification of MPI programs with non-deterministic synchronizations | 2022-09-01 | Paper |
| PDE Control of String-Actuated Motion | 2022-08-24 | Paper |
| Delay-compensated event-triggered boundary control of hyperbolic PDEs for deep-sea construction | 2022-04-08 | Paper |
| Event-Triggered Output-Feedback Backstepping Control of Sandwich Hyperbolic PDE Systems | 2022-02-24 | Paper |
| Adaptive event-triggered PDE control for load-moving cable systems | 2021-11-18 | Paper |
| A Splitting Method for the Degasperis--Procesi Equation Using an Optimized WENO Scheme and the Fourier Pseudospectral Method | 2021-10-11 | Paper |
| Output-Feedback Control of an Extended Class of Sandwiched Hyperbolic PDE-ODE Systems | 2021-07-26 | Paper |
| Delay-compensated control of sandwiched ODE-PDE-ODE hyperbolic systems for oil drilling and disaster relief | 2020-10-01 | Paper |
| Output feedback vibration control of a string driven by a nonlinear actuator | 2020-04-07 | Paper |
| Output Feedback Boundary Control of a Heat PDE Sandwiched Between Two ODEs | 2020-01-28 | Paper |
| A High Order Operator Splitting Method for the Degasperis–Procesi Equation | 2020-01-22 | Paper |
| Adaptive output-feedback control of torsional vibration in off-shore rotary oil drilling systems | 2020-01-20 | Paper |
| Counterexample-preserving reduction for symbolic model checking | 2019-11-19 | Paper |
| Vibration Suppression for Coupled Wave PDEs in Deep-Sea Construction | 2019-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5196885 | 2019-09-20 | Paper |
| Balancing and suppression of oscillations of tension and cage in dual-cable mining elevators | 2019-02-05 | Paper |
| Accurate Vessel Segmentation With Constrained B-Snake | 2019-01-31 | Paper |
| Exponential regulation of the anti-collocatedly disturbed cage in a wave PDE-modeled ascending cable elevator | 2018-11-21 | Paper |
| Control of a 2 × 2 coupled linear hyperbolic system sandwiched between 2 ODEs | 2018-09-21 | Paper |
| The height of an \(n\)th-order fundamental rogue wave for the nonlinear Schrödinger equation | 2017-11-23 | Paper |
| FESTAL: Fault-Tolerant Elastic Scheduling Algorithm for Real-Time Tasks in Virtualized Clouds | 2017-05-16 | Paper |
| Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT | 2017-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3180918 | 2017-01-06 | Paper |
| An abstract domain to infer symbolic ranges over nonnegative parameters | 2016-05-10 | Paper |
| Counterexample-Preserving Reduction for Symbolic Model Checking | 2013-10-04 | Paper |
| Bounded model checking of ETL cooperating with finite and looping automata connectives | 2013-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926896 | 2013-06-20 | Paper |
| Failure-divergence semantics and refinement of long running transactions | 2012-10-11 | Paper |
| A shortest path approximation algorithm for complex network analysis | 2012-10-05 | Paper |
| Linear absolute value relation analysis | 2011-05-19 | Paper |
| A tighter analysis of Piterman's Büchi determinization | 2010-08-20 | Paper |
| Existence of a nontrivial weak solution to quasilinear elliptic equations with singular weights and multiple critical exponents | 2010-03-29 | Paper |
| An abstract domain to discover interval linear equalities | 2010-01-14 | Paper |
| Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships | 2009-08-18 | Paper |
| Axiomatizing Extended Temporal Logic Fragments Via Instantiation | 2008-09-17 | Paper |
| Representing Wholes by Structure | 2007-09-06 | Paper |
| Modelling and model checking suspendible business processes via statechart diagrams and CSP | 2007-03-08 | Paper |
| An interface model for service-oriented software architecture | 2006-10-04 | Paper |
| A variation of RRQR decomposition based on Gershgorin disk theorem | 2006-08-23 | Paper |
| Trace acquirement technology of real-time systems based on WCET analysis | 2006-06-19 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700411 | 2005-10-28 | Paper |
| Formal Techniques for Networked and Distributed Systems – FORTE 2004 | 2005-08-18 | Paper |
| Improved method to generate path-wise test data | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4483796 | 2003-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4801212 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412530 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952319 | 2001-01-29 | Paper |
| The designing approach of difference schemes by controlling the remainder-effect | 2000-12-13 | Paper |
| Verifying automata specification of distributed probabilistic real-time systems | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4714992 | 1997-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693607 | 1994-11-14 | Paper |
