Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 24(6), pp. 1025-1042, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.03817, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp |
Modeling R3 Needle Steering in Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS@ETAPS ![In: Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022., pp. 40-59, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen |
Importance Splitting in Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (3) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III, pp. 433-447, 2022, Springer, 978-3-031-19758-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022, pp. 452-456, 2022, IEEE, 978-1-6654-5537-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis |
Playing Wordle with Uppaal Stratego. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 283-305, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 327-333, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 363-380, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen |
Analysis of Source Code Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@NFM ![In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021., pp. 31-38, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Transp. Syst. Mag. ![In: IEEE Intell. Transp. Syst. Mag. 13(3), pp. 58-82, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 33(6), pp. 957-987, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yi-Chun Feng, Yuteng Lu, Meng Sun 0002 |
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021., pp. 150-153, 2021, KSI Research Inc., 1-891706-52-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, pp. 1807-1814, 2021, ACM, 978-1-4503-8104-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: 13th International Conference on COMmunication Systems & NETworkS, COMSNETS 2021, Bangalore, India, January 5-9, 2021, pp. 404-412, 2021, IEEE, 978-1-7281-9127-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu |
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, pp. 11:1-11:10, 2021, ACM, 978-1-4503-9057-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jüri Vain, Leonidas Tsiopoulos, Gert Kanter |
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings, pp. 117-124, 2021, Springer, 978-3-030-78427-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, pp. 149-166, 2021, Springer, 978-3-030-85247-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 10th Mediterranean Conference on Embedded Computing, MECO 2021, Budva, Montenegro, June 7-10, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-3912-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 1, Online Streaming, February 4-6, 2021., pp. 273-280, 2021, SCITEPRESS, 978-989-758-484-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Rong Wang, Junfeng Wang |
Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 24th IEEE International Intelligent Transportation Systems Conference, ITSC 2021, Indianapolis, IN, USA, September 19-22, 2021, pp. 1786-1791, 2021, IEEE, 978-1-7281-9142-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021, Vasteras, Sweden, September 7-10, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-2989-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings, pp. 84-99, 2021, Springer, 978-3-030-85036-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 79-86, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 46th IEEE Conference on Local Computer Networks, LCN 2021, Edmonton, AB, Canada, October 4-7, 2021, pp. 241-248, 2021, IEEE, 978-1-6654-1886-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 35(6), pp. 1324-1342, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.12412, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.15712, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020., pp. 815-824, 2020, SCITEPRESS, 978-989-758-399-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Rong Gu, Eduard Enoiu, Cristina Seceleanu |
TAMAA: UPPAAL-based mission planning for autonomous agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, pp. 1624-1633, 2020, ACM, 978-1-4503-6866-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (3) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, pp. 415-433, 2020, Springer, 978-3-030-61466-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, pp. 385-403, 2020, Springer, 978-3-030-61361-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, pp. 368-384, 2020, Springer, 978-3-030-61361-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2020, Montreal, QC, Canada, July 20-24, 2020, pp. 2508-2511, 2020, IEEE, 978-1-7281-1990-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen |
Conformance Testing in UPPAAL: A diabolic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, pp. 35-42, 2020, IEEE, 978-1-7281-1075-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan |
Towards Model Checking of Voting Protocols in Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E-VOTE-ID ![In: Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings, pp. 129-146, 2020, Springer, 978-3-030-60346-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, pp. 186-202, 2020, Springer, 978-3-030-48076-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ran Li, Jiaqi Yin, Huibiao Zhu |
Modeling and Analysis of RabbitMQ Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, December 29, 2020 - January 1, 2021, pp. 79-86, 2020, IEEE, 978-1-6654-0392-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, pp. 3-21, 2020, Springer, 978-3-030-50085-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BlockSys ![In: Blockchain and Trustworthy Systems - Second International Conference, BlockSys 2020, Dali, China, August 6-7, 2020, Revised Selected Papers, pp. 3-17, 2020, Springer, 978-981-15-9212-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Inf. Syst. ![In: J. Aerosp. Inf. Syst. 16(11), pp. 473-499, November 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao |
Coordinated Intelligent Traffic Lights using Uppaal Stratego. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: 11th International Conference on Communication Systems & Networks, COMSNETS 2019, Bengaluru, India, January 7-11, 2019, pp. 789-794, 2019, IEEE, 978-1-5386-7902-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Anne E. Haxthausen, Kristian Hede |
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 433-448, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, pp. 1-21, 2019, Springer, 978-3-030-27007-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2019, Sapporo, Japan, May 26-29, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-0397-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019, pp. 3334-3339, 2019, IEEE, 978-1-5386-7024-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Maike Schwammberger |
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAV@CPSWeek ![In: Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018., pp. 17-31, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Christian Nigro, Libero Nigro, Paolo F. Sciammarella |
Modelling and analysis of multi-agent systems using UPPAAL SMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 13(1), pp. 73-87, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 28(11-12), pp. 1619-1636, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Shimmi Asokan, G. Santhosh Kumar |
Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISED ![In: 8th International Symposium on Embedded Computing and System Design, ISED 2018, Cochin, India, December 13-15, 2018, pp. 69-73, 2018, IEEE, 978-1-5386-6575-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Kim G. Larsen, Florian Lorber, Brian Nielsen |
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (4) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, pp. 212-229, 2018, Springer, 978-3-030-03426-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, pp. 372-391, 2018, Springer, 978-3-030-03420-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, pp. 67-82, 2018, Springer, 978-3-030-00243-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 236-254, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 113-133, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Shuxin Liu, Noriaki Yoshiura |
Model Checking of TTCAN Protocol Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IV, pp. 550-564, 2018, Springer, 978-3-319-95170-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: European Conference on Modelling and Simulation, ECMS 2018, Wilhelmshaven, Germany, May 22-25, 2018, Proceedings, pp. 136-142, 2018, European Council for Modeling and Simulation. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yuan Fei, Huibiao Zhu, Xin Li |
Modeling and Verification of NLSR Protocol using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, pp. 108-115, 2018, IEEE Computer Society, 978-1-5386-7305-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 12(8), pp. 482-488, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Sidra Sultana, Fahim Arif |
Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL's Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 14455-14467, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Shruti Saini, Ansgar Fehnker |
Evaluating the Stream Control Transmission Protocol Using Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS@ETAPS ![In: Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 1-13, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Shengxin Dai, Mei Hong, Bing Guo |
Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Program. ![In: Sci. Program. 2017, pp. 2621089:1-2621089:12, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Schivo, Rom Langerak |
Discretization of Continuous Dynamical Systems Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModelEd, TestEd, TrustEd ![In: ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp. 297-315, 2017, Springer, 978-3-319-68269-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Algorithms, Logics and Tools ![In: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp. 603-622, 2017, Springer, 978-3-319-63120-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Algorithms, Logics and Tools ![In: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp. 249-268, 2017, Springer, 978-3-319-63120-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Algorithms, Logics and Tools ![In: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp. 560-577, 2017, Springer, 978-3-319-63120-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker |
Formal Verification of AADL Models Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: VII Brazilian Symposium on Computing Systems Engineering, SBESC 2017, Curitiba, PR, Brazil, November 6-10, 2017, pp. 117-124, 2017, IEEE Computer Society, 978-1-5386-3590-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu |
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 51-68, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 319-336, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Mojgan Kamali, Luigia Petre |
Uppaal vs Event-B for Modelling Optimised Link State Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 189-203, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017, pp. 11-19, 2017, IEEE Computer Society, 978-1-5386-2431-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi |
Hierarchical System Schedulability Analysis Framework Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 99-D(8), pp. 2172-2176, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 42, pp. 37-48, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yusuf Bora Kartal, Ece Guran Schmidt, Klaus Werner Schmidt |
Modeling Distributed Real-Time Systems in TIOA and UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(1), pp. 22:1-22:26, 2016. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(1), pp. 211-217, 2016. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(9), pp. 124-130, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Waheed Ahmad, Jaco van de Pol |
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, pp. 94-113, 2016, 978-3-319-47165-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 748-756, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Sachi Nishida, Yoshiyuki Shinkawa |
Evaluating Data Integrity in the Cloud using the UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 304-309, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Faezeh Siavashi, Dragos Truscan, Jüri Vain |
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 15-26, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, November 1-4, 2016, pp. 713-718, 2016, IEEE, 978-1-5090-1889-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella |
Model Checking Mutual Exclusion Algorithms Using Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSOC (2) ![In: Software Engineering Perspectives and Application in Intelligent Systems - Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2, pp. 203-215, 2016, Springer, 978-3-319-33620-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Peter Fogh, Thomas C. Hald, Brian Nielsen |
WUppaal: A web-service for the Uppaal model-checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS Data ![In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016, pp. 1-6, 2016, IEEE Computer Society, 978-1-5090-1154-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, July 19-21, 2016, pp. 80-85, 2016, IEEE, 978-1-5090-2870-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jüri Vain, Leonidas Tsiopoulos, Jishu Guin |
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016, pp. 126-134, 2016, IEEE Computer Society, 978-1-5090-5526-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen |
Uppaal SMC tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 17(4), pp. 397-415, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.07352, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.07312, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Che-Wei Chang, Rainer Dömer |
May-happen-in-parallel analysis of ESL models using UPPAAL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 1567-1570, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 143-150, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings, pp. 47-61, 2015, Springer, 978-3-319-19457-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
Uppaal Stratego. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 206-211, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, pp. 429-435, 2015, Springer, 978-3-319-17523-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila |
A Practical Application of UPPAAL and DTRON for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IP@ICSE ![In: 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015, pp. 39-45, 2015, IEEE, 978-1-4673-7085-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 85-99, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Çagatay Özdemir |
CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UYMS ![In: Proceedings of the 8th Turkish National Software Engineering Symposium, Güzelyurt, KKTC, Turkey, September 8-10, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Kim G. Larsen |
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. IS-11, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCPS ![In: 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, pp. 100-112, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-66-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 718-732, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Jonas Rinast, Sibylle Schupp, Dieter Gollmann |
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 547-562, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|