| Publication | Date of Publication | Type |
|---|
Exact and approximate moment derivation for probabilistic loops with non-polynomial assignments
ACM Transactions on Modeling and Computer Simulation | 2024-11-15 | Paper |
Introducing asynchronicity to probabilistic hyperproperties
| 2024-05-29 | Paper |
Deductive controller synthesis for probabilistic hyperproperties
| 2024-05-29 | Paper |
Information-flow interfaces
| 2024-01-23 | Paper |
The probabilistic termination tool amber
Formal Methods in System Design | 2024-01-08 | Paper |
Solving invariant generation for unsolvable loops
Static Analysis | 2023-07-28 | Paper |
Signal convolution logic
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Parameter-Independent Strategies for pMDPs via POMDPs
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Moment-based invariants for probabilistic loops with non-polynomial assignments
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Distribution estimation for probabilistic loops
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
Computer Aided Verification | 2023-05-26 | Paper |
A counting semantics for monitoring LTL specifications over finite traces
Computer Aided Verification | 2023-05-26 | Paper |
Probabilistic Hyperproperties with Nondeterminism
1517.68218 | 2022-12-22 | Paper |
Survey on mining signal temporal logic specifications
Information and Computation | 2022-12-08 | Paper |
Model checking hyperproperties for Markov decision processes
Information and Computation | 2022-12-08 | Paper |
Adaptive testing for specification coverage and refinement in CPS models
Nonlinear Analysis. Hybrid Systems | 2022-10-14 | Paper |
Flavors of sequential information flow
| 2022-07-08 | Paper |
scientific article; zbMATH DE number 7471693 (Why is no real title available?)
| 2022-02-09 | Paper |
Moment-based analysis of Bayesian network properties
Theoretical Computer Science | 2022-02-01 | Paper |
A normative supervisor for reinforcement learning agents
| 2021-12-01 | Paper |
Automated termination analysis of polynomial probabilistic programs
| 2021-10-18 | Paper |
Analysis of Bayesian networks via prob-solvable loops
| 2021-07-08 | Paper |
ARES: adaptive receding-horizon synthesis of optimal plans
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design | 2019-11-25 | Paper |
Extending a Hodgkin-Huxley model for larval \textit{Drosophila} muscle excitability via particle swarm fitting
| 2019-10-10 | Paper |
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
Quantitative regular expressions for arrhythmia detection algorithms
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
Hybrid Systems Biology | 2019-05-21 | Paper |
scientific article; zbMATH DE number 7020138 (Why is no real title available?)
| 2019-02-08 | Paper |
scientific article; zbMATH DE number 7020139 (Why is no real title available?)
| 2019-02-08 | Paper |
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
IEEE Transactions on Control of Network Systems | 2018-12-19 | Paper |
Localizing Faults in Simulink/Stateflow Models with STL
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
| 2018-01-11 | Paper |
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Temporal logic as filtering
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Model-order reduction of ion channel dynamics using approximate bisimulation
Theoretical Computer Science | 2015-09-29 | Paper |
Data-driven statistical learning of temporal logic properties
Lecture Notes in Computer Science | 2015-08-06 | Paper |
System design of stochastic models using robustness of temporal properties
Theoretical Computer Science | 2015-06-10 | Paper |
Model checking biological oscillators
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Spatial networks of hybrid I/O automata for modeling excitable tissue
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Multiple verification in complex biological systems: the bone remodelling case study
Lecture Notes in Computer Science | 2013-04-03 | Paper |
On temporal logic and signal processing
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Model repair for probabilistic systems
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
Detecting synchronisation of biological oscillators by model checking
Theoretical Computer Science | 2010-05-11 | Paper |
Modeling and simulation of cardiac tissue using hybrid I/O automata
Theoretical Computer Science | 2009-08-07 | Paper |
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Concurrency, Graphs and Models | 2008-06-19 | Paper |
