Search results for "Uppaal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
79	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Lip synchronisation, Model checking, Verification, Specification, Timed automata, Uppaal
79	Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund	Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.	RTSS	1997	DBLP DOI BibTeX RDF	audio/video protocol, real-life protocol, real-time considerations, real-time verification tool, error trace, software engineering, formal verification, formal modeling, automatic verification, industrial case study, UPPAAL, assembler code
68	Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann 0001, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann	Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
68	Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang	Analysis of the zeroconf protocol using UPPAAL.	EMSOFT	2006	DBLP DOI BibTeX RDF	zeroconf protocol, modelling, model checking, verification, formal methods, validation, timed automata
68	Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen	Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.	ECRTS	2000	DBLP DOI BibTeX RDF
67	Martin Kot	Modeling selected real-time database concurrency control protocols in Uppaal.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Pessimistic protocol, Model checking, Verification, Timed automata, Two-phase-locking, Real-time database systems, Uppaal, Verification tool, Optimistic protocol
67	Rodolfo Gómez 0001	A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF	Urgent actions, Timed Automata with Deadlines, Uppaal
60	Paula Herber, Joachim Fellmuth, Sabine Glesner	Model checking SystemC designs using timed automata.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	model checking, timed automata, SystemC
60	Simon Tschirner, Liang Xuedong, Wang Yi 0001	Model-based validation of QoS properties of biomedical sensor networks.	EMSOFT	2008	DBLP DOI BibTeX RDF	modelling and verification, wireless sensor networks
56	Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski	Faster Than Uppaal?	CAV	2008	DBLP DOI BibTeX RDF
56	John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej	Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.	ATVA	2008	DBLP DOI BibTeX RDF
56	Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov	Verification of COMDES-II Systems Using UPPAAL with Model Transformation.	RTCSA	2008	DBLP DOI BibTeX RDF
56	Wan J. Fokkink, Allard Kakebeen, Jun Pang 0001	Adapting the UPPAAL Model of a Distributed Lift System.	FSEN	2007	DBLP DOI BibTeX RDF
56	Lina Khatib, Nicola Muscettola, Klaus Havelund	Verification of Plan Models Using UPPAAL.	FAABS	2000	DBLP DOI BibTeX RDF	Scheduling, Model Checking, Verification, Planning, Autonomy
56	Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi 0001	UPPAAL - Now, Next, and Future.	MOVEP	2000	DBLP DOI BibTeX RDF
48	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Automatic Analysis of Embedded Systems Specified in Astral.	HICSS (3)	1998	DBLP DOI BibTeX RDF
47	Oskar Wibling, Joachim Parrow, Arnold Neville Pears	Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.	FORTE	2005	DBLP DOI BibTeX RDF	LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, DSR, UPPAAL
47	Oskar Wibling, Joachim Parrow, Arnold Neville Pears	Automatized Verification of Ad Hoc Routing Protocols.	FORTE	2004	DBLP DOI BibTeX RDF	LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, SPIN, UPPAAL
47	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
47	Kristina Lundqvist, Lars Asplund, Stephen Mitchell	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
44	Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David	Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.	FORMATS	2007	DBLP DOI BibTeX RDF
44	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi 0001, Martijn Hendriks	UPPAAL 4.0.	QEST	2006	DBLP DOI BibTeX RDF
44	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen	Online Testing of Real-time Systems Using Uppaal.	FATES	2004	DBLP DOI BibTeX RDF
44	Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager	Adding Symmetry Reduction to Uppaal.	FORMATS	2003	DBLP DOI BibTeX RDF
44	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001	A Tool Architecture for the Next Generation of Uppaal.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
44	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	UPPAAL Implementation Secrets.	FTRTFT	2002	DBLP DOI BibTeX RDF
44	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou	Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.	FTRTFT	2000	DBLP DOI BibTeX RDF
43	Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten	From POOSL to UPPAAL: Transformation and Quantitative Analysis.	ACSD	2010	DBLP DOI BibTeX RDF	POOSL, performance, verification, transformation, quantitative analysis, UPPAAL
43	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	UPPAAL in a Nutshell.	Int. J. Softw. Tools Technol. Transf.	1997	DBLP DOI BibTeX RDF	Modeling real-time systems, Dynamic modeling, Modeling tools, Uppaal
41	Rheeya Uppaal, Yixuan Li, Junjie Hu	FEUDA: Frustratingly Easy Prompt Based Unsupervised Domain Adaptation.	CoRR	2024	DBLP DOI BibTeX RDF
41	Yun-Shiuan Chuang, Yi Wu, Dhruv Gupta, Rheeya Uppaal, Ananya Kumar, Luhang Sun, Makesh Narsimhan Sreedhar, Sijia Yang, Timothy T. Rogers, Junjie Hu	Evolving Domain Adaptation of Pretrained Language Models for Text Classification.	CoRR	2023	DBLP DOI BibTeX RDF
41	Rheeya Uppaal, Junjie Hu, Yixuan Li	Is Fine-tuning Needed? Pre-trained Language Models Are Near Perfect for Out-of-Domain Detection.	CoRR	2023	DBLP DOI BibTeX RDF
41	Rheeya Uppaal, Junjie Hu, Yixuan Li	Is Fine-tuning Needed? Pre-trained Language Models Are Near Perfect for Out-of-Domain Detection.	ACL (1)	2023	DBLP DOI BibTeX RDF
41	Ahsaas Bajaj, Pavitra Dangati, Kalpesh Krishna, Pradhiksha Ashok Kumar, Rheeya Uppaal, Bradford Windsor, Eliot Brenner, Dominic Dotterrer, Rajarshi Das, Andrew McCallum	Long Document Summarization in a Low Resource Setting using Pretrained Language Models.	CoRR	2021	DBLP BibTeX RDF
41	Ahsaas Bajaj, Pavitra Dangati, Kalpesh Krishna, Pradhiksha Ashok Kumar, Rheeya Uppaal, Bradford Windsor, Eliot Brenner, Dominic Dotterrer, Rajarshi Das, Andrew McCallum	Long Document Summarization in a Low Resource Setting using Pretrained Language Models.	ACL (student)	2021	DBLP DOI BibTeX RDF
41	Haw-Shiuan Chang, Shankar Vembu, Sunil Mohan, Rheeya Uppaal, Andrew McCallum	Using error decay prediction to overcome practical issues of deep active learning for named entity recognition.	Mach. Learn.	2020	DBLP DOI BibTeX RDF
41	Bhanu Pratap Singh, Iman Deznabi, Bharath Narasimhan, Bryon Kucharski, Rheeya Uppaal, Akhila Josyula, Madalina Fiterau	Multi-resolution Networks For Flexible Irregular Time Series Modeling (Multi-FIT).	CoRR	2019	DBLP BibTeX RDF
41	Rheeya Uppaal	LRS-DAG: Low Resource Supervised Domain Adaptation with Generalization Across Domains.	CoRR	2019	DBLP BibTeX RDF
41	Haw-Shiuan Chang, Shankar Vembu, Sunil Mohan, Rheeya Uppaal, Andrew McCallum	Overcoming Practical Issues of Deep Active Learning and its Applications on Named Entity Recognition.	CoRR	2019	DBLP BibTeX RDF
36	AnnMarie Ericsson, Mikael Berndtsson	REX, the rule and event eXplorer.	DEBS	2007	DBLP DOI BibTeX RDF	design, verification, timed automata, CASE, CEP
36	Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain	Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.	FATES/RV	2006	DBLP DOI BibTeX RDF
36	Fredrik Larsson, Paul Pettersson, Wang Yi 0001	On Memory-Block Traversal Problems in Model-Checking Timed-Systems.	TACAS	2000	DBLP DOI BibTeX RDF
35	Yi Qian, Yuming Xu, Zheng Wang 0005, Geguang Pu, Huibiao Zhu, Chao Cai	Tool Support for BPEL Verification in ActiveBPEL Engine.	ASWEC	2007	DBLP DOI BibTeX RDF	ActiveBPEL, WSBPEL, Verification, Timed Automata, UPPAAL, Workflow language
35	Rodolfo Gómez 0001, Howard Bowman	Efficient Detection of Zeno Runs in Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	Zeno Runs, Model-checking, Timed Automata, Uppaal
35	Rachel Cardell-Oliver	Conformance test experiments for distributed real-time systems.	ISSTA	2002	DBLP DOI BibTeX RDF	Lego RCX, design for testability, timed automata, conformance testing, distributed real-time systems, Uppaal
32	Quan Zu, Miaomiao Zhang, Jing Liu 0012, Qingfeng Du	Designing, Modelling and Verifying a Container Terminal System Using UPPAAL.	HASE	2008	DBLP DOI BibTeX RDF
32	Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou	Testing Real-Time Systems Using UPPAAL.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
32	Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime	UPPAAL-Tiga: Time for Playing Games!	CAV	2007	DBLP DOI BibTeX RDF
32	Ferdy Hanssen, Angelika Mader, Pierre G. Jansen	Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal.	MASCOTS	2006	DBLP DOI BibTeX RDF
32	Jörg Hoffmann 0001, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski	Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.	MoChArt	2006	DBLP DOI BibTeX RDF
32	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou	Testing real-time embedded software using UPPAAL-TRON: an industrial case study.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time systems, embedded systems, black-box testing, online testing, control software
32	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen	A Tutorial on Uppaal.	SFM	2004	DBLP DOI BibTeX RDF
32	Karsten Diethers, Michaela Huhn	Vooduu: Verification of Object-Oriented Designs Using UPPAAL.	TACAS	2004	DBLP DOI BibTeX RDF
32	Jun Pang 0001, Bart Karstens, Wan J. Fokkink	Analyzing the Redesign of a Distributed Lift System in UPPAAL.	ICFEM	2003	DBLP DOI BibTeX RDF
32	Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn	Efficient Guiding Towards Cost-Optimality in UPPAAL.	TACAS	2001	DBLP DOI BibTeX RDF
32	Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	Verification of an Audio Protocol with Bus Collision Using UPPAAL.	CAV	1996	DBLP DOI BibTeX RDF
24	Germán Regis, Nazareno Aguirre, T. S. E. Maibaum	Specifying and Verifying Business Processes Using PPML.	ICFEM	2009	DBLP DOI BibTeX RDF
24	Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba	An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata.	ICFEM	2009	DBLP DOI BibTeX RDF
24	Nawal Guermouche, Claude Godart	Timed Model Checking Based Approach for Web Services Analysis.	ICWS	2009	DBLP DOI BibTeX RDF
24	Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner	Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.	SBCCI	2009	DBLP DOI BibTeX RDF	embedded systems, formal verification, model driven engineering
24	Hanifa Boucheneb, Abdessamad Imine	On Model-Checking Optimistic Replication Algorithms.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
24	Roelof Hamberg, Frits W. Vaandrager	Using model checkers in an introductory course on operating systems.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
24	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
24	Sebastian Kupferschmid, Jörg Hoffmann 0001, Kim Guldstrand Larsen	Fast Directed Model Checking Via Russian Doll Abstraction.	TACAS	2008	DBLP DOI BibTeX RDF
24	Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.	IFIP TCS	2008	DBLP DOI BibTeX RDF
24	Jasper Berendsen, Frits W. Vaandrager	Compositional Abstraction in Real-Time Model Checking.	FORMATS	2008	DBLP DOI BibTeX RDF
24	Michael R. Hansen, Jan Madsen, Aske Wiid Brekling	Semantics and Verification of a Language for Modelling Hardware Architectures.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Hardware descriptions, model- checking, verification, semantics
24	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen	Automatic Abstraction Refinement for Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
24	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager	Model checker aided design of a controller for a wafer scanner.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization
24	Howard Bowman, Rodolfo Gómez 0001	How to stop time stopping.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata
24	Martijn Hendriks, Marcel Verhoef	Timed automata based analysis of embedded system architectures.	IPDPS	2006	DBLP DOI BibTeX RDF
24	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Optimal scheduling using priced timed automata.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
24	Behzad Bordbar, Kozo Okano	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.	FATES	2004	DBLP DOI BibTeX RDF
24	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Priced Timed Automata: Algorithms and Applications.	FMCO	2004	DBLP DOI BibTeX RDF
24	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
24	Magnus Lindahl, Paul Pettersson, Wang Yi 0001	Formal design and analysis of a gear controller.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Design, Real-time systems, Model checking, Timed automata, Automotive systems
24	Thorsten Gerdsmeier, Rachel Cardell-Oliver	A Method for Verifying Real-Time Properties of Ada Programs.	ICECCS	2001	DBLP DOI BibTeX RDF
24	Alexandre David, Wang Yi 0001	Modelling and analysis of a commercial field bus protocol.	ECRTS	2000	DBLP DOI BibTeX RDF
24	Kim Guldstrand Larsen	Verification of Timed and Hybrid Systems.	ICATPN	2000	DBLP DOI BibTeX RDF
24	Supratik Mukhopadhyay, Andreas Podelski	Model Checking for Timed Logic Processes.	Computational Logic	2000	DBLP DOI BibTeX RDF
24	Ansgar Fehnker	Scheduling a Steel Plant with Timed Automata.	RTCSA	1999	DBLP DOI BibTeX RDF
24	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	Efficient verification of real-time systems: compact data structure and state-space reduction.	RTSS	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
23	Shujun Zou, Kaiyu Wan, Zongyuan Yang	Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework.	FCST	2010	DBLP DOI BibTeX RDF	Medical Diagnosis System, Context-awarness Framework, Modelling, Verifying, UPPAAL
23	Alan Burns 0001, Tse-Min Lin	An engineering process for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
20	Kousei Sakata, Shintaro Fujita, Kenji Sawada, Hiroshi Iwasawa, Hiromichi Endoh, Noritaka Matsumoto	Model verification of fallback control system under cyberattacks via UPPAAL.	Adv. Robotics	2023	DBLP DOI BibTeX RDF
20	Yuan Fei, Huibiao Zhu, Jiaqi Yin	Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.	J. Softw. Evol. Process.	2023	DBLP DOI BibTeX RDF
20	Sascha Lehmann, Sibylle Schupp	Bounded DBM-based clock state construction for timed automata in Uppaal.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
20	Ningning Chen, Huibiao Zhu	IoT Modeling and Verification: From the CaIT Calculus to UPPAAL.	IEICE Trans. Inf. Syst.	2023	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.	Inf. Softw. Technol.	2023	DBLP DOI BibTeX RDF
20	Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba	A toolchain for domestic heat-pump control using Uppaal Stratego.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
20	Farid Arfi, Anne-Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot	Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.	IET Softw.	2023	DBLP DOI BibTeX RDF
20	Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz	Formal Verification of a Mechanical Ventilator using UPPAAL.	FTSCS	2023	DBLP DOI BibTeX RDF
20	Jonatan Larsson, Eduard Paul Enoiu	Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS.	ICSTW	2023	DBLP DOI BibTeX RDF
20	Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens	MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.	ICSTW	2023	DBLP DOI BibTeX RDF
20	Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen	Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink.	ECBS	2023	DBLP DOI BibTeX RDF
20	Rong Gu	Learning in Uppaal for Test Case Generation for Cyber-Physical Systems.	ECBS	2023	DBLP DOI BibTeX RDF
20	Martin Kristjansen, Abhijit Kulkarni, Peter Gjøl Jensen, Remus Teodorescu, Kim Guldstrand Larsen	Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego.	IECON	2023	DBLP DOI BibTeX RDF
20	Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen	Pattern-Based Verification of ROS 2 Nodes Using UPPAAL.	FMICS	2023	DBLP DOI BibTeX RDF
20	Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang	A Tool for Transforming SysML State Machine into Uppaal Automatically.	SMC	2023	DBLP DOI BibTeX RDF