The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Uppaal with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-1999 (22) 2000-2001 (22) 2002-2003 (23) 2004 (25) 2005 (27) 2006 (28) 2007 (26) 2008 (24) 2009 (25) 2010-2011 (22) 2012-2013 (28) 2014-2015 (21) 2016-2017 (28) 2018-2019 (21) 2020 (16) 2021 (18) 2022-2023 (26) 2024 (1)
Publication types (Num. hits)
article(77) incollection(2) inproceedings(324)
Venues (Conferences, Journals, ...)
FORMATS(15) TACAS(13) CoRR(12) Int. J. Softw. Tools Technol. ...(10) Formal Aspects Comput.(9) ICFEM(9) CAV(7) FM(7) EMSOFT(5) ETFA(5) FMICS(5) FORTE(5) IFM(5) SEFM(5) ECBS(4) FATES(4) More (+10 of total 224)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 268 occurrences of 137 keywords

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