1![Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3 Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3](https://www.pdfsearch.io/img/051036fff31383a77741242e21bf32dd.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2016-01-18 08:43:29
|
---|
2![M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1](https://www.pdfsearch.io/img/9a3045aabc3adfe58eb94988a2f417a5.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2013-11-24 07:41:22
|
---|
3![The Reachability Problem for Vector Addition Systems J´erˆ ome Leroux LaBRI (CNRS and University of Bordeaux), France. J´ The Reachability Problem for Vector Addition Systems J´erˆ ome Leroux LaBRI (CNRS and University of Bordeaux), France. J´](https://www.pdfsearch.io/img/ea1d5e15aaec1c0759ee4d97016fa1f1.jpg) | Add to Reading ListSource URL: www.uet.vnu.edu.vnLanguage: English - Date: 2016-03-06 11:51:31
|
---|
4![On the Decidability of the Reachability Problem for Planar Differential Inclusions ? E. Asarin ?? On the Decidability of the Reachability Problem for Planar Differential Inclusions ? E. Asarin ??](https://www.pdfsearch.io/img/3814fde714fb03f47c3305a14e6d81ea.jpg) | Add to Reading ListSource URL: www.liafa.jussieu.frLanguage: English - Date: 2003-09-04 08:34:46
|
---|
5![Reachability Analysis via Face Lifting? Thao Dang and Oded Maler Verimag, Centre Equation, 2, av. de Vignate, 38610 Gi eres, France, fThao.Dang, Abstract. In this paper we discuss the problem of calc Reachability Analysis via Face Lifting? Thao Dang and Oded Maler Verimag, Centre Equation, 2, av. de Vignate, 38610 Gi eres, France, fThao.Dang, Abstract. In this paper we discuss the problem of calc](https://www.pdfsearch.io/img/e8604933bbf8347f1b1d51f914a75620.jpg) | Add to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2006-04-28 11:30:06
|
---|
6![Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519, Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519,](https://www.pdfsearch.io/img/c11af8bd2221ad26b753ace4208a8e58.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2012-08-06 16:28:45
|
---|
7![A Lazy Reachability Algorithm for Timed Automata B. Srivathsan LaBRI, Universit´e Bordeaux 1 The reachability problem for timed automata refers to deciding if there exists A Lazy Reachability Algorithm for Timed Automata B. Srivathsan LaBRI, Universit´e Bordeaux 1 The reachability problem for timed automata refers to deciding if there exists](https://www.pdfsearch.io/img/2c7dc438cb8f5cff917a91014421935f.jpg) | Add to Reading ListSource URL: www.cmi.ac.inLanguage: English - Date: 2010-12-23 06:40:11
|
---|
8![Pushing the Boundaries of the Complexity of the Reachability Problem in Vector Addition Systems One Step at a Time Christoph Haase Laboratoire Spécification et Vérification (LSV), CNRS Pushing the Boundaries of the Complexity of the Reachability Problem in Vector Addition Systems One Step at a Time Christoph Haase Laboratoire Spécification et Vérification (LSV), CNRS](https://www.pdfsearch.io/img/5138f92a38f2cdcb969f0c5135171105.jpg) | Add to Reading ListSource URL: www.cmi.ac.inLanguage: English - Date: 2015-02-23 23:15:03
|
---|
9![iRoad: A Framework For Scalable Predictive Query Processing On Road Networks ∗ Abdeltawab M. Hendawi iRoad: A Framework For Scalable Predictive Query Processing On Road Networks ∗ Abdeltawab M. Hendawi](https://www.pdfsearch.io/img/8b89eb048c92ccb896fddcb036bf6ece.jpg) | Add to Reading ListSource URL: www-users.cs.umn.eduLanguage: English - Date: 2015-04-07 01:41:51
|
---|
10![Specification Inference Using Context-Free Language Reachability Osbert Bastani Saswat Anand Specification Inference Using Context-Free Language Reachability Osbert Bastani Saswat Anand](https://www.pdfsearch.io/img/40d0a5ce80d5f29c732636fe159ba66b.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2015-02-24 02:42:36
|
---|