| Publication | Date of Publication | Type |
|---|
| From interface automata to hypercontracts | 2023-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021015 | 2022-01-11 | Paper |
| A new simulation metric to determine safe environments and controllers for systems with unknown dynamics | 2019-10-22 | Paper |
| Equivalences for fair Kripke structures | 2019-04-29 | Paper |
| Exact minimization of binary decision diagrams using implicit techniques | 2018-07-09 | Paper |
| Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach | 2018-06-27 | Paper |
| Implementing Synchronous Models on Loosely Time Triggered Architectures | 2018-06-12 | Paper |
| Maximizing the stability radius of a set of systems under real-time scheduling constraints | 2017-07-12 | Paper |
| SMC: satisfiability modulo convex optimization | 2017-07-11 | Paper |
| Diagnosis and repair for synthesis from signal temporal logic specifications | 2017-05-19 | Paper |
| Hybrid control of networked embedded systems | 2014-08-07 | Paper |
| The design of dynamical observers for hybrid systems: theory and application to an automotive control problem | 2014-04-14 | Paper |
| Polynomial-time verification of PCTL properties of MDPs with convex uncertainties | 2013-11-26 | Paper |
| Idle speed control of port-injection engines \textit{via} the polynomial equation approach | 2013-06-26 | Paper |
| Taming Dr. Frankenstein: contract-based design for cyber-physical systems | 2013-02-28 | Paper |
| The Unknown Component Problem | 2012-02-02 | Paper |
| Synthesis of multilevel Boolean networks | 2011-03-09 | Paper |
| A hybrid feedback for a benchmark problem of idle speed control | 2010-04-15 | Paper |
| Compositionally progressive solutions of synchronous FSM equations | 2009-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506396 | 2009-01-28 | Paper |
| Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System | 2008-09-02 | Paper |
| Languages and Tools for Hybrid Systems Design | 2008-09-01 | Paper |
| Approximating Behaviors in Embedded System Design | 2008-06-19 | Paper |
| Hybrid modelling and control of the common rail injection system | 2008-01-31 | Paper |
| FSM Encoding for BDD Representations | 2007-10-30 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Refinement preserving approximations for the design and verification of heterogeneous systems | 2007-08-17 | Paper |
| Hybrid systems in automotive electronics design | 2007-05-18 | Paper |
| Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems | 2007-05-08 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Languages and Tools for Hybrid Systems Design | 2007-03-05 | Paper |
| A framework for modeling the distributed deployment of synchronous designs | 2006-09-28 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Efficient Solution of Optimal Control Problems Using Hybrid Systems | 2005-09-15 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817538 | 2004-09-24 | Paper |
| Controller synthesis for hybrid systems with a lower bound on event separation | 2004-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736575 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736597 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473735 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461507 | 2004-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439563 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439557 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946958 | 2003-11-20 | Paper |
| Individual cylinder characteristic estimation for a spark injection engine | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417608 | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408177 | 2003-06-29 | Paper |
| A case study in embedded systems design: An engine control unit | 2003-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536591 | 2002-11-28 | Paper |
| Formula-dependent equivalence for compositional CTL model checking | 2002-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552466 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552451 | 2002-09-03 | Paper |
| Model matching for finite-state machines | 2002-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941014 | 2002-02-21 | Paper |
| Hybrid control of force transients for multi-point injection engines | 2001-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953379 | 2001-06-18 | Paper |
| Substrate noise. Analysis and optimization for IC design | 2001-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953373 | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953385 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4240485 | 1999-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353645 | 1997-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4344156 | 1997-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4337945 | 1997-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332902 | 1997-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4852540 | 1995-10-31 | Paper |
| An iterative approach to verification of real-time systems | 1995-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997058 | 1992-09-17 | Paper |
| A theoretical framework for simulated annealing | 1991-01-01 | Paper |
| Convergence and finite-time behavior of simulated annealing | 1986-01-01 | Paper |
| Enhanced methods for feasible directions for engineering design problems | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680754 | 1984-01-01 | Paper |
| Relaxation-Based Electrical Simulation | 1983-01-01 | Paper |
| Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms | 1983-01-01 | Paper |
| Computer-aided design via optimization: A review | 1982-01-01 | Paper |
| Characterization of integration algorithms for the timing analysis of mos vlsi circuits | 1982-01-01 | Paper |
| Diagnosability of nonlinear circuits and systems-Part II: Dynamical systems | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666401 | 1981-01-01 | Paper |
| Diagnosability of nonlinear circuits and systems-Part I: The dc case | 1981-01-01 | Paper |
| Diagnosability of Nonlinear Circuits and Systems—Part I: The dc Case | 1981-01-01 | Paper |
| Diagnosability of Nonlinear Circuits and Systems—Part II: Dynamical Systems | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916453 | 1980-01-01 | Paper |
| A multilevel Newton algorithm with macromodeling and latency for the analysis of large-scale nonlinear circuits in the time domain | 1979-01-01 | Paper |
| Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966682 | 1979-01-01 | Paper |
| Bipartite graphs and an optimal bordered triangular form of a matrix | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3965185 | 1979-01-01 | Paper |
| Via assignment problem in multilayer printed circuit board | 1979-01-01 | Paper |
| A new shortest path updating algorithm | 1978-01-01 | Paper |
| An efficient heuristic cluster algorithm for tearing large-scale networks | 1977-01-01 | Paper |
| A graph theoretical interpretation of nonsymmetric permutation on sparse matrices | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153626 | 1976-01-01 | Paper |
| A two levels algorithm for tearing | 1976-01-01 | Paper |
| A note on bipartite graphs and pivot selection in sparse matrices | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4127878 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189381 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180873 | 1973-01-01 | Paper |
