Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Orzan, Simona - Wiskunde en Informatica, Technische Universiteit Eindhoven
Invariants for Parameterised Boolean Equation Systems
PDMC 2003 Preliminary Version Distributed Branching Bisimulation Reduction
Static Analysis Techniques for Parameterised Boolean Equation Systems
Data failures (brief announcement) Simona Orzan1 and Mohammad Torabi Dashti2
Fair exchange is incomparable to consensus Simona Orzan1
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
On Distributed Verification and Verified Distribution
FMICS 2003 Preliminary Version Distributed State Space Minimization
Invariants for Parameterised Boolean Equation Systems (extended abstract)
Modelling the Epistemics of Communication with Functional Programming
Parameterised anonymity Jan Friso Groote and Simona Orzan
Verification of distributed dataspace architectures Simona Orzan1,2
VRIJE UNIVERSITEIT On Distributed Verification
Epistemic Verification of Anonymity Jan van Eijck
PDMC 2004 Preliminary Version A State Space Distribution Policy based on
Multiparty Contract Signing over a Reliable Network
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
LYS | a knowledge analysis toolset Simona Orzan
Centrum voor Wiskunde en Informatica REPORTRAPPORT
