Search results
From MaRDI portal
- Diego Latella (section Research outcomes over time)Experimental Spatio-Temporal Model Checker 2021-05-18 Paper https://portal.mardi4nfdi.de/entity/Q5216078 2020-02-14 Paper Model Checking Spatial Logics for...10 bytes (16 words) - 01:51, 9 December 2023
- Kyungmin Bae (section Research outcomes over time)Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting 2014-06-27 Paper Verifying hierarchical Ptolemy II discrete-event models using real-time...10 bytes (16 words) - 23:25, 24 September 2023
- Alessio Lomuscio (section Research outcomes over time)Intelligence 2009-08-07 Paper Bounded model checking for knowledge and real time 2009-07-09 Paper First-Order Linear-Time Epistemic Logic with Group Knowledge:...10 bytes (16 words) - 11:34, 12 December 2023
- de/entity/Q4738231 2004-08-11 Paper Is your model checker on time? On the complexity of model checking for timed modal logics 2003-02-13 Paper https://portal...10 bytes (16 words) - 07:16, 12 December 2023
- Nils Timm (section Research outcomes over time)2022-07-13 Paper Spotlight abstraction in model checking real-time task schedulability 2022-03-24 Paper A bounded model checker for three-valued abstractions of...10 bytes (16 words) - 11:33, 6 October 2023
- Jin-Song Dong (section Research outcomes over time)N-PAT: A Nested Model-Checker 2022-11-09 Paper An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model 2021-06-09 Paper...10 bytes (17 words) - 03:58, 12 December 2023
- José Meseguer (section Research outcomes over time)Paper Infinite-State Model Checking of LTLR Formulas Using Narrowing 2015-09-09 Paper A Framework for Mobile Ad hoc Networks in Real-Time Maude 2015-09-09...10 bytes (17 words) - 11:55, 11 December 2023
- 2021-05-20 Paper \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL 2021-02-09 Paper Model Checking Data Flows in Concurrent...10 bytes (19 words) - 00:04, 12 December 2023
- in modal logics 2019-10-01 Paper Ideal and real belief about belief 2019-04-29 Paper ABSFOL: A proof checker with abstraction 2019-01-15 Paper Building...10 bytes (17 words) - 13:38, 8 December 2023
- Francisco Durán (section Research outcomes over time)axioms 2020-01-31 Paper Multilevel coupled model transformations for precise and reusable definition of model behaviour 2019-06-20 Paper Error estimation...10 bytes (17 words) - 11:55, 11 December 2023
- Stefan Gruner (section Research outcomes over time)2022-11-04 Paper Spotlight abstraction in model checking real-time task schedulability 2022-03-24 Paper A bounded model checker for three-valued abstractions of...10 bytes (17 words) - 11:33, 6 October 2023
- Hongyang Qu (section Research outcomes over time)Generating Path Conditions for Timed Systems 2007-11-29 Paper Calculating Probabilities of Real-Time Test Cases 2007-05-02 Paper Time Unbalanced Partial Order...10 bytes (16 words) - 17:16, 6 October 2023
- Edmund M. Clarke (section Research outcomes over time)simulation-based probabilistic model checking of mixed-analog circuits 2010-09-16 Paper An Abstraction Technique for Real-Time Verification 2010-06-02 Paper...10 bytes (20 words) - 06:27, 9 December 2023
- Pallab Dasgupta (section Research outcomes over time)Paper A fuzzy real-time temporal logic 2015-07-10 Paper Concurrent Usage Control Implementation Verification Using the SPIN Model Checker 2010-10-28 Paper...10 bytes (16 words) - 06:35, 7 October 2023
- Symbolic model checking for real-time systems 1995-02-13 Paper Temporal proof methodologies for timed transition systems 1994-10-12 Paper Real-time logics:...10 bytes (19 words) - 04:39, 9 December 2023
- Graeme Smith (section Research outcomes over time)Paper Model checking action system refinements 2009-05-27 Paper A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems...10 bytes (16 words) - 23:25, 24 September 2023
- Li-jun Zhang (section Research outcomes over time)Paper Model Checking Interactive Markov Chains 2010-04-27 Paper Integral self-affine tiles of Bandt's model 2010-03-01 Paper Time-Bounded Model Checking...10 bytes (18 words) - 00:31, 10 December 2023
- Jan Friso Groote (section Research outcomes over time)Paper Analysis of three hybrid systems in timed \(\mu CRL\) 2001-07-05 Paper The propositional formula checker HeerHugo 2001-05-01 Paper https://portal...10 bytes (19 words) - 12:17, 8 December 2023
- Naijun Zhan (section Research outcomes over time)polynomial programs 2015-04-27 Paper CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains 2014-07-08 Paper Generating Non-linear Interpolants...10 bytes (16 words) - 23:26, 24 September 2023
- René David (section Research outcomes over time)de/entity/Q3663155 1983-01-01 Paper A very absolute Π21 real singleton 1982-01-01 Paper Δ31 reals 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3932638...10 bytes (16 words) - 11:10, 8 December 2023
