Radu Grosu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains	2024-01-26	Paper
Robustness analysis of continuous-depth models with Lagrangian techniques	2023-08-10	Paper
Attacking the V: On the Resiliency of Adaptive-Horizon MPC	2022-08-12	Paper
Lagrangian reachabililty	2022-07-01	Paper
Compressive sensing of high betweenness centrality nodes in networks	2022-06-27	Paper
Lumpability for uncertain continuous-time Markov chains	2022-03-24	Paper
Statistical model checking	2022-02-16	Paper
Neural flocking: MPC-based supervised learning of flocking controllers	2020-09-23	Paper
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans	2020-08-05	Paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms	2019-07-25	Paper
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans	2019-06-18	Paper
Model Checking Tap Withdrawal in C. Elegans	2019-05-21	Paper
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles	2017-09-08	Paper
Computing bisimulation functions using SOS optimization and δ -decidability over the reals	2017-05-19	Paper
Temporal Logic as Filtering	2017-05-19	Paper
Compositionality results for cardiac cell dynamics	2017-05-16	Paper
Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability	2016-12-15	Paper
Model-order reduction of ion channel dynamics using approximate bisimulation	2015-09-29	Paper
Monte Carlo Methods for Process Algebra	2015-07-10	Paper
Modular refinement of hierarchic reactive machines	2015-03-17	Paper
Compositional Branching-Time Measurements	2014-07-24	Paper
\textsc{InterAspect}: aspect-oriented instrumentation with GCC	2014-03-28	Paper
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue	2014-01-17	Paper
On Temporal Logic and Signal Processing	2012-11-21	Paper
Model Repair for Probabilistic Systems	2011-05-19	Paper
The Cayley-Hamilton Theorem for Noncommutative Semirings	2011-02-11	Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata	2009-08-07	Paper
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More	2009-04-30	Paper
Dynamic Path Reduction for Software Model Checking	2009-02-24	Paper
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes	2008-06-19	Paper
Compositional modeling and refinement for hierarchical hybrid systems	2006-04-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4536343	2002-11-04	Paper
Modular and visual specification of hybrid systems: An introduction to HyCharts	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4953375	2002-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4552455	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536992	2002-06-25	Paper
Stream-based specification of mobile systems	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2754091	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4520820	2001-02-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Radu Grosu