van Breugel, Franck - Department of Computer Science, York University (Toronto)

• Let Numbers Point Students the Way: Address-Based Memory Diagrams for OOP
• Verification of Business Processes for Web Services Mariya Koshkina and Franck van Breugel
• Models and Verification of BPEL Franck van Breugel1
• MEASURING PROGRESS OF MODEL CHECKING RANDOMIZED ALGORITHMS
• ANALYSIS THROUGH REFLECTION: WALKING THE EMF MODEL OF BPEL4WS
• Author: Franck van Breugel Title: Topological Models in Comparative Semantics
• Probabilistic Model Checking with Java PathFinder
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Universita di Pisa Dipartimento di Informatica
• The Metric Monad for Probabilistic Nondeterminism
• Detecting Data Races with Java PathFinder Sergey Kulikov1
• From Branching to Linear Metric Domains Franck van Breugely
• Universita di Pisa Dipartimento di Informatica
• Alexandro and Scott Topologies for Generalized Ultrametric Spaces
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Mobility and Modularity: expressing -calculus in CCS
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Analysis through Reflection Walking the EMF model of BPEL4WS
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Semantic Analysis of Pict in Java Darius Antia and Franck van Breugel
• Universita di Pisa Dipartimento di Informatica
• A Theory of Metric Labelled Transition Systems Franck van Breugel
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Metric Semantics for Second Order Communication Jaco de Bakker
• BRICSRS-95-30F.vanBreugel:FromBranchingtoLinearMetricDomains(andback) BRICSBasic Research in Computer Science
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Centrum voor Wiskunde en Informatica REPORTRAPPORT
• Comparative Semantics for a Real-Time Programming Language with Integration1
• Semantic Models for a Language with Timed Atomic Actions
• A Progress Measure for Explicit-State Probabilistic Model-Checkers Xin Zhang and Franck van Breugel
• A Note on the Hutchinson Metric Franck van Breugel
• An Algorithm to Quantify Behavioural Similarity between Probabilistic Systems
• A Simulator for Peer-to-Peer Overlay Algorithms Vladimir Blagojevic
• Verification of Business Processes for Web Services Mariya Koshkina
• Corretto: A CUP of Java with Grappa A Tool for Parser Generation
• Semantic Analysis of Pict in Java Darius Antia
• An Intrinsic Characterization of Approximate Probabilistic Bisimulation
• Centrum voor Wiskunde en Informatica REPORTRAPPORT