Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Cristinel Mateis"'
Autor:
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Bjorn Ziegler
Publikováno v:
2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
Formal specifications play an essential role in the life-cycle of modern systems, both at the time of their design and during their operation. Despite their importance, formal specifications are only partially (if at all) available. Specification min
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a14721b35ed831408c040325b042c09f
https://zenodo.org/record/7118379
https://zenodo.org/record/7118379
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:565-577
Modern cyber-physical systems (CPS) and the Internet of things (IoT) are data factories generating, measuring and recording huge amounts of time series. The useful information in time series is usually present in the form of sequential patterns. We p
Autor:
Xin Qin, Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Felix Gigler, Dejan Nickovic
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39:3809-3820
Shape expressions (SEs) is a novel specification language that was recently introduced to express behavioral patterns over real-valued signals observed during the execution of cyber-physical systems. An SE is a regular expression composed of arbitrar
Autor:
Andrea Pferscher, Sandra König, Martin Tappler, Bernhard Aichernig, Dominik Schmidt, Cristinel Mateis
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783031171079
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37448c3c9f01c5c8e52c3e62def7a07d
https://doi.org/10.1007/978-3-031-17108-6_10
https://doi.org/10.1007/978-3-031-17108-6_10
Publikováno v:
MEMOCODE 2021
MEMOCODE 2021, Nov 2021, Beijing, China
MEMOCODE 2021, Nov 2021, Beijing, China
International audience; Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple types of sensors to capture huge amounts of data. Extraction and characterization of useful information from big streams of data is a challe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f30aa952dbecabf1aba07129a843c593
https://hal.archives-ouvertes.fr/hal-03477783/document
https://hal.archives-ouvertes.fr/hal-03477783/document
Autor:
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Ničković, Xin Qin
Publikováno v:
19th International Conference on Software Engineering and Formal Methods (SEFM'21)
Software Engineering and Formal Methods ISBN: 9783030921231
Software Engineering and Formal Methods ISBN: 9783030921231
We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors.The learned specifications are in the form of linear shape expressions,a declarative formal specification language suitable to expre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f771e21a9c9ca82c749a53b159bfbc1
Autor:
Robert Korošec, Priska Bauerstätter, Severin Kann, Elisabeth Jöbstl, Rupert Schlick, Richard Schumi, Cristinel Mateis, Bernhard K. Aichernig, Willibald Krenn
Publikováno v:
Software Quality Journal. 27:757-795
Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for interactive systems. However, it is still challenging to test if a system provides accepta
Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a fault in a physical component manifests itself in a very different way than a fault in a state machine. Furtherm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3ae237a3dd383032b3071258c0eefa7
http://hdl.handle.net/10281/299183
http://hdl.handle.net/10281/299183
Autor:
Niveditha Manjunath, Fabrizio Pastore, Cristinel Mateis, Ezio Bartocci, Leonardo Mariani, Dejan Nickovic
Publikováno v:
ISSTA
Debugging Cyber-Physical System models is often challenging, as it requires identifying a potentially long, complex and heterogenous combination of events that resulted in a violation of the expected behavior of the system. In this paper we present C