×

Found 73 Documents (Results 1–73)

Pattern matching and parameter identification for parametric timed regular expressions. (English) Zbl 07807955

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Quantitative analysis of interval Markov chains. (English) Zbl 1522.68296

Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 57-77 (2022).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Efficient convex zone merging in parametric timed automata. (English) Zbl 07643436

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 200-218 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Zone-based verification of timed automata: extrapolations, simulations and what next? (English) Zbl 07643426

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 16-42 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tweaking the odds in probabilistic timed automata. (English) Zbl 1491.68098

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Stubborn set reduction for timed reachability and safety games. (English) Zbl 07497999

Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 32-49 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

On completeness of liveness synthesis for parametric timed automata (Extended Abstract). (English) Zbl 07415130

Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 3-10 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

An algorithm for single-source shortest paths enumeration in parameterized weighted graphs. (English) Zbl 07405994

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 279-290 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

Iterative bounded synthesis for efficient cycle detection in parametric timed automata. (English) Zbl 1467.68078

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 311-329 (2021).
MSC:  68Q45 68R10 68W05
PDFBibTeX XMLCite
Full Text: DOI

Parameter synthesis for bounded cost reachability in time Petri nets. (English) Zbl 07796235

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 406-425 (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Parametric timed model checking for guaranteeing timed opacity. (English) Zbl 1437.68110

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 115-130 (2019).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

The complexity of flat freeze LTL. (English) Zbl 1442.68102

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 33, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Coverability synthesis in parametric Petri nets. (English) Zbl 1442.68133

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 14, 16 p. (2017).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

What’s decidable about parametric timed automata? (English) Zbl 1396.68064

Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 52-68 (2016).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

LTL parameter synthesis of parametric timed automata. (English) Zbl 1390.68422

De Nicola, Rocco (ed.) et al., Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). Lecture Notes in Computer Science 9763, 172-187 (2016).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parametric verification of weighted systems. (English) Zbl 1429.68140

André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 77-90 (2015).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Language emptiness of continuous-time parametric timed automata. (English) Zbl 1440.68150

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 69-81 (2015).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Language preservation problems in parametric timed automata. (English) Zbl 1465.68129

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 27-43 (2015).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Discrete parameters in Petri nets. (English) Zbl 1432.68303

Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 137-156 (2015).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Parameter synthesis for probabilistic timed automata using stochastic game abstractions. (English) Zbl 1393.68095

Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 176-189 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Specification theories for probabilistic and real-time systems. (English) Zbl 1416.68112

Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8415, 98-117 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Reachability in succinct and parametric one-counter automata. (English) Zbl 1254.68134

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 369-383 (2009).
MSC:  68Q45 68Q17
PDFBibTeX XMLCite
Full Text: DOI

An inverse method for parametric timed automata. (English) Zbl 1337.68150

Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 29-46 (2008).
MSC:  68Q45 68Q60 94C10
PDFBibTeX XMLCite
Full Text: DOI

Parametric model-checking of time Petri nets with stopwatches using the state-class graph. (English) Zbl 1171.68580

Cassez, Franck (ed.) et al., Formal modeling and analysis of timed systems. 6th international conference, FORMATS 2008, Saint Malo, France, September 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85777-8/pbk). Lecture Notes in Computer Science 5215, 280-294 (2008).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Time unbalanced partial order. (English) Zbl 1183.68181

Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 152-169 (2006).
MSC:  68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Efficient scaling-invariant checking of timed bisimulation. (English) Zbl 1498.68175

Reischuk, Rüdiger (ed.) et al., STACS 97. 14th annual symposium on theoretical aspects of computer science. Lübeck, Germany, February 27 – March 1, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1200, 177-188 (1997).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

New decidability results concerning two-way counter machines and applications. (English) Zbl 1422.68150

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 313-324 (1993).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software