Search Results - "Mateis, Cristinel"

CPSDebug: Automatic failure explanation in CPS models by Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan

“…Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a fault in a physical…”
Get full text

Specifying and detecting temporal patterns with shape expressions by Ničković, Dejan, Qin, Xin, Ferrère, Thomas, Mateis, Cristinel, Deshmukh, Jyotirmoy

“…Modern cyber-physical systems (CPS) and the Internet of things (IoT) are data factories generating, measuring and recording huge amounts of time series. The…”
Get full text

Survey on mining signal temporal logic specifications by Bartocci, Ezio, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan

“…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…”
Get full text

Mining Shape Expressions From Positive Examples by Bartocci, Ezio, Deshmukh, Jyotirmoy, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan, Qin, Xin

“…Shape expressions (SEs) is a novel specification language that was recently introduced to express behavioral patterns over real-valued signals observed during…”
Get full text

Learning minimal automata with recurrent neural networks by Aichernig, Bernhard K., König, Sandra, Mateis, Cristinel, Pferscher, Andrea, Tappler, Martin

“…In this article, we present a novel approach to learning finite automata with the help of recurrent neural networks. Our goal is not only to train a neural…”
Get full text

Learning and statistical model checking of system response times by Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard

“…Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for…”
Get full text

Sampling of Shape Expressions by Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan

“…Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple types of sensors to capture huge amounts of data. Extraction and…”
Get full text

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study by Bloem, Roderick, Larrauri, Alberto, Lengfeldner, Roland, Mateis, Cristinel, Nickovic, Dejan, Ziegler, Bjorn

“…Testing analog integrated circuit (IC) designs is notoriously hard. Simulating tens of milliseconds from an accurate transistor level model of a complex analog…”
Get full text

Sampling of Shape Expressions with ShapEx by Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan

“…In this paper we present SHAPEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated…”
Get full text

Mining Shape Expressions with ShapeIt by Bartocci, Ezio, Deshmukh, Jyotirmoy, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan, Qin, Xin

“…We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the…”
Get full text

Automatic Failure Explanation in CPS Models by Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan

“…Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty…”
Get full text

Exponential pattern recognition for deriving air change rates from CO2 data by Wenig, Florian, Klanatsky, Peter, Heschl, Christian, Mateis, Cristinel, Dejan, Nickovic

“…A novel procedure for automated determination of air change rates from measured indoor CO 2 concentrations is proposed. The suggested approach builds upon a…”
Get full text

Extended Abstract - Model-Based Debugging of Java Programs by Mateis, Cristinel, Stumptner, Markus, Wieland, Dominik, Wotawa, Franz

“…Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect…”
Get full text