Search results for "UPPAAL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Gregor Nitsche, Kim Grüttner, Wolfgang Nebel	Towards satisfaction checking of power contracts in Uppaal.	FDL	2014	DBLP DOI BibTeX RDF
20	Kim G. Larsen	Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.	PECCS	2014	DBLP BibTeX RDF
20	Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal	A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.	ICSOFT (Selected Papers)	2014	DBLP DOI BibTeX RDF
20	Dragos Truscan, Jüri Vain, Martin Koskinen	Combining Aspect-orientation and UPPAAL Timed Automata.	ICSOFT PT	2014	DBLP DOI BibTeX RDF
20	Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman	Compositional Schedulability Analysis of An Avionics System Using UPPAAL.	ICAASE	2014	DBLP BibTeX RDF
20	Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni	Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.	SEFM	2014	DBLP DOI BibTeX RDF
20	Can Pan, Jian Guo 0005, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou	Modeling and Verification of CAN Bus with Application Layer using UPPAAL.	TTSS	2013	DBLP DOI BibTeX RDF
20	Timothy Bourke, Arcot Sowmya	Analyzing an embedded sensor with timed automata in uppaal.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
20	Rodolfo Gómez 0001	Model-checking timed automata with deadlines with Uppaal.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
20	Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo	Modelling Java Concurrency: An Approach and a Uppaal Library.	FedCSIS	2013	DBLP BibTeX RDF
20	Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki	An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.	FTSCS	2013	DBLP DOI BibTeX RDF
20	Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson	Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker.	ICST Workshops	2013	DBLP DOI BibTeX RDF
20	Ping Luo, Rui Wang 0024, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang 0074	Model Checking for SpaceWire Link Interface Design Using Uppaal.	COMPSAC Workshops	2013	DBLP DOI BibTeX RDF
20	Franck Cassez, Jean-Luc Béchennec	Timing Analysis of Binary Programs with UPPAAL.	ACSD	2013	DBLP DOI BibTeX RDF
20	Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali	Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.	FSEN	2013	DBLP DOI BibTeX RDF
20	Jagadish Suryadevara	Validating EAST-ADL Timing Constraints Using UPPAAL.	EUROMICRO-SEAA	2013	DBLP DOI BibTeX RDF
20	Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou	Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.	FACS	2013	DBLP DOI BibTeX RDF
20	David Fabian, Radek Marík	Configuration Dynamics Verification Using UPPAAL.	Configuration Workshop	2013	DBLP BibTeX RDF
20	Muhammad Salman Malik, Robin Berthier, Rakesh B. Bobba, Roy H. Campbell, William H. Sanders	Formal design of communication checkers for ICCP using UPPAAL.	SmartGridComm	2013	DBLP DOI BibTeX RDF
20	Bogdan Aman, Gabriel Ciobanu	Real-Time Migration Properties of rTiMo Verified in Uppaal.	SEFM	2013	DBLP DOI BibTeX RDF
20	Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson	Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.	SEFM	2013	DBLP DOI BibTeX RDF
20	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
20	Doaa Soliman, Kleanthis Thramboulidis, Georg Frey	Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications.	Annu. Rev. Control.	2012	DBLP DOI BibTeX RDF
20	Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang 0005	UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata	QAPL	2012	DBLP DOI BibTeX RDF
20	Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat	Automated Verification of AADL-Specifications Using UPPAAL.	HASE	2012	DBLP DOI BibTeX RDF
20	Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns	mctau: Bridging the Gap between Modest and UPPAAL.	SPIN	2012	DBLP DOI BibTeX RDF
20	Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang 0001	MDE-Based Verification of SysML State Machine Diagram by UPPAAL.	ISCTCS	2012	DBLP DOI BibTeX RDF
20	Jasen Markovski, Michel A. Reniers	Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2.	ICT Innovations	2012	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.	TACAS	2012	DBLP DOI BibTeX RDF
20	Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali	Revising and Extending the Uppaal Communication Mechanism.	SC@TOOLS	2012	DBLP DOI BibTeX RDF
20	Omar I. Al-Bataineh, Tim French 0002, Terry Woodings	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.	TIME	2012	DBLP DOI BibTeX RDF
20	Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo	Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.	DS-RT	2012	DBLP DOI BibTeX RDF
20	Jonas Rinast, Sibylle Schupp	Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.	FORMATS	2012	DBLP DOI BibTeX RDF
20	Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson	ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.	ICECCS	2012	DBLP DOI BibTeX RDF
20	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	Developing UPPAAL over 15 years.	Softw. Pract. Exp.	2011	DBLP DOI BibTeX RDF
20	Paula Herber, Marcel Pockrandt, Sabine Glesner	Transforming SystemC Transaction Level Models into UPPAAL timed automata.	MEMOCODE	2011	DBLP DOI BibTeX RDF
20	Eun-Young Kang 0001, Pierre-Yves Schobbens, Paul Pettersson	Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.	SAFECOMP	2011	DBLP DOI BibTeX RDF
20	Carsten Rütz, Julien Schmaltz	An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON.	ICST Workshops	2011	DBLP DOI BibTeX RDF
20	Marwane Ayaida, Haytem El Mehraz, Lissan Afilal, Hacène Fouchal	Modeling Interoperability Channel using UPPAAL.	IICS	2011	DBLP BibTeX RDF
20	Paul Pettersson	Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool.	COMPSAC	2011	DBLP DOI BibTeX RDF
20	Xiaoli Gong, Jie Ma, Qingcheng Li, Jin Zhang 0003	Automatic Model Building and Verification of Embedded Software with UPPAAL.	TrustCom	2011	DBLP DOI BibTeX RDF
20	Colm Bhandal, Mélanie Bouroche, Arthur Hughes	An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker.	EUC	2011	DBLP DOI BibTeX RDF
20	Martin Kot	Using Uppaal for Verification of Priority Assignment in Real-Time Databases.	ICDIPC (2)	2011	DBLP DOI BibTeX RDF
20	Franco Cicirelli, Libero Nigro, Francesco Pupo	Modelling And Verification Of Concurrent Programs Using UPPAAL.	ECMS	2011	DBLP DOI BibTeX RDF
20	Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas	Scenario-based verification of real-time systems using Uppaal.	Formal Methods Syst. Des.	2010	DBLP DOI BibTeX RDF
20	André L. N. Muniz, Aline Maria Santos Andrade, George Lima 0001	Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.	Innov. Syst. Softw. Eng.	2010	DBLP DOI BibTeX RDF
20	Houda Bel Mokadem, Béatrice Bérard, V. Gourcuff, O. De Smet, J. Roussel	Verification of a Timed Multitask System With Uppaal.	IEEE Trans Autom. Sci. Eng.	2010	DBLP DOI BibTeX RDF
20	Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas	Scenario-based analysis and synthesis of real-time systems using uppaal.	DATE	2010	DBLP DOI BibTeX RDF
20	Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten	UPPAAL in Practice: Quantitative Verification of a RapidIO Network.	ISoLA (2)	2010	DBLP DOI BibTeX RDF
20	Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard	Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.	ISoLA (2)	2010	DBLP DOI BibTeX RDF
20	Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio	A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.	ISoLA (1)	2010	DBLP DOI BibTeX RDF
20	Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson	Towards WCET Analysis of Multicore Architectures Using UPPAAL.	WCET	2010	DBLP DOI BibTeX RDF
20	Martin Kot	Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal.	DATESO	2010	DBLP BibTeX RDF
20	Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu 0002, Frits W. Vaandrager	Adaptive Scheduling of Data Paths using Uppaal Tiga	QFM	2009	DBLP DOI BibTeX RDF
20	Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou	Model-Based GUI Testing Using Uppaal at Novo Nordisk.	FM	2009	DBLP DOI BibTeX RDF
20	Xiao Wu, Heng Ling, Yunwei Dong	On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL.	ICESS	2009	DBLP DOI BibTeX RDF
20	Jidong Lv, Tao Tang 0004	Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL.	CSIE (2)	2009	DBLP DOI BibTeX RDF
20	N. C. W. M. Braspenning, Elena M. Bortnik, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda	Model-based system analysis using Chi and Uppaal: An industrial case study.	Comput. Ind.	2008	DBLP DOI BibTeX RDF
20	Angelo Furfaro, Libero Nigro	Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL.	IMCSIT	2008	DBLP DOI BibTeX RDF
20	Martin Kot	Modeling real-time database concurrency control protocol two-phase-locking in Uppaal.	IMCSIT	2008	DBLP DOI BibTeX RDF
20	Michael Goedicke, Moritz Balz, Michael Striewe	UPPAAL-Modelle als ausführbare Spezifikation in Java.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
20	Matias Bonet, Gabriel Donaire, Julián Proenza	Modelling MajorCAN with UPPAAL.	ETFA	2007	DBLP DOI BibTeX RDF
20	Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda	Analyzing a chi model of a turntable system using Spin, CADP and Uppaal.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
20	Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda	Verification of timed chi models using uppaal.	ICINCO	2005	DBLP BibTeX RDF
20	Angelo Furfaro, Libero Nigro	Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
20	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen	Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
20	Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte	SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.	FDL	2004	DBLP BibTeX RDF
20	Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen	T-UPPAAL: Online Model-based Testing of Real-Time Systems.	ASE	2004	DBLP DOI BibTeX RDF
20	Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong	Systematic evaluation of fault trees using real-time model checker UPPAAL.	Reliab. Eng. Syst. Saf.	2003	DBLP DOI BibTeX RDF
20	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou	Time-Optimal Real-Time Test Case Generation Using Uppaal.	FATES	2003	DBLP DOI BibTeX RDF
20	Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	Automated verification of an audio-control protocol using UPPAAL.	J. Log. Algebraic Methods Program.	2002	DBLP DOI BibTeX RDF
20	Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson	Guided Synthesis of Control Programs Using UPPAAL.	Nord. J. Comput.	2001	DBLP BibTeX RDF
20	Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi 0001	UPPAAL - present and future.	CDC	2001	DBLP DOI BibTeX RDF
20	Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir	Verification of the legOS Scheduler using Uppaal.	MTCS	2000	DBLP DOI BibTeX RDF
20	H. Sun	Timing Constraints Validation using UPPAAL: Schedulability Analysis.	DIPES	2000	DBLP BibTeX RDF
20	Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson	Guided Synthesis of Control Programs Using UPPAAL.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
20	Klaus Havelund, Kim Guldstrand Larsen, Arne Skou	Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.	ARTS	1999	DBLP BibTeX RDF
20	Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	UPPAAL: Status & Developments.	CAV	1997	DBLP DOI BibTeX RDF
20	Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou	Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
20	Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	UPPAAL in 1995.	TACAS	1996	DBLP DOI BibTeX RDF
20	Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001	UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
12	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
12	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
12	Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Scenario-based timing verification of multiprocessor embedded applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	execution scenarios, real time systems, static timing analysis, Timing verification
12	Angelo Furfaro, Libero Nigro	A development methodology for embedded systems based on RT-DEVS.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Embedded control systems, Model continuity, Java, Model checking, Timed automata, DEVS, Temporal analysis, Real-time constraints
12	Miaomiao Zhang, Zhiming Liu 0001, Charles Morisset, Anders P. Ravn	Design and Verification of Fault-Tolerant Components.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-tolerance, model checking, abstraction, real-time embedded systems
12	Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi 0001	Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.	ICFEM	2009	DBLP DOI BibTeX RDF
12	Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci	Flexible Timeline-Based Plan Verification.	KI	2009	DBLP DOI BibTeX RDF
12	Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager	Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks.	FM	2009	DBLP DOI BibTeX RDF	wireless sensor networks, model checking, theorem proving, timed automata, clock synchronization, industrial application
12	Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas	Verifying Real-Time Systems against Scenario-Based Requirements.	FM	2009	DBLP DOI BibTeX RDF
12	Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier	Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.	HSCC	2009	DBLP DOI BibTeX RDF
12	Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba	TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.	ATVA	2009	DBLP DOI BibTeX RDF
12	Min Zhou 0001, Fei He 0001, Ming Gu 0001, Xiaoyu Song	Translation-Based Model Checking for PLC Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
12	Jan Stöcker, Frédéric Lang, Hubert Garavel	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	IFM	2009	DBLP DOI BibTeX RDF
12	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.	TACAS	2009	DBLP DOI BibTeX RDF	model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
12	Kim Guldstrand Larsen	Verification and Performance Analysis for Embedded Systems.	TASE	2009	DBLP DOI BibTeX RDF
12	Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer	Using communication coverage criteria and partial model generation to assist software integration testing.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria
12	Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001	Verification of Linear Duration Invariants by Model Checking CTL Properties.	ICTAC	2008	DBLP DOI BibTeX RDF
12	Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen	A Game-Theoretic Approach to Real-Time System Testing.	DATE	2008	DBLP DOI BibTeX RDF
12	Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen	Model-based schedulability analysis of safety critical hard real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor