×

zbMATH — the first resource for mathematics

Ouaknine, Joel O.

Compute Distance To:
Author ID: ouaknine.joel-o Recent zbMATH articles by "Ouaknine, Joel O."
Published as: Ouaknine, Joël; Ouaknine, Joel; Ouaknine, Joel O.; Ouaknine, J.
External Links: ORCID · dblp
Documents Indexed: 104 Publications since 2002, including 3 Books
all top 5

Co-Authors

1 single-authored
78 Worrell, James B.
9 Haase, Christoph
8 Pouly, Amaury
7 Clarke, Edmund Melson jun.
6 Bouyer, Patricia
6 Chaki, Sagar
6 Kiefer, Stefan
6 Markey, Nicolas
6 Murawski, Andrzej S.
6 Strichman, Ofer
5 Chonev, Ventsislav
5 Mislove, Michael W.
5 Roscoe, Andrew William
5 Sousa-Pinto, Joao
4 Almagor, Shaull
4 Bundala, Daniel
4 Kröning, Daniel
4 Lazić, Ranko
4 Wachter, Björn
3 Abdulla, Parosh Aziz
3 Brihaye, Thomas
3 Fijalkow, Nathanaël
3 Ho, Hsi-Ming
3 Lechner, Antonia
3 Palikareva, Hristina
3 Potapov, Igor
3 Sharygina, Natasha
2 Antonopoulos, Timos
2 Deneux, Johann
2 Doyen, Laurent
2 Geeraerts, Gilles
2 Göller, Stefan
2 Hunter, Paul
2 Mayr, Richard M.
2 Newcomb, Tom
2 Ohlmann, Pierre
2 Quaas, Karin
2 Rabinovich, Alexander
2 Raskin, Jean-François
2 Schnoebelen, Philippe
2 Seshia, Sanjit Arunkumar
2 Sinha, Nishant
2 van Breugel, Franck
2 Yorav, Karen
1 Adams, Sara
1 Akshay, S.
1 Arends, Felix
1 Bojańczyk, Mikołaj
1 Brady, Bryan A.
1 Bruna, Maria
1 Bryant, Randal E.
1 Chapman, Brynmor
1 Chistikov, Dmitry V.
1 Cook, Byron
1 Drucker, Nir
1 Fahrenberg, Uli
1 Fehnker, Ansgar
1 Fried, Dror
1 Galby, Esther
1 Gorogiannis, Nikos
1 Grigore, Radu
1 Groce, Alex
1 Grumberg, Orna
1 Han, Zhi
1 Hosseini, Mehran
1 Hrushovski, Ehud
1 Hsu, Justin
1 Jenkins, Mark D.
1 Kanovich, Max Iosifovich
1 Kenison, George
1 Kreutzer, Stephan
1 Krogh, Bruce H.
1 Laroussinie, François
1 Larsen, Kim Guldstrand
1 Lasota, Sławomir
1 Legay, Axel
1 Lowe, Gavin
1 Parkinson, Matthew J.
1 Pavlović, Duško
1 Penn, Michal
1 Silva, Alexandra
1 Stokely, Murray
1 Stursberg, Olaf
1 Theobald, Michael
1 Touili, Tayssir
1 Vaandrager, Frits W.
1 van Heerdt, Gerco
1 Vardi, Moshe Y.
1 Veith, Helmut
1 Wahl, Thomas
1 Wampler, Charles W. II
1 Zhang, Lijun

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 431 times in 292 Documents Cited by Year
Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael
20
2003
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
18
2007
On metric temporal logic and faulty Turing machines. Zbl 1180.03021
Ouaknine, Joël; Worrell, James
18
2006
Some recent results in metric temporal logic. Zbl 1171.68553
Ouaknine, Joël; Worrell, James
17
2008
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
17
2008
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
15
2004
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2005
State/event-based software model checking. Zbl 1196.68129
Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
13
2004
Completeness and complexity of bounded model checking. Zbl 1202.68244
Clarke, Edmund; Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer
13
2004
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
11
2009
Ultimate positivity is decidable for simple linear recurrence sequences. Zbl 1410.11135
Ouaknine, Joël; Worrell, James
10
2014
Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281
Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan
10
2007
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
On the positivity problem for simple linear recurrence sequences. Zbl 1410.11134
Ouaknine, Joël; Worrell, James
9
2014
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
8
2014
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
8
2009
Positivity problems for low-order linear recurrence sequences. Zbl 1423.11209
Ouaknine, Joël; Worrell, James
7
2014
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
On probabilistic program equivalence and refinement. Zbl 1134.68351
Murawski, Andrzej S.; Ouaknine, Joël
7
2005
Advances in parametric real-time reasoning. Zbl 1426.68140
Bundala, Daniel; Ouaknine, Joël
6
2014
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Digitisation and full abstraction for dense-time model checking. Zbl 1043.68581
Ouaknine, Joël
6
2002
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
Safety metric temporal logic is fully decidable. Zbl 1180.03020
Ouaknine, Joël; Worrell, James
6
2006
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Decision problems for linear recurrence sequences. Zbl 1298.11015
Ouaknine, Joël; Worrell, James
6
2012
Expressive completeness for metric temporal logic. Zbl 1366.03184
Hunter, Paul; Ouaknine, Joël; Worrell, James
5
2013
Reachability problems for Markov chains. Zbl 1302.68204
Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James
5
2015
Nets with tokens which carry data. Zbl 1226.68062
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
5
2007
Universality and language inclusion for open and closed timed automata. Zbl 1032.68096
Ouaknine, Joël; Worrell, James
5
2003
On termination of integer linear loops. Zbl 1372.68065
Ouaknine, Joël; Sousa Pinto, João; Worrell, James
5
2015
Towards a theory of time-bounded verification. Zbl 1288.68170
Ouaknine, Joël; Worrell, James
5
2010
Linear completeness thresholds for bounded model checking. Zbl 1360.68592
Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer; Wahl, Thomas; Worrell, James
5
2011
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
Abstraction-based satisfiability solving of Presburger arithmetic. Zbl 1103.68626
Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer
4
2004
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2010
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
On searching for small Kochen-Specker vector systems. Zbl 1341.05162
Arends, Felix; Ouaknine, Joël; Wampler, Charles W.
4
2011
A static analysis framework for livelock freedom in CSP. Zbl 1274.68250
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
4
2013
Model checking flat freeze LTL on one-counter automata. Zbl 1392.68257
Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James
3
2016
On the complexity of linear arithmetic with divisibility. Zbl 1401.03070
Lechner, Antonia; Ouaknine, Joel; Worrell, James
3
2015
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
On matrix powering in low dimensions. Zbl 1355.68117
Galby, Esther; Ouaknine, Joël; Worrell, James
3
2015
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2013
Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665
Ouaknine, Joël; Worrell, James
3
2003
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
3
2005
SAT-solving in CSP trace refinement. Zbl 1243.68216
Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W.
3
2012
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
The cyclic-routing UAV problem is PSPACE-complete. Zbl 1459.68077
Ho, Hsi-Ming; Ouaknine, Joël
2
2015
On the complexity of temporal-logic path checking. Zbl 1410.68219
Bundala, Daniel; Ouaknine, Joël
2
2014
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2013
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
On the Skolem problem for continuous linear dynamical systems. Zbl 1388.68043
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
On parametric timed automata and one-counter machines. Zbl 1362.68131
Bundala, Daniel; Ouaknine, Joel
2
2017
On the complexity of the orbit problem. Zbl 1426.68116
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
The polyhedron-hitting problem. Zbl 1372.68260
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2015
Efficient verification of sequential and concurrent C programs. Zbl 1101.68677
Chaki, S.; Clarke, E.; Groce, A.; Ouaknine, J.; Strichman, O.; Yorav, K.
2
2004
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
2
2008
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2012
Automated compositional abstraction refinement for concurrent C programs: a two-level approach. Zbl 1271.68081
Chaki, Sagar; Ouaknine, Joël; Yorav, Karen; Clarke, Edmund
2
2003
Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034
Lazić, Ranko; Ouaknine, Joël; Worrell, James
2
2013
On timed models and full abstraction. Zbl 1273.68262
Lowe, Gavin; Ouaknine, Joël
2
2006
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
The polytope-collision problem. Zbl 1441.68083
Almagor, Shaull; Ouaknine, Joël; Worrell, James
1
2017
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
1
2018
The orbit problem in higher dimensions. Zbl 1293.68139
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
1
2013
Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Zbl 1317.68013
Ouaknine, Joël (ed.); Potapov, Igor (ed.); Worrell, James (ed.)
1
2014
On the magnitude of completeness thresholds in bounded model checking. Zbl 1360.68579
Bundala, Daniel; Ouaknine, Joël; Worrell, James
1
2012
On process-algebraic extensions of metric temporal logic. Zbl 1215.68150
Haase, Christoph; Ouaknine, Joël; Worrell, James
1
2010
Static livelock analysis in CSP. Zbl 1300.68036
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
1
2011
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
Timed CSP = closed timed automata. Zbl 1270.68219
Ouaknine, Joël; Worrell, James
1
2002
On the decidability of reachability in linear time-invariant systems. Zbl 07120143
Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James
1
2019
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
Mislove, Michael (ed.); Ouaknine, Joël (ed.)
1
2011
On the decidability of reachability in linear time-invariant systems. Zbl 07120143
Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James
1
2019
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
1
2018
On parametric timed automata and one-counter machines. Zbl 1362.68131
Bundala, Daniel; Ouaknine, Joel
2
2017
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
The polytope-collision problem. Zbl 1441.68083
Almagor, Shaull; Ouaknine, Joël; Worrell, James
1
2017
Model checking flat freeze LTL on one-counter automata. Zbl 1392.68257
Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James
3
2016
On the Skolem problem for continuous linear dynamical systems. Zbl 1388.68043
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
On the complexity of the orbit problem. Zbl 1426.68116
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2016
Reachability problems for Markov chains. Zbl 1302.68204
Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James
5
2015
On termination of integer linear loops. Zbl 1372.68065
Ouaknine, Joël; Sousa Pinto, João; Worrell, James
5
2015
On the complexity of linear arithmetic with divisibility. Zbl 1401.03070
Lechner, Antonia; Ouaknine, Joel; Worrell, James
3
2015
On matrix powering in low dimensions. Zbl 1355.68117
Galby, Esther; Ouaknine, Joël; Worrell, James
3
2015
The cyclic-routing UAV problem is PSPACE-complete. Zbl 1459.68077
Ho, Hsi-Ming; Ouaknine, Joël
2
2015
The polyhedron-hitting problem. Zbl 1372.68260
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
2
2015
Ultimate positivity is decidable for simple linear recurrence sequences. Zbl 1410.11135
Ouaknine, Joël; Worrell, James
10
2014
On the positivity problem for simple linear recurrence sequences. Zbl 1410.11134
Ouaknine, Joël; Worrell, James
9
2014
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
8
2014
Positivity problems for low-order linear recurrence sequences. Zbl 1423.11209
Ouaknine, Joël; Worrell, James
7
2014
Advances in parametric real-time reasoning. Zbl 1426.68140
Bundala, Daniel; Ouaknine, Joël
6
2014
On the complexity of temporal-logic path checking. Zbl 1410.68219
Bundala, Daniel; Ouaknine, Joël
2
2014
Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Zbl 1317.68013
Ouaknine, Joël; Potapov, Igor; Worrell, James
1
2014
Expressive completeness for metric temporal logic. Zbl 1366.03184
Hunter, Paul; Ouaknine, Joël; Worrell, James
5
2013
A static analysis framework for livelock freedom in CSP. Zbl 1274.68250
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
4
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2013
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2013
Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034
Lazić, Ranko; Ouaknine, Joël; Worrell, James
2
2013
The orbit problem in higher dimensions. Zbl 1293.68139
Chonev, Ventsislav; Ouaknine, Joël; Worrell, James
1
2013
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Decision problems for linear recurrence sequences. Zbl 1298.11015
Ouaknine, Joël; Worrell, James
6
2012
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
SAT-solving in CSP trace refinement. Zbl 1243.68216
Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W.
3
2012
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2012
On the magnitude of completeness thresholds in bounded model checking. Zbl 1360.68579
Bundala, Daniel; Ouaknine, Joël; Worrell, James
1
2012
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Linear completeness thresholds for bounded model checking. Zbl 1360.68592
Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer; Wahl, Thomas; Worrell, James
5
2011
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
On searching for small Kochen-Specker vector systems. Zbl 1341.05162
Arends, Felix; Ouaknine, Joël; Wampler, Charles W.
4
2011
Static livelock analysis in CSP. Zbl 1300.68036
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James
1
2011
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
Mislove, Michael; Ouaknine, Joël
1
2011
Towards a theory of time-bounded verification. Zbl 1288.68170
Ouaknine, Joël; Worrell, James
5
2010
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2010
On process-algebraic extensions of metric temporal logic. Zbl 1215.68150
Haase, Christoph; Ouaknine, Joël; Worrell, James
1
2010
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
11
2009
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
8
2009
Some recent results in metric temporal logic. Zbl 1171.68553
Ouaknine, Joël; Worrell, James
17
2008
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
17
2008
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
2
2008
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008
Ouaknine, Joel O.; Worrell, James B.
18
2007
Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281
Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan
10
2007
Nets with tokens which carry data. Zbl 1226.68062
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
5
2007
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
On metric temporal logic and faulty Turing machines. Zbl 1180.03021
Ouaknine, Joël; Worrell, James
18
2006
Safety metric temporal logic is fully decidable. Zbl 1180.03020
Ouaknine, Joël; Worrell, James
6
2006
On timed models and full abstraction. Zbl 1273.68262
Lowe, Gavin; Ouaknine, Joël
2
2006
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
14
2005
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
On probabilistic program equivalence and refinement. Zbl 1134.68351
Murawski, Andrzej S.; Ouaknine, Joël
7
2005
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
3
2005
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
15
2004
State/event-based software model checking. Zbl 1196.68129
Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
13
2004
Completeness and complexity of bounded model checking. Zbl 1202.68244
Clarke, Edmund; Kroening, Daniel; Ouaknine, Joël; Strichman, Ofer
13
2004
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
Abstraction-based satisfiability solving of Presburger arithmetic. Zbl 1103.68626
Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer
4
2004
Efficient verification of sequential and concurrent C programs. Zbl 1101.68677
Chaki, S.; Clarke, E.; Groce, A.; Ouaknine, J.; Strichman, O.; Yorav, K.
2
2004
Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael
20
2003
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
Universality and language inclusion for open and closed timed automata. Zbl 1032.68096
Ouaknine, Joël; Worrell, James
5
2003
Timed CSP = closed timed \(\varepsilon\)-automata. Zbl 1096.68665
Ouaknine, Joël; Worrell, James
3
2003
Automated compositional abstraction refinement for concurrent C programs: a two-level approach. Zbl 1271.68081
Chaki, Sagar; Ouaknine, Joël; Yorav, Karen; Clarke, Edmund
2
2003
Digitisation and full abstraction for dense-time model checking. Zbl 1043.68581
Ouaknine, Joël
6
2002
Timed CSP = closed timed automata. Zbl 1270.68219
Ouaknine, Joël; Worrell, James
1
2002
all top 5

Cited by 575 Authors

23 Ouaknine, Joel O.
22 Worrell, James B.
9 Demri, Stéphane P.
7 Roscoe, Andrew William
7 Sangnier, Arnaud
6 Larsen, Kim Guldstrand
5 Bouyer, Patricia
5 Doyen, Laurent
5 Kiefer, Stefan
5 Kröning, Daniel
5 Lasota, Sławomir
5 Lazić, Ranko
5 Rosa-Velardo, Fernando
4 Abdulla, Parosh Aziz
4 André, Étienne
4 Chatterjee, Krishnendu
4 Chen, Taolue
4 Delzanno, Giorgio
4 Deng, Yuxin
4 Feng, Yuan
4 Mardare, Radu
4 Mislove, Michael W.
4 Montanari, Angelo
4 Rossi, Matteo A. C.
3 Akshay, S.
3 Bacci, Giorgio
3 Beneš, Nikola
3 Bersani, Marcello Maria
3 Clarke, Edmund Melson jun.
3 Dal Lago, Ugo
3 Dang, Thao
3 Deters, Morgan
3 Dong, JinSong
3 Fiadeiro, José Luiz
3 Goubault-Larrecq, Jean
3 Haase, Christoph
3 Henzinger, Thomas A.
3 Ho, Hsi-Ming
3 Kwiatkowska, Marta Z.
3 Liu, Yang
3 Lopes, Antónia
3 Markey, Nicolas
3 Murawski, Andrzej S.
3 Panangaden, Prakash
3 Pandya, Paritosh K.
3 Platzer, André
3 Potapov, Igor
3 Quaas, Karin
3 Raskin, Jean-François
3 Ratschan, Stefan
3 Sala, Pietro
3 Sampaio, Augusto C. A.
3 Schmitz, Sylvain
3 Schnoebelen, Philippe
3 Strichman, Ofer
3 Sun, Jun
3 Zhang, Lijun
2 Almagor, Shaull
2 Antonino, Pedro
2 Bacci, Giovanni
2 Benvenuti, Luca
2 Bérard, Béatrice
2 Biere, Armin
2 Bollig, Benedikt
2 Bonchi, Filippo
2 Bonsangue, Marcello Maria
2 Bozzano, Marco
2 Bozzelli, Laura
2 Bresolin, Davide
2 Brim, Luboš
2 Bruttomesso, Roberto
2 Černá, Ivana
2 Chen, Yixiang
2 Cimatti, Alessandro
2 Cook, Byron
2 de Frutos-Escrig, David
2 Desharnais, Josée
2 Dhar, Amit Kumar
2 Dimovski, Aleksandar S.
2 Fahrenberg, Uli
2 Finkel, Alain
2 Frehse, Goran
2 Geeraerts, Gilles
2 Girard, Antoine
2 Halfon, Simon
2 Hampson, Christopher
2 Hofman, Piotr
2 Huang, Chengchao
2 Junttila, Tommi A.
2 Jurdziński, Marcin
2 Karandikar, Prateek
2 Konnov, Igor V.
2 Kosovskaya, Tat’yana Matveevna
2 Kosovskiĭ, Nikolaĭ Nikolaevich
2 Kosovskij, N. K.
2 Krishna, Shankara Narayanan
2 Legay, Axel
2 Li, Zhibin
2 Lime, Didier
2 Lohrey, Markus
...and 475 more Authors
all top 5

Cited in 51 Serials

32 Theoretical Computer Science
26 Information and Computation
16 Formal Aspects of Computing
14 Formal Methods in System Design
13 Journal of Computer and System Sciences
12 Logical Methods in Computer Science
10 Journal of Automated Reasoning
8 Acta Informatica
6 Information Processing Letters
5 Theory of Computing Systems
5 ACM Transactions on Computational Logic
3 Science of Computer Programming
3 MSCS. Mathematical Structures in Computer Science
3 International Journal of Foundations of Computer Science
3 Nonlinear Analysis. Hybrid Systems
3 Journal of Logical and Algebraic Methods in Programming
2 Journal of Symbolic Computation
2 Real-Time Systems
2 Vestnik St. Petersburg University. Mathematics
2 Journal of Applied Non-Classical Logics
2 European Journal of Control
2 Journal of the ACM
2 Journal of Applied Logic
2 Frontiers of Computer Science
1 Artificial Intelligence
1 Information Sciences
1 Journal of Number Theory
1 Journal of Optimization Theory and Applications
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 SIAM Journal on Computing
1 Studia Logica
1 Topology and its Applications
1 Annals of Pure and Applied Logic
1 New Generation Computing
1 Computers & Operations Research
1 International Journal of Approximate Reasoning
1 Discrete Event Dynamic Systems
1 Numerical Algorithms
1 Distributed Computing
1 Indagationes Mathematicae. New Series
1 International Journal of Robust and Nonlinear Control
1 Journal of Logic, Language and Information
1 Journal of Functional Programming
1 Annals of Mathematics and Artificial Intelligence
1 Brazilian Journal of Probability and Statistics
1 Theory and Practice of Logic Programming
1 Journal of Applied Mathematics
1 Science in China. Series F
1 Computer Science Review
1 ACM Transactions on Computation Theory

Citations by Year