Search results for "UPPAAL"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman	Randomized reachability analysis in UPPAAL: fast error detection in timed systems.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
20	Thomas Vogel 0001, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske	A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL.	CoRR	2022	DBLP DOI BibTeX RDF
20	Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp	Modeling R3 Needle Steering in Uppaal.	MARS@ETAPS	2022	DBLP DOI BibTeX RDF
20	Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen	Importance Splitting in Uppaal.	ISoLA (3)	2022	DBLP DOI BibTeX RDF
20	Saurabh Tiwari 0001, Kumar Iyer, Eduard Paul Enoiu	Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL.	APSEC	2022	DBLP DOI BibTeX RDF
20	Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis	Playing Wordle with Uppaal Stratego.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
20	Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao	STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.	ATVA	2022	DBLP DOI BibTeX RDF
20	Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba	End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego.	TASE	2022	DBLP DOI BibTeX RDF
20	Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen	Analysis of Source Code Using UPPAAL.	F-IDE@NFM	2021	DBLP DOI BibTeX RDF
20	Jidong Lv, Ehsan Ahmad, Tao Tang 0004	Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON.	IEEE Intell. Transp. Syst. Mag.	2021	DBLP DOI BibTeX RDF
20	Davide Basile 0001, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò	Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
20	Yi-Chun Feng, Yuteng Lu, Meng Sun 0002	Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).	SEKE	2021	DBLP DOI BibTeX RDF
20	Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim	Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.	SAC	2021	DBLP DOI BibTeX RDF
20	Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao	Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO.	COMSNETS	2021	DBLP DOI BibTeX RDF
20	Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu	From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration.	ECBS	2021	DBLP DOI BibTeX RDF
20	Jüri Vain, Leonidas Tsiopoulos, Gert Kanter	Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.	MEDI	2021	DBLP DOI BibTeX RDF
20	Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman	Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems.	FMICS	2021	DBLP DOI BibTeX RDF
20	Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen	Battery Aware Analysis of Sensor Networks in Uppaal SMC.	MECO	2021	DBLP DOI BibTeX RDF
20	Philip I. Holler, Magnus K. Jensen, Hannah Marie K. Lockey, Michele Albano	Strategising RoboCup in Real Time with Uppaal Stratego.	ICAART (1)	2021	DBLP DOI BibTeX RDF
20	Rong Wang, Junfeng Wang	Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm.	ITSC	2021	DBLP DOI BibTeX RDF
20	Zeinab Bakhshi, Guillermo Rodríguez-Navas, Hans Hansson	Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge.	ETFA	2021	DBLP DOI BibTeX RDF
20	Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen	An Integer Static Analysis for Better Extrapolation in Uppaal.	FORMATS	2021	DBLP DOI BibTeX RDF
20	Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti 0001, Madiel Conserva Filho, Menghan Zhang	Transforming RoboSim Models into UPPAAL.	TASE	2021	DBLP DOI BibTeX RDF
20	Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang	A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.	LCN	2021	DBLP DOI BibTeX RDF
20	Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu	Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.	J. Comput. Sci. Technol.	2020	DBLP DOI BibTeX RDF
20	Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan	Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal.	CoRR	2020	DBLP BibTeX RDF
20	Daniel Bujosa, Inés Álvarez, Julián Proenza	Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties.	CoRR	2020	DBLP BibTeX RDF
20	Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti	Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia.	ICISSP	2020	DBLP DOI BibTeX RDF
20	Rong Gu, Eduard Enoiu, Cristina Seceleanu	TAMAA: UPPAAL-based mission planning for autonomous agents.	SAC	2020	DBLP DOI BibTeX RDF
20	Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen	Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL.	ISoLA (3)	2020	DBLP DOI BibTeX RDF
20	Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen	Fluid Model-Checking in UPPAAL for Covid-19.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
20	Davide Basile 0001, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo	30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
20	Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed	System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC.	EMBC	2020	DBLP DOI BibTeX RDF
20	Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen	Conformance Testing in UPPAAL: A diabolic approach.	ICST Workshops	2020	DBLP DOI BibTeX RDF
20	Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan	Towards Model Checking of Voting Protocols in Uppaal.	E-VOTE-ID	2020	DBLP DOI BibTeX RDF
20	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
20	Ran Li, Jiaqi Yin, Huibiao Zhu	Modeling and Analysis of RabbitMQ Using UPPAAL.	TrustCom	2020	DBLP DOI BibTeX RDF
20	Davide Basile 0001, Maurice H. ter Beek, Axel Legay	Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.	FORTE	2020	DBLP DOI BibTeX RDF
20	Qi Zhang, Yuteng Lu, Meng Sun 0002	Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL.	BlockSys	2020	DBLP DOI BibTeX RDF
20	Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen	Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL.	J. Aerosp. Inf. Syst.	2019	DBLP DOI BibTeX RDF
20	Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao	Coordinated Intelligent Traffic Lights using Uppaal Stratego.	COMSNETS	2019	DBLP DOI BibTeX RDF
20	Anne E. Haxthausen, Kristian Hede	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker.	From Software Engineering to Formal Methods and Tools, and Back	2019	DBLP DOI BibTeX RDF
20	Davide Basile 0001, Maurice H. ter Beek, Alessio Ferrari 0001, Axel Legay	Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.	FMICS	2019	DBLP DOI BibTeX RDF
20	Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed	Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC.	ISCAS	2019	DBLP DOI BibTeX RDF
20	Kehang Chen, Jidong Lv, Jia Huang, Haonan Guo, Shuai Su, Tao Tang 0004	Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework.	ITSC	2019	DBLP DOI BibTeX RDF
20	Maike Schwammberger	Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.	SCAV@CPSWeek	2018	DBLP DOI BibTeX RDF
20	Christian Nigro, Libero Nigro, Paolo F. Sciammarella	Modelling and analysis of multi-agent systems using UPPAAL SMC.	Int. J. Simul. Process. Model.	2018	DBLP DOI BibTeX RDF
20	Yuteng Lu, Meng Sun 0002	Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.	Int. J. Softw. Eng. Knowl. Eng.	2018	DBLP DOI BibTeX RDF
20	Shimmi Asokan, G. Santhosh Kumar	Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker.	ISED	2018	DBLP DOI BibTeX RDF
20	Kim G. Larsen, Florian Lorber, Brian Nielsen	20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond.	ISoLA (4)	2018	DBLP DOI BibTeX RDF
20	Davide Basile 0001, Maurice H. ter Beek, Vincenzo Ciancia	Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
20	Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool	Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.	FMICS	2018	DBLP DOI BibTeX RDF
20	Eun-Young Kang 0001, Dongrui Mu, Li Huang 0001	Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.	IFM	2018	DBLP DOI BibTeX RDF
20	Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist	Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.	CyPhy/WESE	2018	DBLP DOI BibTeX RDF
20	Shuxin Liu, Noriaki Yoshiura	Model Checking of TTCAN Protocol Using UPPAAL.	ICCSA (4)	2018	DBLP DOI BibTeX RDF
20	Christian Nigro, Libero Nigro, Paolo F. Sciammarella	Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL.	ECMS	2018	DBLP DOI BibTeX RDF
20	Yuan Fei, Huibiao Zhu, Xin Li	Modeling and Verification of NLSR Protocol using UPPAAL.	TASE	2018	DBLP DOI BibTeX RDF
20	Joon-Ha Jang, Jin-Young Choi	Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems.	J. Commun.	2017	DBLP DOI BibTeX RDF
20	Sidra Sultana, Fahim Arif	Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL's Automata.	IEEE Access	2017	DBLP DOI BibTeX RDF
20	Shruti Saini, Ansgar Fehnker	Evaluating the Stream Control Transmission Protocol Using Uppaal.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
20	Shengxin Dai, Mei Hong, Bing Guo	Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO.	Int. J. Distributed Sens. Networks	2017	DBLP DOI BibTeX RDF
20	Shengxin Dai, Mei Hong, Bing Guo	A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC.	Sci. Program.	2017	DBLP DOI BibTeX RDF
20	Stefano Schivo, Rom Langerak	Discretization of Continuous Dynamical Systems Using UPPAAL.	ModelEd, TestEd, TrustEd	2017	DBLP DOI BibTeX RDF
20	Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou	Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
20	Aleksandar S. Dimovski, Andrzej Wasowski	From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
20	Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen	WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
20	Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker	Formal Verification of AADL Models Using UPPAAL.	SBESC	2017	DBLP DOI BibTeX RDF
20	Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu	Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach.	SOFL+MSVL	2017	DBLP DOI BibTeX RDF
20	Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar 0012, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga	How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.	SETTA	2017	DBLP DOI BibTeX RDF
20	Mojgan Kamali, Luigia Petre	Uppaal vs Event-B for Modelling Optimised Link State Routing.	VECoS	2017	DBLP DOI BibTeX RDF
20	Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman	Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU.	ICECCS	2017	DBLP DOI BibTeX RDF
20	So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi	Hierarchical System Schedulability Analysis Framework Using UPPAAL.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
20	Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Juri Vain, Srini Ramaswamy	Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL.	Microprocess. Microsystems	2016	DBLP DOI BibTeX RDF
20	Yusuf Bora Kartal, Ece Guran Schmidt, Klaus Werner Schmidt	Modeling Distributed Real-Time Systems in TIOA and UPPAAL.	ACM Trans. Embed. Comput. Syst.	2016	DBLP BibTeX RDF
20	Ningmin Shen, Jing Li 0077, Haiyang Bai, Yi Zhuang 0002	基于Uppaal的实时系统AADL数据流模型的转换与验证 (Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal).	计算机科学	2016	DBLP DOI BibTeX RDF
20	Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin	基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL).	计算机科学	2016	DBLP DOI BibTeX RDF
20	Waheed Ahmad, Jaco van de Pol	Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.	ISoLA (1)	2016	DBLP DOI BibTeX RDF
20	Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn	Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.	FM	2016	DBLP DOI BibTeX RDF
20	Sachi Nishida, Yoshiyuki Shinkawa	Evaluating Data Integrity in the Cloud using the UPPAAL.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
20	Faezeh Siavashi, Dragos Truscan, Jüri Vain	On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
20	Yang Liu, Daming Jiang, Shenghua Dai, Zhengjiao Li	Hierarchical modeling and analysis of TCC subsystem in CTCS level 3 using UPPAAL.	ITSC	2016	DBLP DOI BibTeX RDF
20	Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella	Model Checking Mutual Exclusion Algorithms Using Uppaal.	CSOC (2)	2016	DBLP DOI BibTeX RDF
20	Peter Fogh, Thomas C. Hald, Brian Nielsen	WUppaal: A web-service for the Uppaal model-checker.	CPS Data	2016	DBLP DOI BibTeX RDF
20	Luciano Mauro Arley Sup, Renato Mariz de Moraes, Adolfo Bauchspiess	Simultaneous TCP and NCS flows in a UPPAAL framework with a new AQM technique.	INDIN	2016	DBLP DOI BibTeX RDF
20	Jüri Vain, Leonidas Tsiopoulos, Jishu Guin	Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata.	ICECCS	2016	DBLP DOI BibTeX RDF
20	Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen	Uppaal SMC tutorial.	Int. J. Softw. Tools Technol. Transf.	2015	DBLP DOI BibTeX RDF
20	Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan	Automated Analysis of AODV using UPPAAL.	CoRR	2015	DBLP BibTeX RDF
20	Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan	Modelling and Analysis of AODV in UPPAAL.	CoRR	2015	DBLP BibTeX RDF
20	Che-Wei Chang, Rainer Dömer	May-happen-in-parallel analysis of ESL models using UPPAAL model checking.	DATE	2015	DBLP BibTeX RDF
20	Eun-Young Kang 0001, Liu Ke 0002, Meng-Zhe Hua, Yu-Xuan Wang	Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL.	APSEC	2015	DBLP DOI BibTeX RDF
20	Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen	Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.	FMICS	2015	DBLP DOI BibTeX RDF
20	Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist	Uppaal Stratego.	TACAS	2015	DBLP DOI BibTeX RDF
20	Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni	UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata.	NFM	2015	DBLP DOI BibTeX RDF
20	Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila	A Practical Application of UPPAAL and DTRON for Runtime Verification.	SER&IP@ICSE	2015	DBLP DOI BibTeX RDF
20	Tahir Naseer Qureshi, De-Jiu Chen, Magnus Persson 0001, Martin Törngren	On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
20	Çagatay Özdemir	CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması.	UYMS	2014	DBLP BibTeX RDF
20	Kim G. Larsen	Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.	MODELSWARD	2014	DBLP BibTeX RDF
20	Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann	Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study.	MCPS	2014	DBLP DOI BibTeX RDF
20	Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou 0001, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen	Formal Verification of Lunar Rover Control Software Using UPPAAL.	FM	2014	DBLP DOI BibTeX RDF
20	Jonas Rinast, Sibylle Schupp, Dieter Gollmann	A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.	FM	2014	DBLP DOI BibTeX RDF