|
|
Topics
Time-Bounded Verification.
(with J. Ouaknine)
Proceedings of CONCUR 09, LNCS xxxx, Springer, 2009.
Some recent results in Metric Temporal Logic.
(with J. Ouaknine)
Proceedings of FORMATS 08, LNCS 5215, Springer, 2008.
On expressiveness and complexity in real-time
model checking.
(with P. Bouyer, N. Markey, J. Ouaknine)
Proceedings of ICALP 08, LNCS 5126, Springer, 2008.
The cost of punctuality.
(with P. Bouyer, N. Markey, J. Ouaknine)
Proceedings of LICS 2007, IEEE Computer Society Press, 2007.
Zone-based universality analysis for
single-clock timed automata.
(with P. A. Abdulla, J. Ouaknine, K. Quaas)
Proceedings of FSEN 07, LNCS 4767, Springer, 2007.
On the decidability and complexity of Metric Temporal Logic over
finite words.
(with J. Ouaknine).
In Logical Methods in
Computer Science 3(1).
On Metric Temporal Logic and faulty Turing
machines.
(with J. Ouaknine).
Proceedings of FOSSACS 06, LNCS 3921, Springer, 2006.
Safety Metric Temporal Logic is fully decidable
.
(with J. Ouaknine).
Proceedings of TACAS 06, LNCS 3920, Springer, 2006.
Decidability and complexity results for
timed automata via channel systems.
(with P.A. Abdulla, J. Deneux, J. Ouaknine).
Proceedings of ICALP 05,
LNCS 3580, Springer, 2005.
On the decidability of Metric Temporal
Logic.
(with J. Ouaknine).
Proceedings of LICS 2005,
IEEE Computer Society Press, 2005.
On the language inclusion problem for
timed automata: Closing a decidability gap
.
(with J. Ouaknine).
Proceedings of LICS 2004, IEEE Computer Society Press, 2004.
Timed CSP = closed timed epsilon-automata
.
(with J.
Ouaknine).
Nordic Journal of Computing, Volume 10, Number 2,
2003.
Revisiting digitization, robustness
and decidability for timed automata.
(with J. Ouaknine)
Proceedings of LICS 2003, IEEE Computer Society Press, 2003.
Universality and Language Inclusion for Open and
Closed Timed Automata.
(with J. Ouaknine)
Proceedings of
HSCC 03, LNCS 2623, Springer, 2003.
Timed CSP = closed timed automata
(with J.
Ouaknine).
Proceedings of EXPRESS 02, ENTCS 68(2), 2002.
Reachability for succinct and parametric
one-counter automata
(with C. Haase, S. Kreutzer, J. Ouaknine).
Proceedings of CONCUR 09, LNCS xxxx, Springer, 2009.
On termination for faulty channel
machines
(with P. Bouyer, N. Markey, J.
Ouaknine, Ph. Schnoebelen).
Proceedings of STACS 08, 2008.
Nets with tokens which carry
data.
(with R. Lazic, T. Newcomb, J. Ouaknine,
A.W. Roscoe).
Proceedings of ICATPN 07, LNCS 4546, Springer, 2007.
Labelled Markov processes as generalised
stochastic relations.
(with Dusko Pavlovic and Michael
Mislove)
In Computation, Meaning, and Logic: Articles dedicated
to Gordon Plotkin, ENTCS
172, 2007.
Approximating a behavioural pseudometric
without discount.
(with Franck van Breugel and Babita
Sharma)
Proceeding of FOSSACS 07, LNCS 4423, Springer, 2007.
Approximating and computing behavioural distances in probabilistic
transition systems.
(with F. van Breugel)
Theoretical Computer Science 360(1-3):373-385, 2006.
An accessible approach to behavioural pseudometrics.
(with Franck van Breugel, Claudio Hermida and Michael Makkai).
Proceeding of
ICALP 2005, LNCS 3580, Springer, 2005.
Domain theory, simulation and testing for labelled Markov
processes.
(with Franck Van Breguel, Michael Mislove and
Joel Ouaknine)
Theoretical Computer Science 333(1-2): 171--197, 2005
A behavioural pseudometric for probabilistic transition systems.
(with Franck van Breugel)
Theoretical Computer Science 331(1):115--142, 2005.
Duality
for Labelled Markov Processes.
(with Michael Mislove, Joel
Ouaknine and Dusko Pavlovic)
Proceedings of FOSSACS 04, LNCS 2987, Springer, 2004.
Measuring the probabilistic
powerdomain.
(with Keye Martin and Michael Mislove)
Theoretical Computer Science 312(1):99--119, 2004.
Axioms for probability and
nondeterminism.
(with Michael Mislove and Joel Ouaknine)
Proceedings of EXPRESS 03, ENTCS 91(3), 2003.
An intrinsic characterization of
approximate probabilistic bisimilarity
(with Franck van
Breugel, Mike Mislove and Joel Ouaknine)
Proceedings of FOSSACS
03, LNCS 2620, Springer, 2003.
Testing labelled Markov processes
(with F. van
Breugel and Steven Shalit)
Proceedings of ICALP 02, LNCS 2380,
Springer, 2002.
Measuring the probabilistic
powerdomain
(with K. Martin and M. Mislove)
Proceedings ICALP 02, LNCS 2380, Springer, 2002.
Towards quantitative verification of probabilistic transition
systems
(with F. van Breugel)
Proceedings of ICALP 01,
LNCS 2076, Springer, 2001.
An algorithm for quantitative verification of probabilistic
transition systems.
(with F. van Breugel)
Proceedings
CONCUR 01, LNCS 2154, Springer, 2001.
On the final sequence of a finitary set
functor. (PDF version here .)
Theoretical Computer Science 338(1-3): 184--199, 2005.
A Note on Coalgebras and Presheaves
. (PDF version here.)
Mathematical Structures in Computer Science,
15:475--483, 2005.
On the structure of categories of coalgebras
(with
P.T. Johnstone, J. Power, T. Tujishita, H. Watanabe)
Theoretical Computer Science 260:87--117, 2001.
Coinduction for recursive data types: partial orders, metric
spaces and omega-categories.
Proceedings of CMCS 00, ENTCS 33, April
2000.
An axiomatics for categories of coalgebras
(with
P.T. Johnstone, J. Power, T. Tujishita, H. Watanabe)
Proceedings
of LICS 98, IEEE Computer Society Press, 1998.
Toposes of coalgebras and hidden algebras
Proceedings
of CMCS 98, ENTCS 11,
1998.
Last updated in April, 2005, by
jbw@mcomlab.ox.ac.uk
|
|
|
|
