Research output per year
Research output per year
Research output
Search results
-
2010
Formal models for component connectors
de Oliveira Costa, D., 2010, 197 p.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile97 Downloads (Pure) -
2008
Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols
Torabi Dashti, M., 2008, Vrije Universiteit.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile89 Downloads (Pure) -
2007
What to Do Next? Analysing and Optimising System Behaviour in Time
Wijs, A. J., 2007, Vrije Universiteit.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile144 Downloads (Pure) -
2006
Verification Techniques for Extensions of Equality Logic
Badban, B., 2006, Vrije Universiteit.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile129 Downloads (Pure) -
2005
Modal Abstraction and Replication of Processes with Data
Valero Espada, M., 2005, Vrije Universiteit.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile47 Downloads (Pure) -
2004
Abstractions and Static Analysis for Verifying Reactive Systems
Yustinova, N., 2004Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile99 Downloads (Pure) -
Formal Verification of Distributed Systems
Pang, J., 2004, Vrije Universiteit.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile39 Downloads (Pure) -
On Distributed Verification and Verified Distribution
Orzan, S. M., 2004, Vrije Universiteit.Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
Open AccessFile94 Downloads (Pure)