Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen A navigational logic for reasoning about graph properties. (English) Zbl 07316055 J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021). MSC: 68R10 03B70 PDF BibTeX XML Cite \textit{M. Navarro} et al., J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021; Zbl 07316055) Full Text: DOI
Troják, Matej; Šafránek, David; Brim, Luboš; Šalagovič, Jakub; Červený, Jan Executable biochemical space for specification and analysis of biochemical systems. (English) Zbl 07313959 Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 91-116 (2020). MSC: 92C42 92C40 PDF BibTeX XML Cite \textit{M. Troják} et al., Electron. Notes Theor. Comput. Sci. 350, 91--116 (2020; Zbl 07313959) Full Text: DOI
Chen, Xin; Peng, Chao; Lin, Wang; Yang, Zhengfeng; Zhang, Yifang; Li, Xuandong A novel approach for solving the BMI problem in barrier certificates generation. (English) Zbl 07306430 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 582-603 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{X. Chen} et al., Lect. Notes Comput. Sci. 12224, 582--603 (2020; Zbl 07306430) Full Text: DOI
Temel, Mertcan; Slobodova, Anna; Hunt, Warren A. Jr. Automated and scalable verification of integer multipliers. (English) Zbl 07306424 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 485-507 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Temel} et al., Lect. Notes Comput. Sci. 12224, 485--507 (2020; Zbl 07306424) Full Text: DOI
Samuel, Stanly; Mallik, Kaushik; Schmuck, Anne-Kathrin; Neider, Daniel Resilient abstraction-based controller design. (English) Zbl 07300874 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 33, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Samuel} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 33, 2 p. (2020; Zbl 07300874) Full Text: DOI
Ozay, Necmiye Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. (English) Zbl 07300873 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 32, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Ozay}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 32, 2 p. (2020; Zbl 07300873) Full Text: DOI
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 31, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. Lavaei} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020; Zbl 07300872) Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300871 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 30, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{P. Ashok} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 30, 2 p. (2020; Zbl 07300871) Full Text: DOI
Ornia, Daniel Jarne; Mazo, Manuel Convergence of ant colony multi-agent swarms. (English) Zbl 07300870 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 29, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{D. J. Ornia} and \textit{M. Mazo}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 29, 11 p. (2020; Zbl 07300870) Full Text: DOI
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup Case study: Verifying the safety of an autonomous racing car with a neural network controller. (English) Zbl 07300869 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 28, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{R. Ivanov} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 28, 7 p. (2020; Zbl 07300869) Full Text: DOI
Abhishek, Aakash; Sood, Harry; Jeannin, Jean-Baptiste Formal verification of braking while swerving in automobiles. (English) Zbl 07300868 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 27, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. Abhishek} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 27, 11 p. (2020; Zbl 07300868) Full Text: DOI
Shea-Blymyer, Colin; Abbas, Houssam A deontic logic analysis of autonomous systems’ safety. (English) Zbl 07300867 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 26, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{C. Shea-Blymyer} and \textit{H. Abbas}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 26, 11 p. (2020; Zbl 07300867) Full Text: DOI
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming Synthesizing barrier certificates using neural networks. (English) Zbl 07300866 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 25, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{H. Zhao} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 25, 11 p. (2020; Zbl 07300866) Full Text: DOI
Sadraddini, Sadra; Tedrake, Russ Robust output feedback control with guaranteed constraint satisfaction. (English) Zbl 07300865 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 24, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Sadraddini} and \textit{R. Tedrake}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 24, 10 p. (2020; Zbl 07300865) Full Text: DOI
Anevlavis, Tzanis; Tabuada, Paulo A simple hierarchy for computing controlled invariant sets. (English) Zbl 07300864 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 23, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{T. Anevlavis} and \textit{P. Tabuada}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 23, 11 p. (2020; Zbl 07300864) Full Text: DOI
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid Compositional construction of control barrier functions for interconnected control systems. (English) Zbl 07300863 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 22, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{P. Jagtap} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 22, 11 p. (2020; Zbl 07300863) Full Text: DOI
Maghenem, Mohamed; Sanfelice, Ricardo G. Local lipschitzness of reachability maps for hybrid systems with applications to safety. (English) Zbl 07300862 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 21, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Maghenem} and \textit{R. G. Sanfelice}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 21, 11 p. (2020; Zbl 07300862) Full Text: DOI
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan Implicit structural analysis of multimode DAE systems. (English) Zbl 07300861 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 20, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{B. Caillaud} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020; Zbl 07300861) Full Text: DOI
Proskurnikov, Anton V. Does sample-time emulation preserve exponential stability? (English) Zbl 07300860 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 19, 8 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. V. Proskurnikov}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 19, 8 p. (2020; Zbl 07300860) Full Text: DOI
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja A computable and compositional semantics for hybrid automata. (English) Zbl 07300859 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 18, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{D. Bresolin} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 18, 11 p. (2020; Zbl 07300859) Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300858 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 17, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{P. Ashok} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 17, 7 p. (2020; Zbl 07300858) Full Text: DOI
Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin Compositional synthesis via a convex parameterization of assume-guarantee contracts. (English) Zbl 07300857 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 16, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{K. Ghasemi} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 16, 10 p. (2020; Zbl 07300857) Full Text: DOI
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin On abstraction-based controller design with output feedback. (English) Zbl 07300856 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 15, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{R. Majumdar} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 15, 11 p. (2020; Zbl 07300856) Full Text: DOI
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh Symbolic controller synthesis for Büchi specifications on stochastic systems. (English) Zbl 07300855 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 14, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{R. Majumdar} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 14, 11 p. (2020; Zbl 07300855) Full Text: DOI
Kushner, Taisa; Sankaranarayanan, Sriram; Breton, Marc Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 13, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{T. Kushner} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020; Zbl 07300854) Full Text: DOI
Zarei, Mojtaba; Wang, Yu; Pajic, Miroslav Statistical verification of learning-based cyber-physical systems. (English) Zbl 07300853 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 12, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Zarei} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 12, 7 p. (2020; Zbl 07300853) Full Text: DOI
Waga, Masaki Falsification of cyber-physical systems with robustness-guided black-box checking. (English) Zbl 07300852 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 11, 13 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Waga}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 11, 13 p. (2020; Zbl 07300852) Full Text: DOI
Pilch, Carina; Hartmanns, Arnd; Remke, Anne Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. (English) Zbl 07300851 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 10, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{C. Pilch} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 10, 11 p. (2020; Zbl 07300851) Full Text: DOI
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre Interpretable classification of time-series data using efficient enumerative techniques. (English) Zbl 07300850 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 9, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Mohammadinejad} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 9, 10 p. (2020; Zbl 07300850) Full Text: DOI
Han, Hyejin; Maghenem, Mohamed; Sanfelice, Ricardo G. Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. (English) Zbl 07300849 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 8, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{H. Han} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 8, 10 p. (2020; Zbl 07300849) Full Text: DOI
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 7, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{C. Mascle} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020; Zbl 07300848) Full Text: DOI
Ferlez, James; Shoukry, Yasser AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 6, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{J. Ferlez} and \textit{Y. Shoukry}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020; Zbl 07300847) Full Text: DOI
Rabi, Maben Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. (English) Zbl 07300846 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 5, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Rabi}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 5, 11 p. (2020; Zbl 07300846) Full Text: DOI
Berger, Guillaume O.; Jungers, Raphaël M. Worst-case topological entropy and minimal data rate for state observation of switched linear systems. (English) Zbl 07300845 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 4, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{G. O. Berger} and \textit{R. M. Jungers}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 4, 11 p. (2020; Zbl 07300845) Full Text: DOI
el Hakim, Viktorio S.; Bekooij, Marco J. G. Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. (English) Zbl 07300844 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 3, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{V. S. el Hakim} and \textit{M. J. G. Bekooij}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 3, 11 p. (2020; Zbl 07300844) Full Text: DOI
Kochdumper, Niklas; Althoff, Matthias Reachability analysis for hybrid systems with nonlinear guard sets. (English) Zbl 07300843 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 2, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Kochdumper} and \textit{M. Althoff}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 2, 10 p. (2020; Zbl 07300843) Full Text: DOI
Kochdumper, Niklas; Schürmann, Bastian; Althoff, Matthias Utilizing dependencies to obtain subsets of reachable sets. (English) Zbl 07300842 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 1, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Kochdumper} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 1, 10 p. (2020; Zbl 07300842) Full Text: DOI
Carneiro, Mario Metamath Zero: designing a theorem prover prover. (English) Zbl 07298557 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-53517-9/pbk; 978-3-030-53518-6/ebook). Lecture Notes in Computer Science 12236. Lecture Notes in Artificial Intelligence, 71-88 (2020). MSC: 68V15 68Q60 PDF BibTeX XML Cite \textit{M. Carneiro}, Lect. Notes Comput. Sci. 12236, 71--88 (2020; Zbl 07298557) Full Text: DOI
Jiang, Jingjing; Qiao, Lei; Yang, Mengfei; Yang, Hua; Liu, Bo Operating system task management requirements layer modeling and verification based on Coq. (Chinese. English summary) Zbl 07295745 J. Softw. 31, No. 8, 2375-2387 (2020). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{J. Jiang} et al., J. Softw. 31, No. 8, 2375--2387 (2020; Zbl 07295745) Full Text: DOI
Wang, Changjing; Yu, Xiaojun; Shen, Deming; Luo, Haimei; Zuo, Zhengkang The two-level verification method of shared memory concurrent distributed algorithm based on concurrent Apla language. (Chinese. English summary) Zbl 07295368 J. Jiangxi Norm. Univ., Nat. Sci. Ed. 44, No. 3, 301-306 (2020). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{C. Wang} et al., J. Jiangxi Norm. Univ., Nat. Sci. Ed. 44, No. 3, 301--306 (2020; Zbl 07295368) Full Text: DOI
Cabalar, Pedro; Fandinno, Jorge; Lierler, Yuliya Modular answer set programming as a formal specification language. (English) Zbl 07284969 Theory Pract. Log. Program. 20, No. 5, 767-782 (2020). MSC: 68N17 PDF BibTeX XML Cite \textit{P. Cabalar} et al., Theory Pract. Log. Program. 20, No. 5, 767--782 (2020; Zbl 07284969) Full Text: DOI
Doroshenko, A. Y.; Yatsenko, O. A. Formal methods of parallel software design automation. (English) Zbl 07277675 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15-20 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Y. Doroshenko} and \textit{O. A. Yatsenko}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15--20 (2020; Zbl 07277675) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 07250930 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDF BibTeX XML Cite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 07250930) Full Text: DOI
Buro, Samuele; Mastroeni, Isabella On the semantic equivalence of language syntax formalisms. (English) Zbl 07248846 Theor. Comput. Sci. 840, 234-248 (2020). MSC: 68Q45 18A40 68Q42 PDF BibTeX XML Cite \textit{S. Buro} and \textit{I. Mastroeni}, Theor. Comput. Sci. 840, 234--248 (2020; Zbl 07248846) Full Text: DOI
Menghi, Claudio; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San Model checking MITL formulae on timed automata. A logic-based approach. (English) Zbl 1446.68095 ACM Trans. Comput. Log. 21, No. 3, Article No. 26, 44 p. (2020). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{C. Menghi} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 26, 44 p. (2020; Zbl 1446.68095) Full Text: DOI
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDF BibTeX XML Cite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI
Gürlebeck, Klaus; Legatiuk, Dmitrii; Nilsson, Henrik; Smarsly, Kay Conceptual modelling: towards detecting modelling errors in engineering applications. (English) Zbl 1445.00009 Math. Methods Appl. Sci. 43, No. 3, 1243-1252 (2020). MSC: 00A71 68N18 68Q55 68Q60 PDF BibTeX XML Cite \textit{K. Gürlebeck} et al., Math. Methods Appl. Sci. 43, No. 3, 1243--1252 (2020; Zbl 1445.00009) Full Text: DOI
Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha Verification of multi-agent systems with public actions against strategy logic. (English) Zbl 1451.68290 Artif. Intell. 285, Article ID 103302, 28 p. (2020). MSC: 68T42 68Q60 68T27 PDF BibTeX XML Cite \textit{F. Belardinelli} et al., Artif. Intell. 285, Article ID 103302, 28 p. (2020; Zbl 1451.68290) Full Text: DOI
Gezer, Mehmet Utkan Windable heads and recognizing NL with constant randomness. (English) Zbl 1437.68097 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 184-195 (2020). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. U. Gezer}, Lect. Notes Comput. Sci. 12038, 184--195 (2020; Zbl 1437.68097) Full Text: DOI
Donatelli, Susanna; Haddad, Serge Expressiveness and conciseness of timed automata for the verification of stochastic models. (English) Zbl 1437.68114 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 170-183 (2020). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{S. Donatelli} and \textit{S. Haddad}, Lect. Notes Comput. Sci. 12038, 170--183 (2020; Zbl 1437.68114) Full Text: DOI
Bhaskar, Siddharth; Chandlee, Jane; Jardine, Adam; Oakden, Christopher Boolean monadic recursive schemes as a logical characterization of the subsequential functions. (English) Zbl 1437.68042 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020). MSC: 68N30 03B70 03D05 68Q45 PDF BibTeX XML Cite \textit{S. Bhaskar} et al., Lect. Notes Comput. Sci. 12038, 157--169 (2020; Zbl 1437.68042) Full Text: DOI
Bowen, Jonathan P. Book review of: G. O’Regan, Concise guide to formal methods: theory, fundamentals and industry applications. (English) Zbl 1451.00026 Formal Asp. Comput. 32, No. 1, 147-148 (2020). MSC: 00A17 68-01 03B70 68N30 68Q45 68Q60 68V15 PDF BibTeX XML Cite \textit{J. P. Bowen}, Formal Asp. Comput. 32, No. 1, 147--148 (2020; Zbl 1451.00026) Full Text: DOI
Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M. Using formal verification to evaluate the execution time of Spark applications. (English) Zbl 1451.68166 Formal Asp. Comput. 32, No. 1, 33-70 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{L. Baresi} et al., Formal Asp. Comput. 32, No. 1, 33--70 (2020; Zbl 1451.68166) Full Text: DOI
Faran, Rachel; Kupferman, Orna On synthesis of specifications with arithmetic. (English) Zbl 1440.68171 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 161-173 (2020). MSC: 68Q60 68Q45 91A80 PDF BibTeX XML Cite \textit{R. Faran} and \textit{O. Kupferman}, Lect. Notes Comput. Sci. 12011, 161--173 (2020; Zbl 1440.68171) Full Text: DOI
Tsachouridis, Vassilios A.; Giantamidis, Georgios; Basagiannis, Stylianos; Kouramas, Kostas Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers. (English) Zbl 07220004 Numer. Algebra Control Optim. 10, No. 2, 177-206 (2020). MSC: 65F10 68Q60 PDF BibTeX XML Cite \textit{V. A. Tsachouridis} et al., Numer. Algebra Control Optim. 10, No. 2, 177--206 (2020; Zbl 07220004) Full Text: DOI
De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray Non-terminating processes in the situation calculus. (English) Zbl 1444.68179 Ann. Math. Artif. Intell. 88, No. 5-6, 623-640 (2020). MSC: 68T27 68N17 68Q60 68T30 PDF BibTeX XML Cite \textit{G. De Giacomo} et al., Ann. Math. Artif. Intell. 88, No. 5--6, 623--640 (2020; Zbl 1444.68179) Full Text: DOI
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 07205367 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 03C95 03C98 68N30 PDF BibTeX XML Cite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 07205367) Full Text: DOI
Murano, Aniello (ed.); Bouyer, Patricia (ed.); San Pietro, Pierluigi (ed.); Orlandini, Andrea (ed.) Preface. (English) Zbl 1443.68019 Inf. Comput. 272, Article ID 104497, 1 p. (2020). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{A. Murano} (ed.) et al., Inf. Comput. 272, Article ID 104497, 1 p. (2020; Zbl 1443.68019) Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. (English) Zbl 1434.93002 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). 33 articles, not consecutively paged (2020). MSC: 93-06 68-06 68Q45 68Q60 93C30 00B25 PDF BibTeX XML Cite Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM) (2020; Zbl 1434.93002) Full Text: DOI
Chockler, Hana; Kesseli, Pascal; Kroening, Daniel; Strichman, Ofer Learning the language of software errors. (English) Zbl 1437.68071 J. Artif. Intell. Res. (JAIR) 67, 881-903 (2020). MSC: 68Q32 68N30 68Q45 68Q60 PDF BibTeX XML Cite \textit{H. Chockler} et al., J. Artif. Intell. Res. (JAIR) 67, 881--903 (2020; Zbl 1437.68071) Full Text: DOI
Bohlender, Dimitri; Kowalewski, Stefan Leveraging Horn clause solving for compositional verification of PLC software. (English) Zbl 1435.68190 Discrete Event Dyn. Syst. 30, No. 1, 1-24 (2020). MSC: 68Q60 68N30 68Q55 93C85 PDF BibTeX XML Cite \textit{D. Bohlender} and \textit{S. Kowalewski}, Discrete Event Dyn. Syst. 30, No. 1, 1--24 (2020; Zbl 1435.68190) Full Text: DOI
Spalazzi, Luca; Spegni, Francesco Parameterized model checking of networks of timed automata with Boolean guards. (English) Zbl 1433.68219 Theor. Comput. Sci. 813, 248-269 (2020). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{L. Spalazzi} and \textit{F. Spegni}, Theor. Comput. Sci. 813, 248--269 (2020; Zbl 1433.68219) Full Text: DOI
Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana Alternating-time temporal logics with linear past. (English) Zbl 1433.03050 Theor. Comput. Sci. 813, 199-217 (2020). MSC: 03B44 68Q60 PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 813, 199--217 (2020; Zbl 1433.03050) Full Text: DOI
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk Reactive synthesis with maximum realizability of linear temporal logic specifications. (English) Zbl 1435.68193 Acta Inf. 57, No. 1-2, 107-135 (2020). MSC: 68Q60 03B44 68Q45 68R07 68T40 PDF BibTeX XML Cite \textit{R. Dimitrova} et al., Acta Inf. 57, No. 1--2, 107--135 (2020; Zbl 1435.68193) Full Text: DOI
Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon Practical synthesis of reactive systems from LTL specifications via parity games. (English) Zbl 1435.68200 Acta Inf. 57, No. 1-2, 3-36 (2020). MSC: 68Q60 03B44 68Q45 91A43 91A80 PDF BibTeX XML Cite \textit{M. Luttenberger} et al., Acta Inf. 57, No. 1--2, 3--36 (2020; Zbl 1435.68200) Full Text: DOI
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz Efficient and modular coalgebraic partition refinement. (English) Zbl 1442.68113 Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDF BibTeX XML Cite \textit{T. Wißmann} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020; Zbl 1442.68113) Full Text: arXiv
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei A novel approach to verifying context free properties of programs. (English) Zbl 1436.68200 Theor. Comput. Sci. 809, 519-530 (2020). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{N. Zhang} et al., Theor. Comput. Sci. 809, 519--530 (2020; Zbl 1436.68200) Full Text: DOI
Wang, Jiacun; Tepfenhart, William Formal methods in computer science. (English) Zbl 1436.68002 Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-0-367-22570-4/hbk; 978-1-4987-7532-8/pbk; 978-0-429-18418-5/ebook). xvii, 294 p. (2020). Reviewer: Roger Villemaire (Montréal) MSC: 68-01 03B44 03B70 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Wang} and \textit{W. Tepfenhart}, Formal methods in computer science. Boca Raton, FL: CRC Press (2020; Zbl 1436.68002) Full Text: DOI
Wang, Hanpin; Zhang, Lei A survey on formal methods in cloud computing. (Chinese. English summary) Zbl 1449.68007 J. Guangzhou Univ., Nat. Sci. 18, No. 4, 69-74 (2019). MSC: 68M11 68Q01 68Q60 68-02 PDF BibTeX XML Cite \textit{H. Wang} and \textit{L. Zhang}, J. Guangzhou Univ., Nat. Sci. 18, No. 4, 69--74 (2019; Zbl 1449.68007)
Wang, Hanpin; Zhang, Bowen The technical foundation and research advances of separation logic. (Chinese. English summary) Zbl 1449.03012 J. Guangzhou Univ., Nat. Sci. 18, No. 2, 1-9 (2019). MSC: 03B70 68Q60 PDF BibTeX XML Cite \textit{H. Wang} and \textit{B. Zhang}, J. Guangzhou Univ., Nat. Sci. 18, No. 2, 1--9 (2019; Zbl 1449.03012)
Baier, Christel; Blahoudek, František; Duret-Lutz, Alexandre; Klein, Joachim; Müller, David; Strejček, Jan Generic emptiness check for fun and profit. (English) Zbl 1437.68092 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, 445-461 (2019). MSC: 68Q45 68Q60 68W40 PDF BibTeX XML Cite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 11781, 445--461 (2019; Zbl 1437.68092) Full Text: DOI
Křetínský, Jan; Manta, Alexander; Meggendorfer, Tobias Semantic labelling and learning for parity game solving in LTL synthesis. (English) Zbl 1437.68118 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, 404-422 (2019). MSC: 68Q60 03B44 68Q45 91A43 91A80 PDF BibTeX XML Cite \textit{J. Křetínský} et al., Lect. Notes Comput. Sci. 11781, 404--422 (2019; Zbl 1437.68118) 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 PDF BibTeX XML Cite \textit{É. André} and \textit{J. Sun}, Lect. Notes Comput. Sci. 11781, 115--130 (2019; Zbl 1437.68110) Full Text: DOI
Knapp, Alexander; Cengarle, María Victoria Term charters. (English) Zbl 1444.68085 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019). MSC: 68Q42 18C50 68N30 68Q65 PDF BibTeX XML Cite \textit{A. Knapp} and \textit{M. V. Cengarle}, Lect. Notes Comput. Sci. 11563, 119--138 (2019; Zbl 1444.68085) Full Text: DOI
Glauer, Martin; Mossakowski, Till Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019). MSC: 68P15 18C50 68Q65 PDF BibTeX XML Cite \textit{M. Glauer} and \textit{T. Mossakowski}, Lect. Notes Comput. Sci. 11563, 67--86 (2019; Zbl 1444.68068) Full Text: DOI
Waga, Masaki Online quantitative timed pattern matching with semiring-valued weighted automata. (English) Zbl 1434.68695 André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 3-22 (2019). MSC: 68W27 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Waga}, Lect. Notes Comput. Sci. 11750, 3--22 (2019; Zbl 1434.68695) Full Text: DOI
Leroux, Jérôme (ed.); Raskin, Jean-Francois (ed.) Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. (English) Zbl 1436.68031 Electronic Proceedings in Theoretical Computer Science (EPTCS) 305. Waterloo: Open Publishing Association (OPA). 182 p., electronic only, open access (2019). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{J. Leroux} (ed.) and \textit{J.-F. Raskin} (ed.), Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2--3, 2019. Waterloo: Open Publishing Association (OPA) (2019; Zbl 1436.68031) Full Text: DOI Link
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Doder, Dragan; Studer, Thomas Probabilistic consensus of the blockchain protocol. (English) Zbl 07170156 Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 469-480 (2019). MSC: 68T37 PDF BibTeX XML Cite \textit{B. Marinković} et al., Lect. Notes Comput. Sci. 11726, 469--480 (2019; Zbl 07170156) Full Text: DOI
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Studer, Thomas A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. (English) Zbl 1442.68222 J. Log. Comput. 29, No. 5, 803-830 (2019). MSC: 68T27 03B42 03B44 68T42 94A60 PDF BibTeX XML Cite \textit{B. Marinković} et al., J. Log. Comput. 29, No. 5, 803--830 (2019; Zbl 1442.68222) Full Text: DOI
Karl, Anja F.; Schilling, Robert; Bloem, Roderick; Mangard, Stefan Small faults grow up – verification of error masking robustness in arithmetically encoded programs. (English) Zbl 07157046 Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). Lecture Notes in Computer Science 11388, 183-204 (2019). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. F. Karl} et al., Lect. Notes Comput. Sci. 11388, 183--204 (2019; Zbl 07157046) Full Text: DOI
An, Jie; Zhang, Miaomiao Verifying continuous-time duration calculus against real-time automaton. (Chinese. English summary) Zbl 1449.68050 J. Softw. 30, No. 7, 1953-1965 (2019). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{J. An} and \textit{M. Zhang}, J. Softw. 30, No. 7, 1953--1965 (2019; Zbl 1449.68050) Full Text: DOI
Haigh, Thomas Assembling a prehistory for formal methods: a personal view. (English) Zbl 1427.68009 Formal Asp. Comput. 31, No. 6, 663-674 (2019). MSC: 68-03 68N30 68Qxx PDF BibTeX XML Cite \textit{T. Haigh}, Formal Asp. Comput. 31, No. 6, 663--674 (2019; Zbl 1427.68009) Full Text: DOI
Guanciale, Roberto; Tuosto, Emilio Realisability of pomsets. (English) Zbl 1435.68213 J. Log. Algebr. Methods Program. 108, 69-89 (2019). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{R. Guanciale} and \textit{E. Tuosto}, J. Log. Algebr. Methods Program. 108, 69--89 (2019; Zbl 1435.68213) Full Text: DOI
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 PDF BibTeX XML Cite \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
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software). (English) Zbl 1425.68268 Form. Methods Syst. Des. 54, No. 3, 279-335 (2019). MSC: 68Q60 PDF BibTeX XML Cite \textit{C. Sánchez} et al., Form. Methods Syst. Des. 54, No. 3, 279--335 (2019; Zbl 1425.68268) Full Text: DOI
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo A verification-driven framework for iterative design of controllers. (English) Zbl 1425.68262 Formal Asp. Comput. 31, No. 5, 459-502 (2019). MSC: 68Q60 03B44 68N99 68Q45 PDF BibTeX XML Cite \textit{C. Menghi} et al., Formal Asp. Comput. 31, No. 5, 459--502 (2019; Zbl 1425.68262) Full Text: DOI
Podymov, V. V. A flattening algorithm for hierarchical timed automata. (English. Russian original) Zbl 1423.68265 Comput. Math. Model. 30, No. 2, 99-106 (2019); translation from Prikl. Mat. Inf. 59, 5-15 (2018). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{V. V. Podymov}, Comput. Math. Model. 30, No. 2, 99--106 (2019; Zbl 1423.68265); translation from Prikl. Mat. Inf. 59, 5--15 (2018) Full Text: DOI
Kolčák, Juraj; Hasuo, Ichiro; Dubut, Jérémy; Katsumata, Shin-ya; Sprunger, David; Yamada, Akihisa Poster abstract: Relational differential dynamic logic. (English) Zbl 07120175 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 284-285 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{J. Kolčák} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 284--285 (2019; Zbl 07120175) Full Text: DOI
Mghenem, Mohamed; Sanfelice, Ricardo G. Poster on safety characterization in hybrid inclusions using barrier functions. (English) Zbl 07120174 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 282-283 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Mghenem} and \textit{R. G. Sanfelice}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 282--283 (2019; Zbl 07120174) Full Text: DOI
Liu, Zexiang; Ozay, Necmiye Poster abstract: Safety control with preview automaton. (English) Zbl 07120173 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 280-281 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{Z. Liu} and \textit{N. Ozay}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 280--281 (2019; Zbl 07120173) Full Text: DOI
Yang, Liren; Ozay, Necmiye Poster abstract: Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems. (English) Zbl 07120172 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 278-279 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{L. Yang} and \textit{N. Ozay}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 278--279 (2019; Zbl 07120172) Full Text: DOI
Rutledge, Kwesi; Yong, Sze Zheng; Ozay, Necmiye Poster abstract: Equalized recovery: weakening invariance for control and estimation. (English) Zbl 07120171 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 276-277 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{K. Rutledge} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 276--277 (2019; Zbl 07120171) Full Text: DOI
Kishida, Masako Poster abstract: Encrypted control system with quantizer. (English) Zbl 07120170 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 274-275 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Kishida}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 274--275 (2019; Zbl 07120170) Full Text: DOI
Waga, Masaki; Hasuo, Ichiro Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 272-273 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Waga} and \textit{I. Hasuo}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 272--273 (2019; Zbl 07120169) Full Text: DOI
Balakrishnan, Anand; Deshmukh, Jyotirmoy V. Poster abstract: Structured reward functions using STL. (English) Zbl 07120168 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 270-271 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. Balakrishnan} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 270--271 (2019; Zbl 07120168) Full Text: DOI
Mitchell, Ian M.; Budzis, Jacob; Bolyachevets, Andriy Poster abstract: Invariant, viability and discriminating kernel under-approximation via zonotope scaling. (English) Zbl 07120167 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 268-269 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{I. M. Mitchell} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 268--269 (2019; Zbl 07120167) Full Text: DOI
Qin, Xin; Deshmukh, Jyotirmoy V. Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 266-267 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{X. Qin} and \textit{J. V. Deshmukh}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 266--267 (2019; Zbl 07120166) Full Text: DOI
Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K. Demo abstract: SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120165 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 264-265 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. P. Vinod} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 264--265 (2019; Zbl 07120165) Full Text: DOI
Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish Demo abstract: Sherlock – a tool for verification of neural network feedback systems. (English) Zbl 07120164 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 262-263 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Dutta} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 262--263 (2019; Zbl 07120164) Full Text: DOI
Berger, Guillaume O.; Jungers, Raphaël M. Poster abstract: Formal methods for computing hyperbolic invariant sets for nonlinear systems. (English) Zbl 07120163 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 260-261 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{G. O. Berger} and \textit{R. M. Jungers}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 260--261 (2019; Zbl 07120163) Full Text: DOI