Search Results - "Timed automata"

SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata by Gao, Honghao, Zhang, Yida, Miao, Huaikou, Barroso, Ramón J. Durán, Yang, Xiaoxian

“…) into timed automata for formal verification, with the aim of formalizing timed privacy requirements for the IoT…”
Get full text

Lower-bound-constrained runs in weighted timed automata by Bouyer, Patricia, Larsen, Kim G., Markey, Nicolas

“…We investigate a number of problems related to infinite runs of weighted timed automata…”
Get full text

Use of timed automata and model-checking to explore scenarios on ecosystem models by Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy

“… We propose a new qualitative approach for ecosystem modelling based on timed automata (TA) formalism combined with a high…”
Get full text

Time-Darts: A Data Structure for Verification of Closed Timed Automata by Jørgensen, Kenneth Y., Larsen, Kim G., Srba, Jiří

“… Unfortunately, fine-grained discretization causes itself a state-space explosion. We introduce a new data structure called time-darts for the symbolic representation of state-spaces of timed automata…”
Get full text

Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints by Luthmann, Lars, Gerecht, Timo, Stephan, Andreas, Bürdek, Johannes, Lochau, Malte

“… Featured timed automata (FTA) extend timed automata (TA) by feature constraints to enable efficient family-based verification of real-time properties…”
Get full text

Timed automata as a formalism for expressing security: A survey on theory and practice by Arcile, Johan, Étienne André

“…Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints…”
Get full text

Local Planning Semantics: A Semantics for Distributed Real-Time Systems by Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

“… In this paper, we investigate a formal model for such systems as compositions of timed automata subject to multiparty interactions, and propose a semantics aiming to overcome the communication delays…”
Get full text

Sampling strategies for product lines with unbounded parametric real-time constraints by Luthmann, Lars, Gerecht, Timo, Lochau, Malte

“…Combinatorial interaction testing (CIT) has been successfully applied to product-line testing for selecting from a usually very large configuration space a…”
Get full text

A Mixed Approach for Modeling and Fault Diagnosis of Hybrid Dynamical Systems with Unknown Disturbances by MAAREF, Bochra, GHABI, Jalel, SIMEU-ABAZI, Zineb

“… This paper presents a diagnosis approach of disturbed complex HDS by combining State Observers and Timed Automata (TA…”
Get full text

Lower-Bound Constrained Runs in Weighted Timed Automata by Bouyer, P., Larsen, K. G., Markey, N.

“…We investigate a number of problems related to infinite runs of weighted timed automata, subject to lower-bound constraints on the accumulated weight…”
Get full text

Time-Darts: A Data Structure for Verification of Closed Timed Automata by Jørgensen, Kenneth Y, Larsen, Kim G, Srba, Jiří

“… Unfortunately, fine-grained discretization causes itself a state-space explosion. We introduce a new data structure called time-darts for the symbolic representation of state-spaces of timed automata…”
Get full text

Modeling selected real-time database concurrency control protocols in Uppaal by Kot, Martin

“… We present some possible models of such protocols expressed as nets of timed automata, which are a modeling language of Uppaal…”
Get full text

Efficient Parameter Synthesis Using Optimized State Exploration Strategies by Andre, Etienne, Nguyen, Hoang Gia, Petrucci, Laure

“…Parametric timed automata are a powerful formalism to reason about, model and verify real-time systems in which some constraints are unknown, or subject to uncertainty…”
Get full text

Verifying temporal constraints on data in multi-rate transactions using timed automata by Wall, A., Sandstrom, K., Maki-Turja, J., Norstrom, C., Wang Yi

“… We describe how to use timed automata and reachability analysis to verify such temporal constraints on data in transactions…”
Get full text

Supervisory Control of Networked Timed Discrete Event Systems With Bandwidth Constraints by Xiang, Zhaoyu, Chen, Yufeng, Wu, Naiqi, Li, Zhiwu

“…In this article, we investigate the supervisory control of a networked timed discrete event system modeled with a timed automaton…”
Get full text

Principles of model checking by Baier, Christel, Katoen, Joost-Pieter

“…A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive…”
Get full text

Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea by Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung

“…FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication…”
Get full text

Representation of Time Petri Nets using Interval Weighted Automata by Daviaud, B., Lahaye, S., Lhommeau, M., Komenda, J.

“…Interval Weighted Automata are a modeling formalism for timed systems that can be viewed as an alternative (more algebraic) to timed automata…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II by Vojnar, Tomás, Zhang, Lijun

Get full text

Knowledge Based Optimization for Distributed Real-Time Systems by Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

“… In this paper, we consider a larger class of systems represented as compositions of timed automata subject to multiparty interactions, for which an implementation method for distributed platforms…”
Get full text