23 papers:
DATE-2015-ChangD #analysis #model checking #modelling #using- May-happen-in-parallel analysis of ESL models using UPPAAL model checking (CWC, RD), pp. 1567–1570.
TACAS-2015-DavidJLMT #stratego- Uppaal Stratego (AD, PGJ, KGL, MM, JHT), pp. 206–211.
FM-2014-RinastSG #graph #performance #reduction- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
- FM-2014-ShanWFZZWQC #using #verification
- Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
SEFM-2014-HajisheykhiEK #fault #modelling #using- Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
- SEFM-2013-AmanC #migration #realtime
- Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.
- SEFM-2013-SuryadevaraSMP #behaviour #using #verification
- Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.
- TACAS-2012-FehnkerGHMPT #analysis #automation #using
- Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics- UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
- DATE-2010-LarsenLNP #analysis #realtime #synthesis #using
- Scenario-based analysis and synthesis of real-time systems using uppaal (KGL, SL, BN, SP), pp. 447–452.
- FM-2009-HjortRLPS #modelling #testing #user interface #using
- Model-Based GUI Testing Using Uppaal at Novo Nordisk (UHH, JIR, KGL, MAP, AS), pp. 814–818.
CAV-2008-KupferschmidWNP #performance #question- Faster Than Uppaal? (SK, MW, BN, AP), pp. 552–555.
- TACAS-2007-KupferschmidDHFDPB #heuristic #model checking
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
- CAV-2007-BehrmannCDFLL #exclamation #game studies #named
- UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
ASE-2004-MikucionisLN #modelling #named #online #realtime #testing- T-UPPAAL: Online Model-based Testing of Real-Time Systems (MM, KGL, BN), pp. 396–397.
- TACAS-2004-DiethersH #design #named #object-oriented #using #verification
- Vooduu: Verification of Object-Oriented Designs Using UPPAAL (KD, MH), pp. 139–143.
SFM-2004-BehrmannDL #tutorial- A Tutorial on Uppaal (GB, AD, KGL), pp. 200–236.
FATES-2004-LarsenMN #online #realtime #testing #using- Online Testing of Real-time Systems Using Uppaal (KGL, MM, BN), pp. 79–94.
- FATES-2003-HesselLNPS #generative #realtime #testing #using
- Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.
- TACAS-2001-BehrmannF #performance #towards
- Efficient Guiding Towards Cost-Optimality in UPPAAL (GB, AF), pp. 174–188.
- CAV-1997-LarsenPY #named
- UPPAAL: Status & Developments (KGL, PP, WY), pp. 456–459.
- TACAS-1996-BengtssonLLPY
- UPPAAL in 1995 (JB, KGL, FL, PP, WY), pp. 431–434.
- CAV-1996-BengtssonGKLLPY #protocol #using #verification
- Verification of an Audio Protocol with Bus Collision Using UPPAAL (JB, WODG, KJK, KGL, FL, PP, WY), pp. 244–256.
