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 PDFBibTeX XMLCite \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
Aichernig, Bernhard K.; Tappler, Martin Efficient active automata learning via mutation testing. (English) Zbl 1468.68117 J. Autom. Reasoning 63, No. 4, 1103-1134 (2019). MSC: 68Q60 68Q45 68T05 PDFBibTeX XMLCite \textit{B. K. Aichernig} and \textit{M. Tappler}, J. Autom. Reasoning 63, No. 4, 1103--1134 (2019; Zbl 1468.68117) Full Text: DOI
Frenkel, Hadar; Grumberg, Orna; Sheinvald, Sarai An automata-theoretic approach to model-checking systems and specifications over infinite data domains. (English) Zbl 1468.68128 J. Autom. Reasoning 63, No. 4, 1077-1101 (2019). MSC: 68Q60 03D05 68Q45 PDFBibTeX XMLCite \textit{H. Frenkel} et al., J. Autom. Reasoning 63, No. 4, 1077--1101 (2019; Zbl 1468.68128) Full Text: DOI
Sogokon, Andrew; Jackson, Paul B.; Johnson, Taylor T. Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants. (English) Zbl 1468.68135 J. Autom. Reasoning 63, No. 4, 1005-1029 (2019). MSC: 68Q60 68Q45 93B03 93C30 PDFBibTeX XMLCite \textit{A. Sogokon} et al., J. Autom. Reasoning 63, No. 4, 1005--1029 (2019; Zbl 1468.68135) Full Text: DOI Link
Barrett, Clark (ed.); Kahsai, Temesghen (ed.) Selected extended papers of NFM 2017: Preface. (English) Zbl 1468.68007 J. Autom. Reasoning 63, No. 4, 1003-1004 (2019). MSC: 68-06 68Q45 68Q60 68T05 00B25 PDFBibTeX XMLCite \textit{C. Barrett} (ed.) and \textit{T. Kahsai} (ed.), J. Autom. Reasoning 63, No. 4, 1003--1004 (2019; Zbl 1468.68007) 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). 284-285 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 282-283 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 280-281 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 278-279 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 276-277 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 274-275 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 272-273 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 270-271 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 268-269 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 266-267 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 264-265 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 262-263 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 260-261 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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
Cauchi, Nathalie; Abate, Alessandro Poster abstract: StocHy – automated verification and synthesis of stochastic processes. (English) Zbl 07120162 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). 258-259 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{N. Cauchi} and \textit{A. Abate}, 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). 258--259 (2019; Zbl 07120162) Full Text: DOI
Khaled, Mahmoud; Zamani, Majid pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 07120161 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). 252-257 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Khaled} and \textit{M. Zamani}, 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). 252--257 (2019; Zbl 07120161) Full Text: DOI
Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. (English) Zbl 07120160 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). 240-251 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{N. Cauchi} 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). 240--251 (2019; Zbl 07120160) Full Text: DOI arXiv
Marcucci, Tobia; Tedrake, Russ Mixed-integer formulations for optimal control of piecewise-affine systems. (English) Zbl 07120159 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). 230-239 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{T. Marcucci} and \textit{R. Tedrake}, 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). 230--239 (2019; Zbl 07120159) Full Text: DOI
Meyer, Pierre-Jean; Devonport, Alex; Arcak, Murat TIRA: toolbox for interval reachability analysis. (English) Zbl 07120158 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). 224-229 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{P.-J. Meyer} 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). 224--229 (2019; Zbl 07120158) Full Text: DOI arXiv
Anevlavis, Tzanis; Neider, Daniel; Phillipe, Matthew; Tabuada, Paulo Evrostos. The rLTL verifier. (English) Zbl 07120157 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). 218-223 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{T. Anevlavis} 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). 218--223 (2019; Zbl 07120157) Full Text: DOI
Al Khatib, Mohammad; Zamani, Majid Verification and synthesis of interconnected embedded control systems under timing contracts. (English) Zbl 07120156 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). 208-217 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Al Khatib} and \textit{M. Zamani}, 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). 208--217 (2019; Zbl 07120156) Full Text: DOI
Huang, Chao; Li, Wenchao; Zhu, Qi Formal verification of weakly-hard systems. (English) Zbl 07120155 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). 197-207 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{C. Huang} 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). 197--207 (2019; Zbl 07120155) Full Text: DOI
Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. (English) Zbl 07120154 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). 185-196 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Ghosh} 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). 185--196 (2019; Zbl 07120154) Full Text: DOI arXiv
Yaghoubi, Shakiba; Fainekos, Georgios Gray-box adversarial testing for control systems with machine learning components. (English) Zbl 07120153 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). 179-184 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Yaghoubi} and \textit{G. Fainekos}, 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). 179--184 (2019; Zbl 07120153) Full Text: DOI arXiv
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup Verisig: verifying safety properties of hybrid systems with neural network controllers. (English) Zbl 07120152 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). 169-178 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{R. Ivanov} 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). 169--178 (2019; Zbl 07120152) Full Text: DOI arXiv
Dutta, Souradeep; Chen, Xin; Sankaranarayanan, Sriram Reachability analysis for neural feedback systems using regressive polynomial rule inference. (English) Zbl 07120151 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). 157-168 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 157--168 (2019; Zbl 07120151) Full Text: DOI
Sun, Xiaowu; Khedr, Haitham; Shoukry, Yasser Formal verification of neural network controlled autonomous systems. (English) Zbl 07120150 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). 147-156 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{X. Sun} 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). 147--156 (2019; Zbl 07120150) Full Text: DOI arXiv
Philippe, Matthew; Jungers, Raphaël M. A complete characterization of the ordering of path-complete methods. (English) Zbl 07120149 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). 138-146 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Philippe} 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). 138--146 (2019; Zbl 07120149) Full Text: DOI
Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin Robust invariant sets generation for state-constrained perturbed polynomial systems. (English) Zbl 07120148 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). 128-137 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Xue} 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). 128--137 (2019; Zbl 07120148) Full Text: DOI
Yang, Guosong; Hespanha, João P.; Liberzon, Daniel On topological entropy and stability of switched linear systems. (English) Zbl 07120147 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). 119-127 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. Yang} 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). 119--127 (2019; Zbl 07120147) Full Text: DOI
Maghenem, Mohamed; Sanfelice, Ricardo G. Characterizations of safety in hybrid inclusions via barrier functions. (English) Zbl 07120146 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). 109-118 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Maghenem} 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). 109--118 (2019; Zbl 07120146) Full Text: DOI
Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. (English) Zbl 07120145 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). 99-108 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{N. Beneš} 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). 99--108 (2019; Zbl 07120145) Full Text: DOI
Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio On the decidability of linear bounded periodic cyber-physical systems. (English) Zbl 07120144 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). 87-98 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{R. Lanotte} 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). 87--98 (2019; Zbl 07120144) Full Text: DOI
Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James On the decidability of reachability in linear time-invariant systems. (English) Zbl 07120143 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). 77-86 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{N. Fijalkow} 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). 77--86 (2019; Zbl 07120143) Full Text: DOI arXiv Link
Ho, Hsi-Ming Revisiting timed logics with automata modalities. (English) Zbl 07120142 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). 67-76 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{H.-M. Ho}, 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). 67--76 (2019; Zbl 07120142) Full Text: DOI arXiv Link
Ferrère, Thomas; Nickovic, Dejan; Donzé, Alexandre; Ito, Hisahiro; Kapinski, James Interface-aware signal temporal logic. (English) Zbl 07120141 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). 57-66 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{T. Ferrère} 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). 57--66 (2019; Zbl 07120141) Full Text: DOI
Abbas, Houssam; Pant, Yash Vardhan; Mangharam, Rahul Temporal logic robustness for general signal classes. (English) Zbl 07120140 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). 45-56 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{H. Abbas} 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). 45--56 (2019; Zbl 07120140) Full Text: DOI Link
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian JuliaReach: a toolbox for set-based reachability. (English) Zbl 07120139 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). 39-44 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Bogomolov} 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). 39--44 (2019; Zbl 07120139) Full Text: DOI arXiv
Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K. SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120138 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). 33-38 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \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). 33--38 (2019; Zbl 07120138) Full Text: DOI
Bak, Stanley; Tran, Hoang-Dung; Johnson, Taylor T. Numerical verification of affine systems with up to a billion dimensions. (English) Zbl 07120137 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). 23-32 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Bak} 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). 23--32 (2019; Zbl 07120137) Full Text: DOI arXiv
Goubault, Eric; Putot, Sylvie Inner and outer reachability for the verification of control systems. (English) Zbl 07120136 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). 11-22 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{E. Goubault} and \textit{S. Putot}, 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). 11--22 (2019; Zbl 07120136) Full Text: DOI
Bogomolov, Sergiy; Frehse, Goran; Gurung, Amit; Li, Dongxu; Martius, Georg; Ray, Rajarshi Falsification of hybrid systems using symbolic reachability and trajectory splicing. (English) Zbl 07120135 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). 1-10 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Bogomolov} 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). 1--10 (2019; Zbl 07120135) Full Text: DOI
Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario Probabilistic software product lines. (English) Zbl 1431.68017 J. Log. Algebr. Methods Program. 107, 54-78 (2019). MSC: 68N30 68Q55 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Camacho} et al., J. Log. Algebr. Methods Program. 107, 54--78 (2019; Zbl 1431.68017) Full Text: DOI HAL
Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y. First-order vs. second-order encodings for ltl\(_f\)-to-automata translation. (English) Zbl 1524.03030 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11436, 684-705 (2019). MSC: 03D05 03B44 68Q60 PDFBibTeX XMLCite \textit{S. Zhu} et al., Lect. Notes Comput. Sci. 11436, 684--705 (2019; Zbl 1524.03030) Full Text: DOI arXiv
Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming Overview of formal methods. (Chinese. English summary) Zbl 1438.68030 J. Softw. 30, No. 1, 33-61 (2019). MSC: 68N30 68N01 68Q60 68-02 PDFBibTeX XMLCite \textit{J. Wang} et al., J. Softw. 30, No. 1, 33--61 (2019; Zbl 1438.68030) Full Text: DOI
Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo; Godbole, Adwait Amit Controlling a population. (English) Zbl 1437.68176 Log. Methods Comput. Sci. 15, No. 3, Paper No. 7, 30 p. (2019). MSC: 68T42 68Q17 68Q45 68Q60 68Q85 91A80 93A16 PDFBibTeX XMLCite \textit{N. Bertrand} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 7, 30 p. (2019; Zbl 1437.68176) Full Text: arXiv
Zhao, Liang; Wang, Xiaobing; Duan, Zhenhua Model checking of pushdown systems for projection temporal logic. (English) Zbl 1423.68297 Theor. Comput. Sci. 774, 82-94 (2019). MSC: 68Q60 03B44 68Q17 68Q45 PDFBibTeX XMLCite \textit{L. Zhao} et al., Theor. Comput. Sci. 774, 82--94 (2019; Zbl 1423.68297) Full Text: DOI
Tian, Cong; Duan, Zhenhua Model checking open systems with alternating projection temporal logic. (English) Zbl 1423.68293 Theor. Comput. Sci. 774, 65-81 (2019). MSC: 68Q60 03B44 68Q45 68Q85 PDFBibTeX XMLCite \textit{C. Tian} and \textit{Z. Duan}, Theor. Comput. Sci. 774, 65--81 (2019; Zbl 1423.68293) Full Text: DOI
Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo Automated synthesis of application-layer connectors from automata-based specifications. (English) Zbl 1423.68066 J. Comput. Syst. Sci. 104, 17-40 (2019). MSC: 68M14 68M12 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Autili} et al., J. Comput. Syst. Sci. 104, 17--40 (2019; Zbl 1423.68066) Full Text: DOI
Kobayashi, Naoki Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. (English) Zbl 1429.68120 Theor. Comput. Sci. 777, 409-416 (2019). MSC: 68Q45 11U05 68N30 68Q42 PDFBibTeX XMLCite \textit{N. Kobayashi}, Theor. Comput. Sci. 777, 409--416 (2019; Zbl 1429.68120) Full Text: DOI
Shin, Seung Woo; Thachuk, Chris; Winfree, Erik Verifying chemical reaction network implementations: a pathway decomposition approach. (English) Zbl 1423.68292 Theor. Comput. Sci. 765, 67-96 (2019). MSC: 68Q60 68Q05 68Q85 92C40 PDFBibTeX XMLCite \textit{S. W. Shin} et al., Theor. Comput. Sci. 765, 67--96 (2019; Zbl 1423.68292) Full Text: DOI arXiv
Johnson, Robert; Dong, Qing; Winfree, Erik Verifying chemical reaction network implementations: a bisimulation approach. (English) Zbl 1423.68286 Theor. Comput. Sci. 765, 3-46 (2019). MSC: 68Q60 68Q25 68Q85 92C40 PDFBibTeX XMLCite \textit{R. Johnson} et al., Theor. Comput. Sci. 765, 3--46 (2019; Zbl 1423.68286) Full Text: DOI
Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDFBibTeX XMLCite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI
Beillahi, Sidi Mohamed; Mahmoud, Mohamed Yousri; Tahar, Sofiène A modeling and verification framework for optical quantum circuits. (English) Zbl 1425.68250 Formal Asp. Comput. 31, No. 3, 321-351 (2019). MSC: 68Q60 68T15 81P68 81V80 PDFBibTeX XMLCite \textit{S. M. Beillahi} et al., Formal Asp. Comput. 31, No. 3, 321--351 (2019; Zbl 1425.68250) Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. (English) Zbl 1411.93004 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). xi, 299 p. (2019). MSC: 93-06 68-06 68Q45 68Q60 93C30 00B25 PDFBibTeX XMLCite 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) (2019; Zbl 1411.93004) Full Text: DOI
Sproston, Jeremy Verification and control for probabilistic hybrid automata with finite bisimulations. (English) Zbl 1417.68105 J. Log. Algebr. Methods Program. 103, 46-61 (2019). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{J. Sproston}, J. Log. Algebr. Methods Program. 103, 46--61 (2019; Zbl 1417.68105) Full Text: DOI Link
Charguéraud, Arthur; Pottier, François Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits. (English) Zbl 1468.68120 J. Autom. Reasoning 62, No. 3, 331-365 (2019). MSC: 68Q60 03B70 68N18 68P05 68V20 PDFBibTeX XMLCite \textit{A. Charguéraud} and \textit{F. Pottier}, J. Autom. Reasoning 62, No. 3, 331--365 (2019; Zbl 1468.68120) Full Text: DOI HAL
Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen Automating Event-B invariant proofs by rippling and proof patching. (English) Zbl 1425.68077 Formal Asp. Comput. 31, No. 1, 95-129 (2019). MSC: 68N30 68Q60 68T15 PDFBibTeX XMLCite \textit{Y. Lin} et al., Formal Asp. Comput. 31, No. 1, 95--129 (2019; Zbl 1425.68077) Full Text: DOI
Grégoire, Thomas; Chlipala, Adam Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms. (English) Zbl 1468.68130 J. Autom. Reasoning 62, No. 2, 193-213 (2019). MSC: 68Q60 68V15 PDFBibTeX XMLCite \textit{T. Grégoire} and \textit{A. Chlipala}, J. Autom. Reasoning 62, No. 2, 193--213 (2019; Zbl 1468.68130) Full Text: DOI Link
Ribeiro, Pedro; Cavalcanti, Ana Angelic processes for CSP via the UTP. (English) Zbl 1410.68236 Theor. Comput. Sci. 756, 19-63 (2019). MSC: 68Q60 68Q55 68Q85 PDFBibTeX XMLCite \textit{P. Ribeiro} and \textit{A. Cavalcanti}, Theor. Comput. Sci. 756, 19--63 (2019; Zbl 1410.68236) Full Text: DOI Link
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Jéron, Thierry; Marchand, Hervé Optimal enforcement of (timed) properties with uncontrollable events. (English) Zbl 1407.68299 Math. Struct. Comput. Sci. 29, No. 1, 169-214 (2019). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{M. Renard} et al., Math. Struct. Comput. Sci. 29, No. 1, 169--214 (2019; Zbl 1407.68299) Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei A novel approach to verifying context free properties of programs. (English) Zbl 1522.68353 Tang, Shaojie (ed.) et al., Algorithmic aspects in information and management. 12th international conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11343, 74-87 (2018). MSC: 68Q60 68N30 68Q45 PDFBibTeX XMLCite \textit{N. Zhang} et al., Lect. Notes Comput. Sci. 11343, 74--87 (2018; Zbl 1522.68353) Full Text: DOI
Saeedloei, Neda; Kluźniak, Feliks Timed scenarios: consistency, equivalence and optimization. (English) Zbl 1519.68139 Massoni, Tiago (ed.) et al., Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11254, 215-233 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{N. Saeedloei} and \textit{F. Kluźniak}, Lect. Notes Comput. Sci. 11254, 215--233 (2018; Zbl 1519.68139) Full Text: DOI
Convent, Lukas; Hungerecker, Sebastian; Leucker, Martin; Scheffel, Torben; Schmitz, Malte; Thoma, Daniel TeSSLa: temporal stream-based specification language. (English) Zbl 1519.68130 Massoni, Tiago (ed.) et al., Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11254, 144-162 (2018). MSC: 68Q60 68N30 68Q45 PDFBibTeX XMLCite \textit{L. Convent} et al., Lect. Notes Comput. Sci. 11254, 144--162 (2018; Zbl 1519.68130) Full Text: DOI arXiv
Bu, Lei; Jiang, Hui; Chen, Xin; Tang, Enyi; Li, Xuandong HAT: analyzing linear hybrid automata as labelled transition system. (English) Zbl 1518.68163 Jones, Cliff (ed.) et al., Symposium on real-time and hybrid systems. Essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11180, 85-104 (2018). MSC: 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Bu} et al., Lect. Notes Comput. Sci. 11180, 85--104 (2018; Zbl 1518.68163) Full Text: DOI
Khalimov, Ayrat; Maderbacher, Benedikt; Bloem, Roderick Bounded synthesis of register transducers. (English) Zbl 1517.68244 Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 494-510 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{A. Khalimov} et al., Lect. Notes Comput. Sci. 11138, 494--510 (2018; Zbl 1517.68244) Full Text: DOI arXiv
Adabala, Keerthi; Ehlers, Rüdiger A fragment of linear temporal logic for universal very weak automata. (English) Zbl 1517.68219 Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 335-351 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{K. Adabala} and \textit{R. Ehlers}, Lect. Notes Comput. Sci. 11138, 335--351 (2018; Zbl 1517.68219) Full Text: DOI
Fu, Hongfei; Li, Yi; Li, Jianlin Verifying probabilistic timed automata against omega-regular dense-time properties. (English) Zbl 1514.68132 McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 122-139 (2018). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{H. Fu} et al., Lect. Notes Comput. Sci. 11024, 122--139 (2018; Zbl 1514.68132) Full Text: DOI arXiv
Huu-Vu Nguyen; Touili, Tayssir Branching temporal logic of calls and returns for pushdown systems. (English) Zbl 1514.68035 Furia, Carlo A. (ed.) et al., Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11023, 326-345 (2018). MSC: 68N30 03B44 68Q45 68Q60 PDFBibTeX XMLCite \textit{Huu-Vu Nguyen} and \textit{T. Touili}, Lect. Notes Comput. Sci. 11023, 326--345 (2018; Zbl 1514.68035) Full Text: DOI arXiv
Rothenberg, Bat-Chen; Dietsch, Daniel; Heizmann, Matthias Incremental verification using trace abstraction. (English) Zbl 1511.68168 Podelski, Andreas (ed.), Static analysis. 25th international symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11002, 364-382 (2018). MSC: 68Q60 68N30 68Q45 PDFBibTeX XMLCite \textit{B.-C. Rothenberg} et al., Lect. Notes Comput. Sci. 11002, 364--382 (2018; Zbl 1511.68168) Full Text: DOI
Hückelheim, Jan; Luo, Ziqing; Narayanan, Sri Hari Krishna; Siegel, Stephen; Hovland, Paul D. Verifying properties of differentiable programs. (English) Zbl 1511.68078 Podelski, Andreas (ed.), Static analysis. 25th international symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11002, 205-222 (2018). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{J. Hückelheim} et al., Lect. Notes Comput. Sci. 11002, 205--222 (2018; Zbl 1511.68078) Full Text: DOI
Feng, Yijun; Katoen, Joost-Pieter; Li, Haokun; Xia, Bican; Zhan, Naijun Monitoring CTMCs by multi-clock timed automata. (English) Zbl 1511.68152 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 507-526 (2018). MSC: 68Q60 60J27 68Q45 68Q87 PDFBibTeX XMLCite \textit{Y. Feng} et al., Lect. Notes Comput. Sci. 10981, 507--526 (2018; Zbl 1511.68152) Full Text: DOI
Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A. Space-time interpolants. (English) Zbl 1511.68155 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 468-486 (2018). MSC: 68Q60 68Q45 93B03 PDFBibTeX XMLCite \textit{G. Frehse} et al., Lect. Notes Comput. Sci. 10981, 468--486 (2018; Zbl 1511.68155) Full Text: DOI
Bansal, Suguman; Namjoshi, Kedar S.; Sa’ar, Yaniv Synthesis of asynchronous reactive programs from temporal specifications. (English) Zbl 1511.68068 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 367-385 (2018). MSC: 68N30 68Q45 68Q60 PDFBibTeX XMLCite \textit{S. Bansal} et al., Lect. Notes Comput. Sci. 10981, 367--385 (2018; Zbl 1511.68068) Full Text: DOI
Tóth, Tamás; Majzik, István Lazy reachability checking for timed automata with discrete variables. (English) Zbl 1508.68225 del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 235-254 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. Tóth} and \textit{I. Majzik}, Lect. Notes Comput. Sci. 10869, 235--254 (2018; Zbl 1508.68225) Full Text: DOI
Henry, Léo; Jéron, Thierry; Markey, Nicolas Control strategies for off-line testing of timed systems. (English) Zbl 1508.68221 del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 171-189 (2018). MSC: 68Q60 68Q45 91A80 PDFBibTeX XMLCite \textit{L. Henry} et al., Lect. Notes Comput. Sci. 10869, 171--189 (2018; Zbl 1508.68221) Full Text: DOI arXiv
Gutsfeld, Jens Oliver; Müller-Olm, Markus; Nordhoff, Benedikt A branching time variant of CaRet. (English) Zbl 1508.68219 del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 153-170 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{J. O. Gutsfeld} et al., Lect. Notes Comput. Sci. 10869, 153--170 (2018; Zbl 1508.68219) Full Text: DOI
Pommellet, Adrien; Touili, Tayssir Model-checking HyperLTL for pushdown systems. (English) Zbl 1508.68224 del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 133-152 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{A. Pommellet} and \textit{T. Touili}, Lect. Notes Comput. Sci. 10869, 133--152 (2018; Zbl 1508.68224) Full Text: DOI
Finkel, Alain; Leroux, Jérôme; Sutre, Grégoire Reachability for two-counter machines with one test and one reset. (English) Zbl 1528.68219 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 31, 14 p. (2018). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{A. Finkel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 31, 14 p. (2018; Zbl 1528.68219) Full Text: DOI
Abu Zaid, Faried Uniformly automatic classes of finite structures. (English) Zbl 1528.68146 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 10, 21 p. (2018). MSC: 68Q27 68Q19 68Q45 68Q60 PDFBibTeX XMLCite \textit{F. Abu Zaid}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 10, 21 p. (2018; Zbl 1528.68146) Full Text: DOI
Abu Zaid, Faried; Köcher, Chris The Cayley-graph of the queue monoid: logic and decidability. (English) Zbl 1528.68089 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018). MSC: 68P05 03B25 03B70 03D05 05C25 20M20 20M35 68Q60 68R10 PDFBibTeX XMLCite \textit{F. Abu Zaid} and \textit{C. Köcher}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018; Zbl 1528.68089) Full Text: DOI
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan; Vaidya, Shaan Verification of timed asynchronous programs. (English) Zbl 1528.68075 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 8, 16 p. (2018). MSC: 68N30 68Q17 68Q45 68Q60 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 8, 16 p. (2018; Zbl 1528.68075) Full Text: DOI
Bérard, Béatrice; Bouyer, Patricia; Jugé, Vincent Finite bisimulations for dynamical systems with overlapping trajectories. (English) Zbl 1528.68175 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 26, 17 p. (2018). MSC: 68Q45 03B25 03C64 68Q60 68Q85 93B03 93C30 PDFBibTeX XMLCite \textit{B. Bérard} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 26, 17 p. (2018; Zbl 1528.68175) Full Text: DOI
Fijalkow, Nathanaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha Quantifying bounds in strategy logic. (English) Zbl 1528.68218 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 23, 23 p. (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{N. Fijalkow} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 23, 23 p. (2018; Zbl 1528.68218) Full Text: DOI
D’Antoni, Loris; Kincaid, Zachary; Wang, Fang A symbolic decision procedure for symbolic alternating finite automata. (English) Zbl 1525.68068 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 79-99 (2018). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{L. D'Antoni} et al., Electron. Notes Theor. Comput. Sci. 336, 79--99 (2018; Zbl 1525.68068) Full Text: DOI arXiv
Bozzelli, Laura; Murano, Aniello; Peron, Adriano Timed context-free temporal logics. (English) Zbl 1528.68212 Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 235-249 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 235--249 (2018; Zbl 1528.68212) Full Text: arXiv Link
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo Temporal logic and model checking for operator precedence languages. (English) Zbl 1528.68215 Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 161-175 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{M. Chiari} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 161--175 (2018; Zbl 1528.68215) Full Text: arXiv Link
Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio Progress-preserving refinements of CTA. (English) Zbl 1520.68087 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 40, 19 p. (2018). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 40, 19 p. (2018; Zbl 1520.68087) Full Text: DOI
Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh Relating syntactic and semantic perturbations of hybrid automata. (English) Zbl 1520.68066 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 26, 16 p. (2018). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{N. Roohi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 26, 16 p. (2018; Zbl 1520.68066) Full Text: DOI
Kukovec, Jure; Konnov, Igor; Widder, Josef Reachability in parameterized systems: all flavors of threshold automata. (English) Zbl 1520.68062 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 19, 17 p. (2018). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Kukovec} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 19, 17 p. (2018; Zbl 1520.68062) Full Text: DOI
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan, Kumar K.; Saivasan, Prakash Verifying quantitative temporal properties of procedural programs. (English) Zbl 1520.68026 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 15, 17 p. (2018). MSC: 68N30 03B44 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. F. Atig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 15, 17 p. (2018; Zbl 1520.68026) Full Text: DOI
Polyakov, Andy; Tsai, Ming-Hsien; Wang, Bow-Yaw; Yang, Bo-Yin Verifying arithmetic assembly programs in cryptographic primitives (invited talk). (English) Zbl 1520.68078 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 4, 16 p. (2018). MSC: 68Q60 11T71 94A60 PDFBibTeX XMLCite \textit{A. Polyakov} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 4, 16 p. (2018; Zbl 1520.68078) Full Text: DOI
Hague, Matthew; Meyer, Roland; Muskalla, Sebastian; Zimmermann, Martin Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 1512.68154 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018). MSC: 68Q60 68Q25 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{M. Hague} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018; Zbl 1512.68154) Full Text: DOI arXiv
Exibard, Léo; Filiot, Emmanuel; Jecker, Ismaël The complexity of transducer synthesis from multi-sequential specifications. (English) Zbl 1512.68138 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 46, 16 p. (2018). MSC: 68Q45 03B25 03D05 68Q25 68Q60 PDFBibTeX XMLCite \textit{L. Exibard} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 46, 16 p. (2018; Zbl 1512.68138) Full Text: DOI arXiv
Carayol, Arnaud; Hague, Matthew Optimal strategies in pushdown reachability games. (English) Zbl 1512.68150 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 42, 14 p. (2018). MSC: 68Q60 68Q45 68W40 91A43 91A80 PDFBibTeX XMLCite \textit{A. Carayol} and \textit{M. Hague}, LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 42, 14 p. (2018; Zbl 1512.68150) Full Text: DOI
Leroux, Jérôme Polynomial vector addition systems with states. (English) Zbl 1499.68229 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 134, 13 p. (2018). MSC: 68Q85 68Q25 68Q60 PDFBibTeX XMLCite \textit{J. Leroux}, LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 134, 13 p. (2018; Zbl 1499.68229) Full Text: DOI