Mambakam, Akshay; Asarin, Eugene; Basset, Nicolas; Dang, Thao 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 \textit{A. Mambakam} et al., in: 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; Zbl 07807955) Full Text: DOI
Blondin, Michael; Leys, Tim; Mazowiecki, Filip; Offtermatt, Philip; Pérez, Guillermo Continuous one-counter automata. (English) Zbl 07650599 ACM Trans. Comput. Log. 24, No. 1, Paper No. 3, 31 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Blondin} et al., ACM Trans. Comput. Log. 24, No. 1, Paper No. 3, 31 p. (2023; Zbl 07650599) Full Text: DOI arXiv
Balasubramanian, A. R. Coefficient synthesis for threshold automata. (English) Zbl 07714981 Lin, Anthony W. (ed.) et al., Reachability problems. 16th international conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13608, 125-139 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. R. Balasubramanian}, Lect. Notes Comput. Sci. 13608, 125--139 (2022; Zbl 07714981) Full Text: DOI arXiv
Bacci, Giovanni; Delahaye, Benoît; Larsen, Kim G.; Mariegaard, Anders 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 \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 13030, 57--77 (2022; Zbl 1522.68296) Full Text: DOI
André, Étienne; Marinho, Dylan; Petrucci, Laure; van de Pol, Jaco 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 \textit{É. André} et al., Lect. Notes Comput. Sci. 13465, 200--218 (2022; Zbl 07643436) Full Text: DOI arXiv
Bouyer, Patricia; Gastin, Paul; Herbreteau, Frédéric; Sankur, Ocan; Srivathsan, B. 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 \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 13465, 16--42 (2022; Zbl 07643426) Full Text: DOI arXiv
André, Étienne; Lime, Didier; Roux, Olivier H. Reachability and liveness in parametric timed automata. (English) Zbl 07566044 Log. Methods Comput. Sci. 18, No. 1, Paper No. 31, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{É. André} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 31, 41 p. (2022; Zbl 07566044) Full Text: arXiv Link
André, Étienne; Nguyen, Hoang Gia; Petrucci, Laure; Sun, Jun Distributed parametric model checking timed automata under non-zenoness assumption. (English) Zbl 1522.68294 Form. Methods Syst. Des. 59, No. 1-3, 253-290 (2021). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{É. André} et al., Form. Methods Syst. Des. 59, No. 1--3, 253--290 (2021; Zbl 1522.68294) Full Text: DOI
André, Étienne IMITATOR 3: synthesis of timing parameters beyond decidability. (English) Zbl 1493.68202 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 552-565 (2021). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{É. André}, Lect. Notes Comput. Sci. 12759, 552--565 (2021; Zbl 1493.68202) Full Text: DOI
Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip 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). MSC: 68Q45 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{A. Hartmanns} et al., Lect. Notes Comput. Sci. 12846, 39--58 (2021; Zbl 1491.68098) Full Text: DOI
Bønneland, Frederik M.; Jensen, Peter G.; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří 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 \textit{F. M. Bønneland} et al., Lect. Notes Comput. Sci. 12860, 32--49 (2021; Zbl 07497999) Full Text: DOI
Lime, Didier; Roux, Olivier H.; Seidner, Charlotte Cost problems for parametric time Petri nets. (English) Zbl 1522.68367 Fundam. Inform. 183, No. 1-2, 97-123 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Lime} et al., Fundam. Inform. 183, No. 1--2, 97--123 (2021; Zbl 1522.68367) Full Text: DOI arXiv
André, Étienne; Lime, Didier; Ramparison, Mathias; Stoelinga, Mariëlle Parametric analyses of attack-fault trees. (English) Zbl 1491.68034 Fundam. Inform. 182, No. 1, 69-94 (2021). MSC: 68M25 68Q45 PDFBibTeX XMLCite \textit{É. André} et al., Fundam. Inform. 182, No. 1, 69--94 (2021; Zbl 1491.68034) Full Text: DOI arXiv
André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David Parametric schedulability analysis of a launcher flight control system under reactivity constraints. (English) Zbl 1520.93344 Fundam. Inform. 182, No. 1, 31-67 (2021). MSC: 93C85 68Q60 90B35 PDFBibTeX XMLCite \textit{É. André} et al., Fundam. Inform. 182, No. 1, 31--67 (2021; Zbl 1520.93344) Full Text: DOI arXiv
van de Pol, Jaco; Petrucci, Laure 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 \textit{J. van de Pol} and \textit{L. Petrucci}, Lect. Notes Comput. Sci. 12669, 3--10 (2021; Zbl 07415130) Full Text: DOI
Sérée, Bastien; Jezequel, Loïg; Lime, Didier 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 \textit{B. Sérée} et al., Lect. Notes Comput. Sci. 12638, 279--290 (2021; Zbl 07405994) Full Text: DOI HAL
André, Étienne; Arias, Jaime; Petrucci, Laure; van de Pol, Jaco 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 \textit{É. André} et al., Lect. Notes Comput. Sci. 12651, 311--329 (2021; Zbl 1467.68078) Full Text: DOI
André, Étienne; Lime, Didier; Ramparison, Mathias Parametric updates in parametric timed automata. (English) Zbl 07350779 Log. Methods Comput. Sci. 17, No. 2, Paper No. 13, 67 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{É. André} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 13, 67 p. (2021; Zbl 07350779) Full Text: arXiv Link
André, Étienne; Delahaye, Benoît; Fournier, Paulin Consistency in parametric interval probabilistic timed automata. (English) Zbl 1494.68157 J. Log. Algebr. Methods Program. 110, Article ID 100459, 22 p. (2020). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{É. André} et al., J. Log. Algebr. Methods Program. 110, Article ID 100459, 22 p. (2020; Zbl 1494.68157) Full Text: DOI arXiv
André, Étienne; Lime, Didier; Markey, Nicolas Language preservation problems in parametric timed automata. (English) Zbl 1429.68098 Log. Methods Comput. Sci. 16, No. 1, Paper No. 5, 31 p. (2020). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{É. André} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 5, 31 p. (2020; Zbl 1429.68098) Full Text: arXiv
Lime, Didier; Roux, Olivier H.; Seidner, Charlotte 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 \textit{D. Lime} et al., Lect. Notes Comput. Sci. 11522, 406--425 (2019; Zbl 07796235) Full Text: DOI
André, Étienne; Sun, Jun 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 \textit{É. André} and \textit{J. Sun}, Lect. Notes Comput. Sci. 11781, 115--130 (2019; Zbl 1437.68110) Full Text: DOI arXiv Link
Bollig, Benedikt; Quaas, Karin; Sangnier, Arnaud The complexity of flat freeze LTL. (English) Zbl 1442.68101 Log. Methods Comput. Sci. 15, No. 3, Paper No. 33, 26 p. (2019). MSC: 68Q60 03B44 68Q25 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 33, 26 p. (2019; Zbl 1442.68101) Full Text: DOI arXiv
Jovanović, Aleksandra; Lime, Didier; Roux, Olivier H. A game approach to the parametric control of real-time systems. (English) Zbl 1421.93017 Int. J. Control 92, No. 9, 2025-2036 (2019). MSC: 93B03 93B50 91A80 68Q45 PDFBibTeX XMLCite \textit{A. Jovanović} et al., Int. J. Control 92, No. 9, 2025--2036 (2019; Zbl 1421.93017) Full Text: DOI HAL
Bart, Anicet; Delahaye, Benoît; Fournier, Paulin; Lime, Didier; Monfroy, Éric; Truchet, Charlotte Reachability in parametric interval Markov chains using constraints. (English) Zbl 1400.68118 Theor. Comput. Sci. 747, 48-74 (2018). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{A. Bart} et al., Theor. Comput. Sci. 747, 48--74 (2018; Zbl 1400.68118) Full Text: DOI arXiv
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André Verification of hybrid systems. (English) Zbl 1392.68246 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1047-1110 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{L. Doyen} et al., in: Handbook of model checking. Cham: Springer. 1047--1110 (2018; Zbl 1392.68246) Full Text: DOI
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James Model checking real-time systems. (English) Zbl 1392.68235 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1001-1046 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., in: Handbook of model checking. Cham: Springer. 1001--1046 (2018; Zbl 1392.68235) Full Text: DOI HAL
Bezděk, Peter; Beneš, Nikola; Černá, Ivana; Barnat, Jiří On clock-aware LTL parameter synthesis of timed automata. (English) Zbl 1395.68164 J. Log. Algebr. Methods Program. 99, 114-142 (2018). MSC: 68Q45 03B44 68Q60 PDFBibTeX XMLCite \textit{P. Bezděk} et al., J. Log. Algebr. Methods Program. 99, 114--142 (2018; Zbl 1395.68164) Full Text: DOI
Jovanović, Aleksandra; Kwiatkowska, Marta Parameter synthesis for probabilistic timed automata using stochastic game abstractions. (English) Zbl 1393.68096 Theor. Comput. Sci. 735, 64-81 (2018). MSC: 68Q45 68Q60 68Q87 91A15 PDFBibTeX XMLCite \textit{A. Jovanović} and \textit{M. Kwiatkowska}, Theor. Comput. Sci. 735, 64--81 (2018; Zbl 1393.68096) Full Text: DOI
André, Étienne; Lin, Shang-Wei The language preservation problem is undecidable for parametric event-recording automata. (English) Zbl 1457.68137 Inf. Process. Lett. 136, 17-20 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{É. André} and \textit{S.-W. Lin}, Inf. Process. Lett. 136, 17--20 (2018; Zbl 1457.68137) Full Text: DOI arXiv
Bollig, Benedikt; Quaas, Karin; Sangnier, Arnaud 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). MSC: 68Q60 03B44 68Q25 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 33, 16 p. (2017; Zbl 1442.68102) Full Text: DOI
David, Nicolas; Jard, Claude; Lime, Didier; Roux, Olivier H. 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 \textit{N. David} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 14, 16 p. (2017; Zbl 1442.68133) Full Text: DOI
Bundala, Daniel; Ouaknine, Joel On parametric timed automata and one-counter machines. (English) Zbl 1362.68131 Inf. Comput. 253, Part 2, 272-303 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Bundala} and \textit{J. Ouaknine}, Inf. Comput. 253, Part 2, 272--303 (2017; Zbl 1362.68131) Full Text: DOI Link
André, Étienne 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 \textit{É. André}, Commun. Comput. Inf. Sci. 596, 52--68 (2016; Zbl 1396.68064) Full Text: DOI arXiv
Bezděk, Peter; Beneš, Nikola; Barnat, Jiří; Černá, Ivana 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 \textit{P. Bezděk} et al., Lect. Notes Comput. Sci. 9763, 172--187 (2016; Zbl 1390.68422) Full Text: DOI arXiv
André, Étienne Parametric deadlock-freeness checking timed automata. (English) Zbl 1482.68132 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 469-478 (2016). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{É. André}, Lect. Notes Comput. Sci. 9965, 469--478 (2016; Zbl 1482.68132) Full Text: DOI
Wimmer, Simon Formalized timed automata. (English) Zbl 1478.68183 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 425-440 (2016). MSC: 68Q60 68Q45 68Q85 68V15 68V20 PDFBibTeX XMLCite \textit{S. Wimmer}, Lect. Notes Comput. Sci. 9807, 425--440 (2016; Zbl 1478.68183) Full Text: DOI
Christoffersen, Peter; Hansen, Mikkel; Mariegaard, Anders; Ringsmose, Julian Trier; Larsen, Kim Guldstrand; Mardare, Radu 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 \textit{P. Christoffersen} et al., OASIcs -- OpenAccess Ser. Inform. 44, 77--90 (2015; Zbl 1429.68140) Full Text: DOI
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří 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 \textit{N. Beneš} et al., Lect. Notes Comput. Sci. 9135, 69--81 (2015; Zbl 1440.68150) Full Text: DOI arXiv
Avni, Guy; Kupferman, Orna Parameterized weighted containment. (English) Zbl 1354.68145 ACM Trans. Comput. Log. 16, No. 1, Article No. 6, 25 p. (2015). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, ACM Trans. Comput. Log. 16, No. 1, Article No. 6, 25 p. (2015; Zbl 1354.68145) Full Text: DOI
André, Étienne; Markey, Nicolas 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 \textit{É. André} and \textit{N. Markey}, Lect. Notes Comput. Sci. 9268, 27--43 (2015; Zbl 1465.68129) Full Text: DOI
David, Nicolas; Jard, Claude; Lime, Didier; Roux, H. 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 \textit{N. David} et al., Lect. Notes Comput. Sci. 9115, 137--156 (2015; Zbl 1432.68303) Full Text: DOI HAL
Motallebi, Hassan; Azgomi, Mohammad Abdollahi Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques. (English) Zbl 1309.68140 Inf. Comput. 241, 321-348 (2015). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{H. Motallebi} and \textit{M. A. Azgomi}, Inf. Comput. 241, 321--348 (2015; Zbl 1309.68140) Full Text: DOI
Di Giampaolo, Barbara; La Torre, Salvatore; Napoli, Margherita Parametric metric interval temporal logic. (English) Zbl 1317.68112 Theor. Comput. Sci. 564, 131-148 (2015). MSC: 68Q60 03B25 03B44 03D05 68Q17 68Q25 PDFBibTeX XMLCite \textit{B. Di Giampaolo} et al., Theor. Comput. Sci. 564, 131--148 (2015; Zbl 1317.68112) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan Robust reachability in timed automata and games: a game-based approach. (English) Zbl 1302.68153 Theor. Comput. Sci. 563, 43-74 (2015). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Theor. Comput. Sci. 563, 43--74 (2015; Zbl 1302.68153) Full Text: DOI
Dixit, Manoj G.; Ramesh, S.; Dasgupta, Pallab Time-budgeting: a component based development methodology for real-time embedded systems. (English) Zbl 1342.68042 Formal Asp. Comput. 26, No. 3, 591-621 (2014). MSC: 68M20 68M14 PDFBibTeX XMLCite \textit{M. G. Dixit} et al., Formal Asp. Comput. 26, No. 3, 591--621 (2014; Zbl 1342.68042) Full Text: DOI
Jovanović, Aleksandra; Kwiatkowska, Marta 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). MSC: 68Q45 68Q60 68Q87 91A15 PDFBibTeX XMLCite \textit{A. Jovanović} and \textit{M. Kwiatkowska}, Lect. Notes Comput. Sci. 8762, 176--189 (2014; Zbl 1393.68095) Full Text: DOI
Fontana, Peter; Cleaveland, Rance A menagerie of timed automata. (English) Zbl 1305.68113 ACM Comput. Surv. 46, No. 3, Article No. 40, 56 p. (2014); corrections ibid. 50, No. 3, Article No. 42, 8p. (2017). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{P. Fontana} and \textit{R. Cleaveland}, ACM Comput. Surv. 46, No. 3, Article No. 40, 56 p. (2014; Zbl 1305.68113) Full Text: DOI
André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song Parameter synthesis for hierarchical concurrent real-time systems. (English) Zbl 1314.68081 Real-Time Syst. 50, No. 5-6, 620-679 (2014). MSC: 68M20 68Q60 PDFBibTeX XMLCite \textit{É. André} et al., Real-Time Syst. 50, No. 5--6, 620--679 (2014; Zbl 1314.68081) Full Text: DOI Link
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie 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 \textit{U. Fahrenberg} et al., Lect. Notes Comput. Sci. 8415, 98--117 (2014; Zbl 1416.68112) Full Text: DOI
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej Robust synthesis for real-time systems. (English) Zbl 1311.68088 Theor. Comput. Sci. 515, 96-122 (2014). MSC: 68Q60 68Q45 91A80 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., Theor. Comput. Sci. 515, 96--122 (2014; Zbl 1311.68088) Full Text: DOI
André, Étienne; Fribourg, Laurent; Sproston, Jeremy An extension of the inverse method to probabilistic timed automata. (English) Zbl 1291.68240 Form. Methods Syst. Des. 42, No. 2, 119-145 (2013). MSC: 68Q60 68Q87 68Q45 PDFBibTeX XMLCite \textit{É. André} et al., Form. Methods Syst. Des. 42, No. 2, 119--145 (2013; Zbl 1291.68240) Full Text: DOI
Waez, Md Tawhid Bin; Dingel, Juergen; Rudie, Karen A survey of timed automata for the development of real-time systems. (English) Zbl 1302.68180 Comput. Sci. Rev. 9, 1-26 (2013). MSC: 68Q45 68Q55 68Q60 68-02 PDFBibTeX XMLCite \textit{M. T. B. Waez} et al., Comput. Sci. Rev. 9, 1--26 (2013; Zbl 1302.68180) Full Text: DOI
Lime, Didier; Martinez, Claude; Roux, Olivier H. Shrinking of time Petri nets. (English) Zbl 1273.93112 Discrete Event Dyn. Syst. 23, No. 4, 419-438 (2013). MSC: 93C65 05C90 PDFBibTeX XMLCite \textit{D. Lime} et al., Discrete Event Dyn. Syst. 23, No. 4, 419--438 (2013; Zbl 1273.93112) Full Text: DOI
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo Low dimensional hybrid systems – decidable, undecidable, don’t know. (English) Zbl 1279.68127 Inf. Comput. 211, 138-159 (2012). MSC: 68Q45 68Q05 37B99 68Q85 PDFBibTeX XMLCite \textit{E. Asarin} et al., Inf. Comput. 211, 138--159 (2012; Zbl 1279.68127) Full Text: DOI
Bozzelli, Laura; La Torre, Salvatore Decision problems for lower/upper bound parametric timed automata. (English) Zbl 1186.68245 Form. Methods Syst. Des. 35, No. 2, 121-151 (2009). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{L. Bozzelli} and \textit{S. La Torre}, Form. Methods Syst. Des. 35, No. 2, 121--151 (2009; Zbl 1186.68245) Full Text: DOI
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James 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 \textit{C. Haase} et al., Lect. Notes Comput. Sci. 5710, 369--383 (2009; Zbl 1254.68134) Full Text: DOI
Yen, Hsu-Chun; Chen, Chien-Liang On minimal elements of upward-closed sets. (English) Zbl 1168.68032 Theor. Comput. Sci. 410, No. 24-25, 2442-2452 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{H.-C. Yen} and \textit{C.-L. Chen}, Theor. Comput. Sci. 410, No. 24--25, 2442--2452 (2009; Zbl 1168.68032) Full Text: DOI
André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle 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 \textit{É. André} et al., Electron. Notes Theor. Comput. Sci. 223, 29--46 (2008; Zbl 1337.68150) Full Text: DOI
Traonouez, Louis-Marie; Lime, Didier; Roux, Olivier H. 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 \textit{L.-M. Traonouez} et al., Lect. Notes Comput. Sci. 5215, 280--294 (2008; Zbl 1171.68580) Full Text: DOI
Waszniowski, Libor; Hanzálek, Zdeněk Formal verification of multitasking applications based on timed automata model. (English) Zbl 1133.68381 Real-Time Syst. 38, No. 1, 39-65 (2008). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{L. Waszniowski} and \textit{Z. Hanzálek}, Real-Time Syst. 38, No. 1, 39--65 (2008; Zbl 1133.68381) Full Text: DOI
Doyen, Laurent Robust parametric reachability for timed automata. (English) Zbl 1184.68337 Inf. Process. Lett. 102, No. 5, 208-213 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Doyen}, Inf. Process. Lett. 102, No. 5, 208--213 (2007; Zbl 1184.68337) Full Text: DOI
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo Parametric probabilistic transition systems for system design and analysis. (English) Zbl 1111.68084 Formal Asp. Comput. 19, No. 1, 93-109 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Formal Asp. Comput. 19, No. 1, 93--109 (2007; Zbl 1111.68084) Full Text: DOI
Peled, Doron; Qu, Hongyang 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 \textit{D. Peled} and \textit{H. Qu}, Lect. Notes Comput. Sci. 3997, 152--169 (2006; Zbl 1183.68181) Full Text: DOI
Wang, Farn; Yen, Hsu-Chun Reachability solution characterization of parametric real-time systems. (English) Zbl 1071.68054 Theor. Comput. Sci. 328, No. 1-2, 187-201 (2004). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Wang} and \textit{H.-C. Yen}, Theor. Comput. Sci. 328, No. 1--2, 187--201 (2004; Zbl 1071.68054) Full Text: DOI
Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine Updatable timed automata. (English) Zbl 1070.68063 Theor. Comput. Sci. 321, No. 2-3, 291-345 (2004). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Theor. Comput. Sci. 321, No. 2--3, 291--345 (2004; Zbl 1070.68063) Full Text: DOI
Dang, Zhe; Ibarra, Oscar H.; Kemmerer, Richard A. Generalized discrete timed automata: Decidable approximations for safety verification. (English) Zbl 1044.68086 Theor. Comput. Sci. 296, No. 1, 59-74 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{Z. Dang} et al., Theor. Comput. Sci. 296, No. 1, 59--74 (2003; Zbl 1044.68086) Full Text: DOI
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits Linear parametric model checking of timed automata. (English) Zbl 1008.68069 J. Log. Algebr. Program. 52-53, 183-220 (2002). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{T. Hune} et al., J. Log. Algebr. Program. 52--53, 183--220 (2002; Zbl 1008.68069) Full Text: DOI
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin What’s decidable about hybrid automata? (English) Zbl 0920.68091 J. Comput. Syst. Sci. 57, No. 1, 94-124 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., J. Comput. Syst. Sci. 57, No. 1, 94--124 (1998; Zbl 0920.68091) Full Text: DOI Link
Weise, Carsten; Lenzkes, Dirk 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 \textit{C. Weise} and \textit{D. Lenzkes}, Lect. Notes Comput. Sci. 1200, 177--188 (1997; Zbl 1498.68175) Full Text: DOI
Ramakrishna, Y. S.; Melliar-Smith, P. M.; Moser, L. E.; Dillon, L. K.; Kutty, G. Interval logics and their decision procedures. II: A real-time interval logic. (English) Zbl 0874.03032 Theor. Comput. Sci. 170, No. 1-2, 1-46 (1996). MSC: 03B80 68Q10 03B25 PDFBibTeX XMLCite \textit{Y. S. Ramakrishna} et al., Theor. Comput. Sci. 170, No. 1--2, 1--46 (1996; Zbl 0874.03032) Full Text: DOI
Ramakrishna, Y. S.; Dillon, L. K.; Moser, L. E.; Melliar-Smith, P. M.; Kutty, G. A real-time interval logic and its decision procedure. (English) Zbl 1009.68517 Sādhanā 21, No. 2, 147-184 (1996). MSC: 68Q60 03B25 03B45 03B70 68Q10 PDFBibTeX XMLCite \textit{Y. S. Ramakrishna} et al., Sādhanā 21, No. 2, 147--184 (1996; Zbl 1009.68517) Full Text: DOI
Ibarra, Oscar H.; Jiang, Tao; Tran, Nicholas; Wang, Hui 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 \textit{O. H. Ibarra} et al., Lect. Notes Comput. Sci. 700, 313--324 (1993; Zbl 1422.68150) Full Text: DOI