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 |