| Publication | Date of Publication | Type |
|---|
| RobTL: robustness temporal logic for CPS | 2026-02-10 | Paper |
Measuring robustness in cyber-physical systems under sensor attacks
Nonlinear Analysis. Hybrid Systems | 2025-03-10 | Paper |
| Logical characterization of trace metrics | 2025-02-26 | Paper |
| Logical characterization of bisimulation metrics | 2025-02-26 | Paper |
Robustness for biochemical networks: step-by-step approach
Theoretical Computer Science | 2024-12-02 | Paper |
| Computing bisimilarity metrics for probabilistic timed automata | 2024-04-19 | Paper |
| Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics | 2024-03-14 | Paper |
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Back to the format: a survey on SOS for probabilistic processes
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
A framework to measure the robustness of programs in the unpredictable environment
Logical Methods in Computer Science | 2023-08-26 | Paper |
Equivalences of Statecharts
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Weak simulation quasimetric in a gossip scenario
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
| How adaptive and reliable is your program? | 2022-03-21 | Paper |
A probabilistic calculus of cyber-physical systems
Information and Computation | 2021-07-21 | Paper |
| Fixed-point characterization of compositionality properties of probabilistic processes combinators | 2021-06-23 | Paper |
Fixed-point characterization of compositionality properties of probabilistic processes combinators
(available as arXiv preprint) | 2021-06-23 | Paper |
| Compositionality of approximate bisimulation for probabilistic systems | 2021-06-09 | Paper |
Compositionality of approximate bisimulation for probabilistic systems
(available as arXiv preprint) | 2021-06-09 | Paper |
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
Theoretical Computer Science | 2021-05-10 | Paper |
Raiders of the lost equivalence: probabilistic branching bisimilarity
Information Processing Letters | 2020-08-04 | Paper |
CospanSpan(Graph): a compositional description of the heart system
Fundamenta Informaticae | 2020-06-21 | Paper |
| Compositional weak metrics for group key update | 2020-05-26 | Paper |
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
Theoretical Computer Science | 2020-04-21 | Paper |
Probabilistic divide \& congruence: branching bisimilarity
Theoretical Computer Science | 2019-11-22 | Paper |
Logical characterization of branching metrics for nondeterministic probabilistic transition systems
Information and Computation | 2019-09-17 | Paper |
| Weak bisimulation metrics in models with nondeterminism and continuous state spaces | 2018-11-23 | Paper |
Equational reasonings in wireless network gossip protocols
(available as arXiv preprint) | 2018-11-02 | Paper |
SOS-based modal decomposition on nondeterministic probabilistic processes
(available as arXiv preprint) | 2018-08-15 | Paper |
| Modal decomposition on nondeterministic probabilistic processes | 2018-03-21 | Paper |
SOS specifications for uniformly continuous operators
Journal of Computer and System Sciences | 2017-11-14 | Paper |
| Sós specifications of probabilistic systems by uniformly continuous operators | 2017-09-12 | Paper |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Logical Methods in Computer Science | 2017-04-11 | Paper |
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
Fundamenta Informaticae | 2017-03-22 | Paper |
Compositional metric reasoning with probabilistic process calculi
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Probabilistic bisimulation as a congruence
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Systolic automata and P systems
Computing with New Resources | 2015-09-08 | Paper |
A specification format for rooted branching bisimulation
Fundamenta Informaticae | 2015-06-26 | Paper |
Compositional semantics and behavioural equivalences for reaction systems with restriction
Theoretical Computer Science | 2014-08-29 | Paper |
Notes on generative probabilistic bisimulation
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
A Compositional Semantics of Reaction Systems with Restriction
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Formal models of timing attacks on web privacy
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science | 2012-05-30 | Paper |
An overview on operational semantics in membrane computing
International Journal of Foundations of Computer Science | 2011-02-23 | Paper |
Membrane systems working in generating and accepting modes: expressiveness and encodings
Membrane Computing | 2011-01-21 | Paper |
Compositional semantics of spiking neural P systems
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
Theoretical Computer Science | 2010-05-27 | Paper |
| P systems with transport and diffusion membrane channels | 2009-08-10 | Paper |
\(\varepsilon\)-transitions in concurrent timed automata
Information Processing Letters | 2009-07-09 | Paper |
| scientific article; zbMATH DE number 5506889 (Why is no real title available?) | 2009-02-12 | Paper |
Non Expansive ε-Bisimulations
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Compositional semantics and behavioral equivalences for P systems
Theoretical Computer Science | 2008-05-19 | Paper |
Taylor approximation for hybrid systems
Information and Computation | 2007-11-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Information and Communications Security
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Concurrency in timed automata
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2104638 (Why is no real title available?) | 2004-10-01 | Paper |
Timed CCP compositionally embeds Argos and Lustre
Formal Aspects of Computing | 2004-10-01 | Paper |
Rule formats for compositional non-interference properties
The Journal of Logic and Algebraic Programming | 2004-09-08 | Paper |
| scientific article; zbMATH DE number 2064468 (Why is no real title available?) | 2004-05-18 | Paper |
An axiomatic semantics for the synchronous language Gentzen.
Journal of Computer and System Sciences | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1956550 (Why is no real title available?) | 2003-07-30 | Paper |
Transformations of timed cooperating automata
Fundamenta Informaticae | 2003-02-02 | Paper |
A comparison of Statecharts step semantics
Theoretical Computer Science | 2003-01-21 | Paper |
On disjunction of literals in triggers of statecharts transitions.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1839448 (Why is no real title available?) | 2002-12-02 | Paper |
An axiomatic semantics for Esterel
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1701363 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1696892 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1497788 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1435985 (Why is no real title available?) | 2000-04-26 | Paper |
