Suchergebnisse - "Mateis, Cristinel"

CPSDebug: Automatic failure explanation in CPS models von 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 …”
Volltext

Specifying and detecting temporal patterns with shape expressions von 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 …”
Volltext

Survey on mining signal temporal logic specifications von 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 …”
Volltext

Learning minimal automata with recurrent neural networks von 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 …”
Volltext

Mining Shape Expressions From Positive Examples von 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 …”
Volltext

Learning and statistical model checking of system response times von 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 …”
Volltext

Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems von Grosse, Selma, Molin, Adam, Nickovic, Dejan, Gambi, Alessio, Mateis, Cristinel

“… Scenario-based testing in simulation has become a cornerstone of industrial practice for systematically assessing autonomous driving systems across diverse and …”
Volltext

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study von 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 …”
Volltext

Sampling of Shape Expressions with ShapEx von 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 …”
Volltext

Exponential pattern recognition for deriving air change rates from CO2 data von 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 …”
Volltext

Sampling of Shape Expressions von 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 …”
Volltext

Mining Shape Expressions with ShapeIt von 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 …”
Volltext

Automatic Failure Explanation in CPS Models von 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 …”
Volltext

Extended Abstract - Model-Based Debugging of Java Programs von 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 …”
Volltext