Search results for "timed-automata"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Naronggorn Wongsitthiphaithun, Wiwat Vatanawood	Transforming YAWL Workflows with Time Interval Constraints into Timed Automata.	JCSSE	2022	DBLP DOI BibTeX RDF
17	Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen	Monte Carlo Tree Search for Priced Timed Automata.	QEST	2022	DBLP DOI BibTeX RDF
17	Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming	Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.	FTSCS	2022	DBLP DOI BibTeX RDF
17	R. Govind 0001, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz	Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.	LICS	2022	DBLP DOI BibTeX RDF
17	Rizwan Parveen, Neena Goveas	Transforming Medical Resource Utilization Process to Verifiable Timed Automata Models in Cyber-Physical Systems.	ICDCIT	2022	DBLP DOI BibTeX RDF
17	Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An 0001, Bohua Zhan, Naijun Zhan	Learning Deterministic One-Clock Timed Automata via Mutation Testing.	ATVA	2022	DBLP DOI BibTeX RDF
17	Runqing Xu, Jie An 0001, Bohua Zhan	Active Learning of One-Clock Timed Automata Using Constraint Solving.	ATVA	2022	DBLP DOI BibTeX RDF
17	Francesco Mercaldo, Fabio Martinelli, Antonella Santone	Timed Automata Networks for SCADA Attacks Real-Time Mitigation.	KES-IDT	2022	DBLP DOI BibTeX RDF
17	Lénaïg Cornanguer, Christine Largouët, Laurence Rozé, Alexandre Termier	TAG: Learning Timed Automata from Logs.	AAAI	2022	DBLP DOI BibTeX RDF
17	Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers	Balancing Flexible Production and Consumption of Energy using Resource Timed Automata.	MECO	2022	DBLP DOI BibTeX RDF
17	Neda Saeedloei, Feliks Kluzniak	Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.	IFM	2022	DBLP DOI BibTeX RDF
17	Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki	A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.	KES	2022	DBLP DOI BibTeX RDF
17	Neda Saeedloei, Feliks Kluzniak	An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.	SBMF	2022	DBLP DOI BibTeX RDF
17	Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke	History-Deterministic Timed Automata.	CONCUR	2022	DBLP DOI BibTeX RDF
17	Johan Arcile, Étienne André	Zone Extrapolations in Parametric Timed Automata.	NFM	2022	DBLP DOI BibTeX RDF
17	Martin Tappler, Bernhard K. Aichernig, Florian Lorber	Timed Automata Learning via SMT Solving.	NFM	2022	DBLP DOI BibTeX RDF
17	Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke	History-Deterministic Timed Automata Are Not Determinizable.	RP	2022	DBLP DOI BibTeX RDF
17	Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan	Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?	FORMATS	2022	DBLP DOI BibTeX RDF
17	Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol	Efficient Convex Zone Merging in Parametric Timed Automata.	FORMATS	2022	DBLP DOI BibTeX RDF
17	Emily Clement	Robustness of timed automata : computing the maximally-permissive strategies. (Robustesse des automates temporisés : calculer les stratégies les plus permissives).		2022	RDF
17	Jeremy Sproston	Probabilistic Timed Automata with Clock-Dependent Probabilities.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
17	Ebru Aydin Göl	Control synthesis for parametric timed automata under reachability.	Turkish J. Electr. Eng. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun 0001	Distributed parametric model checking timed automata under non-Zenoness assumption.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
17	Jinghao Sun, Nan Guan, Rongxiao Shi, Guozhen Tan, Wang Yi 0001	Schedulability Analysis for Timed Automata With Tasks.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
17	Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná	Timed Automata Robustness Analysis via Model Checking.	CoRR	2021	DBLP BibTeX RDF
17	Lorenzo Clemente, Slawomir Lasota 0001, Radoslaw Piórkowski	Determinisability of register and timed automata.	CoRR	2021	DBLP BibTeX RDF
17	Aida Rashidinejad, Michel A. Reniers, Martin Fabian	Supervisory Control Synthesis of Timed Automata Using Forcible Events.	CoRR	2021	DBLP BibTeX RDF
17	Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya	Logics Meet 2-Way 1-Clock Alternating Timed Automata.	CoRR	2021	DBLP BibTeX RDF
17	Robert L. Smith, Marcello M. Bersani, Matteo Rossi 0001, Pierluigi San Pietro	Improved Bounded Model Checking of Timed Automata.	CoRR	2021	DBLP BibTeX RDF
17	Abdulrazaq Abba, Ana Cavalcanti 0001, Jeremy Jacob	Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.	CoRR	2021	DBLP BibTeX RDF
17	S. Akshay 0001, Paul Gastin, Karthik R. Prakash	Fast zone-based algorithms for reachability in pushdown timed automata.	CoRR	2021	DBLP BibTeX RDF
17	Ebru Aydin Gol	Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.	CoRR	2021	DBLP BibTeX RDF
17	Étienne André, Dylan Marinho, Jaco van de Pol	A Benchmarks Library for Extended Parametric Timed Automata.	CoRR	2021	DBLP BibTeX RDF
17	Jeremy Sproston	Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Étienne André, Didier Lime, Mathias Ramparison	Parametric updates in parametric timed automata.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
17	Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier	Optimal and robust controller synthesis using energy timed automata with uncertainty.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
17	Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas	Polynomial interrupt timed automata: Verification and expressiveness.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
17	Patricia Bouyer	Timed automata.	Handbook of Automata Theory (II.)	2021	DBLP DOI BibTeX RDF
17	S. Akshay 0001, Paul Gastin, Karthik R. Prakash	Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.	CAV (1)	2021	DBLP DOI BibTeX RDF
17	Maruth Ravibanjurdkul, Pittipol Kantavat, Wiwat Vatanawood	Transforming YAWL Workflows with Time Constraints into Timed Automata.	ICCCM	2021	DBLP DOI BibTeX RDF
17	Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel	Tweaking the Odds in Probabilistic Timed Automata.	QEST	2021	DBLP DOI BibTeX RDF
17	Alvi Jawad, Jason Jaskolka	Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata.	QRS	2021	DBLP DOI BibTeX RDF
17	Amarat Pimkote, Wiwat Vatanawood	Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata.	ICSCA	2021	DBLP DOI BibTeX RDF
17	Ye Sun, Gang Wang, Pei-zhi Yan, Li-fang Zhang, Xu Yao	Industrial Control System Attack Detection Model Based on Bayesian Network and Timed Automata.	BigData	2021	DBLP DOI BibTeX RDF
17	Ebru Aydin Gol	Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.	ECC	2021	DBLP DOI BibTeX RDF
17	Jüri Vain, Leonidas Tsiopoulos, Gert Kanter	Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.	MEDI	2021	DBLP DOI BibTeX RDF
17	Lénaïg Cornanguer	Passive learning of Timed Automata from logs (Student Abstract).	AAAI	2021	DBLP DOI BibTeX RDF
17	Xia Wang, Yang Xu 0001, Peiyao Liu	Formal Modeling and Verification of Multi-agent System Based on Timed Automata.	ISKE	2021	DBLP DOI BibTeX RDF
17	Étienne André, Dylan Marinho, Jaco van de Pol	A Benchmarks Library for Extended Parametric Timed Automata.	TAP@STAF	2021	DBLP DOI BibTeX RDF
17	Abdulrazaq Abba, Ana Cavalcanti 0001, Jeremy Jacob	Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.	SBMF	2021	DBLP DOI BibTeX RDF
17	Stefan Göller, Mathieu Hilaire	Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete.	STACS	2021	DBLP DOI BibTeX RDF
17	Étienne André, Jaime Arias 0001, Laure Petrucci, Jaco van de Pol	Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.	TACAS (1)	2021	DBLP DOI BibTeX RDF
17	Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná	Timed Automata Relaxation for Reachability.	TACAS (1)	2021	DBLP DOI BibTeX RDF
17	Jiaqi Yin, Huibiao Zhu, Yuan Fei	Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.	TrustCom	2021	DBLP DOI BibTeX RDF
17	Jinjin Gao, Jidong Lv, Ming Chai, Hongjie Liu, Tao Tang 0004, Wanli Lu	Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata.	ITSC	2021	DBLP DOI BibTeX RDF
17	Robert L. Smith, Marcello M. Bersani, Matteo Rossi 0001, Pierluigi San Pietro	Improved Bounded Model Checking of Timed Automata.	FormaliSE@ICSE	2021	DBLP DOI BibTeX RDF
17	Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer	Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.	IJCAI	2021	DBLP DOI BibTeX RDF
17	Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin	A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.	TASE	2021	DBLP DOI BibTeX RDF
17	Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros	Dynamic Data Structures for Timed Automata Acceptance.	IPEC	2021	DBLP DOI BibTeX RDF
17	Tamás Tóth	Abstraction Refinement-Based Verification of Timed Automata		2021	RDF
17	Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell 0001	Effective definability of the reachability relation in timed automata.	Inf. Process. Lett.	2020	DBLP DOI BibTeX RDF
17	Claudio Menghi, Marcello M. Bersani, Matteo Rossi 0001, Pierluigi San Pietro	Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
17	Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz	Why Liveness for Timed Automata Is Hard, and What We Can Do About It.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
17	Sivashankari Rajadurai, Mamoun Alazab, Neeraj Kumar 0001, Thippa Reddy Gadekallu	Latency Evaluation of SDFGs on Heterogeneous Processors Using Timed Automata.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic	Architecture assessment for safety critical plant operation using reachability analysis of timed automata.	Reliab. Eng. Syst. Saf.	2020	DBLP DOI BibTeX RDF
17	Fatima Ait Oumeziane, Redouane Kara, Saïd Amari	Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras.	Int. J. Syst. Sci.	2020	DBLP DOI BibTeX RDF
17	Luca Spalazzi, Francesco Spegni	Parameterized model checking of networks of timed automata with Boolean guards.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Francesco Mercaldo, Fabio Martinelli, Antonella Santone	Timed Automata for Mobile Ransomware Detection.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2020	DBLP DOI BibTeX RDF
17	Zohra Hmidi, Laïd Kahloul, Saber Benharzallah	Using priced timed automata for the specification and verification of CSMA/CA in WSNs.	Int. J. Inf. Commun. Technol.	2020	DBLP DOI BibTeX RDF
17		Automatic Translation of tock-CSP into Timed Automata.	CoRR	2020	DBLP BibTeX RDF
17	Stefan Göller, Mathieu Hilaire	Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete.	CoRR	2020	DBLP BibTeX RDF
17	Léo Henry, Nicolas Markey, Thierry Jéron	Active learning of timed automata with unobservable resets.	CoRR	2020	DBLP BibTeX RDF
17	Lorenzo Clemente, Slawomir Lasota 0001, Radoslaw Piórkowski	Determinisability of one-clock timed automata.	CoRR	2020	DBLP BibTeX RDF
17	Paul Gastin, Sayan Mukherjee 0002, B. Srivathsan	Reachability for Updatable Timed Automata made faster and more effective.	CoRR	2020	DBLP BibTeX RDF
17	Nemanja Hranisavljevic, Oliver Niggemann, Alexander Maier	A Novel Anomaly Detection Algorithm for Hybrid Production Systems based on Deep Learning and Timed Automata.	CoRR	2020	DBLP BibTeX RDF
17	Étienne André, Didier Lime, Olivier H. Roux	Reachability and liveness in parametric timed automata.	CoRR	2020	DBLP BibTeX RDF
17	Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré	Computing maximally-permissive strategies in acyclic timed automata.	CoRR	2020	DBLP BibTeX RDF
17	Jeremy Sproston	Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.	CoRR	2020	DBLP BibTeX RDF
17	Étienne André, Aleksander Kryukov	Parametric non-interference in timed automata.	CoRR	2020	DBLP BibTeX RDF
17	Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros	The monitoring problem for timed automata.	CoRR	2020	DBLP BibTeX RDF
17	Simon Jantsch, Florian Funke 0002, Christel Baier	Minimal witnesses for probabilistic timed automata.	CoRR	2020	DBLP BibTeX RDF
17	Martin Kölbl, Stefan Leue, Thomas Wies	TarTar: A Timed Automata Repair Tool.	CoRR	2020	DBLP BibTeX RDF
17	Peter Fontana, Rance Cleaveland	Timed Automata Benchmark Description.	CoRR	2020	DBLP BibTeX RDF
17	Guang Chen 0002, Tonghai Jiang, Meng Wang, Xinyu Tang, Wenfei Ji	Design and model checking of timed automata oriented architecture for Internet of thing.	Int. J. Distributed Sens. Networks	2020	DBLP DOI BibTeX RDF
17	Étienne André, Didier Lime, Nicolas Markey	Language Preservation Problems in Parametric Timed Automata.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Étienne André, Benoît Delahaye, Paulin Fournier	Consistency in Parametric Interval Probabilistic Timed Automata.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
17	Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa	Spiking neural networks modelled as timed automata: with parameter learning.	Nat. Comput.	2020	DBLP DOI BibTeX RDF
17	Jaco van de Pol, Laure Petrucci	On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).	WADT	2020	DBLP DOI BibTeX RDF
17	Martin Kölbl, Stefan Leue, Thomas Wies	TarTar: A Timed Automata Repair Tool.	CAV (1)	2020	DBLP DOI BibTeX RDF
17	Wei Shen, Jie An 0001, Bohua Zhan, Miaomiao Zhang, Bai Xue 0001, Naijun Zhan	PAC Learning of Deterministic One-Clock Timed Automata.	ICFEM	2020	DBLP DOI BibTeX RDF
17	Mykhailo Lytvynenko, Olexander Shkil, Inna Filippenko, Leonid Rebezyuk	Model and Means of Timed Automata-based Real-time Adaptive Transit Signal Control.	EWDTS	2020	DBLP DOI BibTeX RDF
17	Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui	A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata.	ENASE	2020	DBLP DOI BibTeX RDF
17	Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers	Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.	ICARCV	2020	DBLP DOI BibTeX RDF
17	Simon Jantsch, Florian Funke 0002, Christel Baier	Minimal Witnesses for Probabilistic Timed Automata.	ATVA	2020	DBLP DOI BibTeX RDF
17	Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba	Urgent Partial Order Reduction for Extended Timed Automata.	ATVA	2020	DBLP DOI BibTeX RDF
17	Susanna Donatelli, Serge Haddad	Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models.	LATA	2020	DBLP DOI BibTeX RDF
17	Lei Yu 0015, Yubo Yan, Yang Lu 0015, Benhong Zhang, Ya Li, Fangliang Huang, Yulian Shen	Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things.	BigCom	2020	DBLP DOI BibTeX RDF
17	Abdel-Latif Alshalalfah, Otmane Aït Mohamed	System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata.	ICECS	2020	DBLP DOI BibTeX RDF
17	Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén	Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.	ABZ	2020	DBLP DOI BibTeX RDF
17	Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage	Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living.	SMC	2020	DBLP DOI BibTeX RDF