Search results
From MaRDI portal
- verification of real-time systems using UPPAAL 2011-03-31 Paper Abstract Probabilistic Automata 2011-02-15 Paper Methodologies for Specification of Real-Time Systems...10 bytes (19 words) - 09:59, 8 December 2023
- Didier Lime (section Research outcomes over time)2022-02-24 Paper Parametric Analyses of Attack-fault Trees* 2022-02-01 Paper Cost Problems for Parametric Time Petri Nets* 2022-02-01 Paper Logical time control...10 bytes (16 words) - 16:25, 11 December 2023
- unfolding of parametric stopwatch Petri nets 2014-06-30 Paper Robust synthesis for real-time systems 2013-12-10 Paper Robust Specification of Real Time Components...10 bytes (18 words) - 06:06, 7 October 2023
- Uli Fahrenberg (section Research outcomes over time)Paper Logical vs. behavioural specifications 2020-03-12 Paper A linear-time-branching-time spectrum for behavioral specification theories 2020-01-31 Paper...10 bytes (16 words) - 01:40, 10 December 2023
- Rajeev Alur (section Research outcomes over time)1995-03-08 Paper A theory of timed automata 1994-05-05 Paper Model-checking in dense real-time 1993-12-06 Paper Real-time logics: Complexity and expressiveness...10 bytes (17 words) - 05:20, 9 December 2023
- Étienne André (section Research outcomes over time)Symbolic monitoring against specifications parametric in time and data 2024-02-16 Paper Parametric updates in parametric timed automata 2024-02-06 Paper...10 bytes (16 words) - 11:57, 7 October 2023
- Jan Křetínský (section Research outcomes over time)Semi-Markov Processes Revisited 2011-09-02 Paper Stochastic Real-Time Games with Qualitative Timed Automata Objectives 2010-08-31 Paper On determinism in modal...10 bytes (16 words) - 19:37, 12 December 2023
- LMIs 2002-07-21 Paper Robust filtering for discrete-time systems with bounded noise and parametric uncertainty 2002-07-21 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 15:51, 8 December 2023
- Paola Inverardi (section Research outcomes over time)from automata-based specifications 2019-06-25 Paper Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications 2016-04-08 Paper...10 bytes (16 words) - 09:44, 7 October 2023
- of Continuous-Time Markov Chains Against Timed Automata Specifications 2011-05-26 Paper Efficient CTMC Model Checking of Linear Real-Time Objectives 2011-05-19...10 bytes (19 words) - 01:51, 9 December 2023
- Joël Ouaknine (section Research outcomes over time)2014-12-09 Paper Advances in Parametric Real-Time Reasoning 2014-10-14 Paper The orbit problem in higher dimensions 2014-08-07 Paper Time-Bounded Reachability...10 bytes (18 words) - 22:27, 11 December 2023
- Radha Jagadeesan (section Research outcomes over time)reasoning for real-time probabilistic processes 2007-10-11 Paper λ-RBAC: Programming with Role-Based Access Control 2007-09-11 Paper Typed parametric polymorphism...10 bytes (16 words) - 11:22, 12 December 2023
- Christel Baier (section Research outcomes over time)weights 2020-01-28 Paper Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms 2019-09-17 Paper Markov Chains and Unambiguous Büchi...10 bytes (17 words) - 01:51, 9 December 2023
- Axel Legay (section Research outcomes over time)Paper Parametric and Quantitative Extensions of Modal Transition Systems 2014-07-24 Paper Specification Theories for Probabilistic and Real-Time Systems...10 bytes (16 words) - 09:12, 25 September 2023
- Peng Shi (section Research outcomes over time)for linear time-delay systems 2021-11-05 Paper Optimal linear‐quadratic‐Gaussian control for discrete‐time linear systems with white and time‐correlated...10 bytes (17 words) - 14:43, 10 December 2023
- Cheng Hsiao (section Research outcomes over time)2016-08-12 Paper Maternal full-time employment and overweight children: parametric, semi-parametric, and non-parametric assessment 2016-07-18 Paper Evaluating...10 bytes (17 words) - 21:59, 10 December 2023
- Artur Oscar Lopes (section Research outcomes over time)information geometry 2022-01-04 Paper Invariant probabilities for discrete time linear dynamics via thermodynamic formalism * 2021-11-19 Paper Thermodynamic...10 bytes (19 words) - 17:13, 11 December 2023
- and Testing of Forecast Rationality under Flexible Loss 2006-02-21 Paper REAL-TIME ECONOMETRICS 2005-10-18 Paper Option prices under Bayesian learning: implied...10 bytes (18 words) - 22:17, 8 December 2023
- Håkan Hjalmarsson (section Research outcomes over time)design via LMIs admitting frequency-wise model specifications in confidence regions 2017-07-12 Paper A Multi-Time-Scale Generalization of Recursive Identification...10 bytes (16 words) - 00:25, 10 December 2023
- Mohammed Chadli (section Research outcomes over time)discrete-time systems with Markov communication protocol 2024-03-13 Paper Fault‐alarm based hybrid control design for uncertain periodic piecewise time‐varying...10 bytes (17 words) - 22:38, 10 December 2023
