| Publication | Date of Publication | Type |
|---|
| Controlling large Boolean networks with temporary and permanent perturbations | 2024-03-14 | Paper |
Towards the existential control of Boolean networks: a preliminary report
Dependable Software Engineering. Theories, Tools, and Applications | 2023-05-26 | Paper |
| Sequential temporary and permanent control of Boolean networks | 2022-12-22 | Paper |
| Sequential reprogramming of Boolean networks made practical | 2019-10-10 | Paper |
Model checking with fairness assumptions using PAT
Frontiers of Computer Science | 2019-05-28 | Paper |
GPU-accelerated steady-state computation of large probabilistic Boolean networks
Formal Aspects of Computing | 2019-03-13 | Paper |
An automatic proving approach to parameterized verification
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| Fast simulation of probabilistic Boolean networks | 2018-03-22 | Paper |
Fast simulation of probabilistic Boolean networks
(available as arXiv preprint) | 2018-03-22 | Paper |
| A similarity search technique for graph set | 2018-01-29 | Paper |
ParaVerifier: an automatic framework for proving parameterized cache coherence protocols
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Formalizing provable anonymity in Isabelle/HOL
Formal Aspects of Computing | 2015-07-23 | Paper |
An inductive approach to strand spaces
Formal Aspects of Computing | 2014-11-11 | Paper |
Privacy and verifiability in voting systems: methods, developments and trends
Computer Science Review | 2014-01-29 | Paper |
Keeping secrets in resource aware components
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Weak probabilistic anonymity
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Formal verification of timed systems using cones and foci | 2013-10-02 | Paper |
| Simplifying Itai-Rodeh leader election for anonymous rings | 2013-09-26 | Paper |
Fast leader election in anonymous rings with bounded expected delay
Information Processing Letters | 2013-04-04 | Paper |
Probabilistic model checking of the PDGF signaling pathway
Lecture Notes in Computer Science | 2013-04-03 | Paper |
A fuzzy biclustering algorithm for single cluster
Journal of Systems Engineering | 2012-10-05 | Paper |
An algorithm for probabilistic alternating simulation
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
A novel approach for clustering sentiments in Chinese blogs based on graph similarity
Computers & Mathematics with Applications | 2012-02-05 | Paper |
On probabilistic alternating simulations
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
A formal framework for quantifying voter-controlled privacy
Journal of Algorithms | 2009-07-24 | Paper |
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
Applied Cryptography and Network Security | 2009-03-10 | Paper |
A Framework for Automatically Checking Anonymity with μCRL
Trustworthy Global Computing | 2009-03-05 | Paper |
| Is timed branching bisimilarity a congruence indeed? | 2009-02-12 | Paper |
Automating Verification of Cooperation, Control, and Design in Traffic Applications
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Automatic Verification of Hybrid Systems with Large Discrete State Space
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Adapting the UPPAAL Model of a Distributed Lift System
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Model checking a cache coherence protocol of a Java DSM implementation
The Journal of Logic and Algebraic Programming | 2007-02-09 | Paper |
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design | 2006-11-17 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Verification of a sliding window protocol in \(\mu\) CRL and PVS
Formal Aspects of Computing | 2005-12-13 | Paper |
| scientific article; zbMATH DE number 2226803 (Why is no real title available?) | 2005-11-08 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Analysis of a distributed system for lifting trucks.
The Journal of Logic and Algebraic Programming | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1956518 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1949618 (Why is no real title available?) | 2003-07-15 | Paper |
A formal software development approach using refinement calculus
Journal of Computer Science and Technology | 2001-12-16 | Paper |
