Concepedia

Franck van Breugel

FV

19

Publications

969

Citations

14

H-Index

1995

Active since

Affiliations

York University(Current)

University of Pisa

University of Oxford

Tulane University

Franck van Breugel is an author at York University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware DesignSystem SoftwareAutomated ReasoningSoftware Engineering

Publications per year

1995–2014

19

Publications

19

Non-blocking binary search trees

Faith Ellen, Panagiota Fatourou, Eric Ruppert et al. · 2010 · 189 citations

Mathematical Programming, Engineering, Computer Architecture +20

A behavioural pseudometric for probabilistic transition systems

Franck van Breugel, James Worrell · Theoretical Computer Science · 2004 · 142 citations

Probabilistic System, Behavioural Pseudometric, Markov Kernel +1

Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding

Marcello Bonsangue, Franck van Breugel, J.J.M.M. Rutten · Theoretical Computer Science · 1998 · 126 citations

Domain Theory, Set-theoretic Topology, Computer Science +4

Approximating and computing behavioural distances in probabilistic transition systems

Franck van Breugel, James Worrell · Theoretical Computer Science · 2006 · 65 citations

Probabilistic System, Probabilistic Verification, Probabilistic Computation +2

Modelling and verifying web service orchestration by means of the concurrency workbench

Mariya Koshkina, Franck van Breugel · ACM SIGSOFT Software Engineering Notes · 2004 · 64 citations

Web Service Specification, Engineering, Web Service Orchestration +20

Rows per page

1–5 of 19