Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Gregor Nitsche, Kim Grüttner, Wolfgang Nebel |
Towards satisfaction checking of power contracts in Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-8, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Kim G. Larsen |
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PECCS ![In: PECCS 2014 - Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems, Lisbon, Portugal, 7-9 January, 2014, pp. IS-9, 2014, SciTePress, 978-989-758-000-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers, pp. 349-364, 2014, Springer, 978-3-319-25578-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dragos Truscan, Jüri Vain, Martin Koskinen |
Combining Aspect-orientation and UPPAAL Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT PT ![In: ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014, pp. 159-164, 2014, SciTePress, 978-989-758-037-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAASE ![In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014., pp. 140-147, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 175-189, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 31-49, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Timothy Bourke, Arcot Sowmya |
Analyzing an embedded sensor with timed automata in uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 13(3), pp. 44:1-44:26, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Rodolfo Gómez 0001 |
Model-checking timed automata with deadlines with Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 25(2), pp. 289-318, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
Modelling Java Concurrency: An Approach and a Uppaal Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013., pp. 1361-1368, 2013, 978-1-4673-4471-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, pp. 36-53, 2013, Springer, 978-3-319-05415-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 158-167, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: IEEE 37th Annual Computer Software and Applications Conference, COMPSAC Workshops 2013, Kyoto, Japan, July 22-26, 2013, pp. 181-186, 2013, IEEE Computer Society, 978-1-4799-2159-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Franck Cassez, Jean-Luc Béchennec |
Timing Analysis of Binary Programs with UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 41-50, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, pp. 111-132, 2013, Springer, 978-3-642-40212-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Jagadish Suryadevara |
Validating EAST-ADL Timing Constraints Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013, pp. 268-275, 2013, IEEE Computer Society, 978-0-7695-5091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 61-78, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | David Fabian, Radek Marík |
Configuration Dynamics Verification Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Configuration Workshop ![In: Proceedings of the 15th International Configuration Workshop, Vienna, Austria, August 29-30, 2013., pp. 35-42, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartGridComm ![In: IEEE Fourth International Conference on Smart Grid Communications, SmartGridComm 2013, Vancouver, BC, Canada, October 21-24, 2013, pp. 486-491, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Bogdan Aman, Gabriel Ciobanu |
Real-Time Migration Properties of rTiMo Verified in Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, pp. 31-45, 2013, Springer, 978-3-642-40560-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson |
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, pp. 1-15, 2013, Springer, 978-3-642-40560-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(16), pp. 8160-8186, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annu. Rev. Control. ![In: Annu. Rev. Control. 36(2), pp. 338-345, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 1-16, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat |
Automated Verification of AADL-Specifications Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 130-138, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns |
mctau: Bridging the Gap between Modest and UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, pp. 227-233, 2012, Springer, 978-3-642-31758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCTCS ![In: Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers, pp. 490-497, 2012, Springer, 978-3-642-35794-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jasen Markovski, Michel A. Reniers |
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT Innovations ![In: ICT Innovations 2012 - Secure and Intelligent Systems, Ohrid, Macedonia, 12-15 September, 2012, pp. 295-304, 2012, Springer, 978-3-642-37168-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 173-187, 2012, Springer, 978-3-642-28755-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali |
Revising and Extending the Uppaal Communication Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@TOOLS ![In: Software Composition - 11th International Conference, SC@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, pp. 114-131, 2012, Springer, 978-3-642-30563-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012, pp. 65-72, 2012, IEEE Computer Society, 978-1-4673-2659-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2012, Dublin, Ireland, October 25-27, 2012, pp. 57-64, 2012, IEEE Computer Society, 978-1-4673-2954-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings, pp. 220-235, 2012, Springer, 978-3-642-33364-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 328-337, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001 |
Developing UPPAAL over 15 years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 41(2), pp. 133-142, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Transforming SystemC Transaction Level Models into UPPAAL timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 161-170, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, pp. 243-256, 2011, Springer, 978-3-642-24269-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 39-46, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Marwane Ayaida, Haytem El Mehraz, Lissan Afilal, Hacène Fouchal |
Modeling Interoperability Channel using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICS ![In: 11th International Conference on Innovative Internet Community Services (I2CS 2011), June 15-17, 2011, Deutsche Telekom Laboratories, Berlin, Germany, pp. 182-192, 2011, GI, 978-3-88579-280-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Paul Pettersson |
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, pp. 450-451, 2011, IEEE Computer Society, 978-0-7695-4439-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011, pp. 1118-1124, 2011, IEEE Computer Society, 978-1-4577-2135-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, Melbourne, Australia, October 24-26, 2011, pp. 306-311, 2011, IEEE Computer Society, 978-1-4577-1822-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Martin Kot |
Using Uppaal for Verification of Priority Assignment in Real-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDIPC (2) ![In: Digital Information Processing and Communications - International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II, pp. 385-399, 2011, Springer, 978-3-642-22409-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Franco Cicirelli, Libero Nigro, Francesco Pupo |
Modelling And Verification Of Concurrent Programs Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: 25th European Conference on Modelling and Simulation, ECMS 2011, Krakow, Poland, June 7-10, 2011, pp. 525-533, 2011, European Council for Modeling and Simulation, 978-0-9564944-2-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 37(2-3), pp. 200-264, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 6(1-2), pp. 29-37, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 7(4), pp. 921-932, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 447-452, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, pp. 160-174, 2010, Springer, 978-3-642-16560-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, pp. 175-190, 2010, Springer, 978-3-642-16560-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp. 579-593, 2010, Springer, 978-3-642-16557-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson |
Towards WCET Analysis of Multicore Architectures Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCET ![In: 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium, pp. 101-112, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-21-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Martin Kot |
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATESO ![In: Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Stedronin-Plazy, Czech Republic, April 21-23, 2010, pp. 147-154, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QFM ![In: Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 1-11, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 814-818, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009., pp. 572-577, 2009, IEEE Computer Society, 978-0-7695-3678-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jidong Lv, Tao Tang 0004 |
Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (2) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 49-53, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 59(1), pp. 41-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Angelo Furfaro, Libero Nigro |
Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCSIT ![In: Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008, pp. 601-608, 2008, IEEE, 978-83-60810-14-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Martin Kot |
Modeling real-time database concurrency control protocol two-phase-locking in Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCSIT ![In: Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008, pp. 673-678, 2008, IEEE, 978-83-60810-14-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Michael Goedicke, Moritz Balz, Michael Striewe |
UPPAAL-Modelle als ausführbare Spezifikation in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 212-218, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Matias Bonet, Gabriel Donaire, Julián Proenza |
Modelling MajorCAN with UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece, pp. 1404-1407, 2007, IEEE, 978-1-4244-0825-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 65(2), pp. 51-104, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO ![In: ICINCO 2005, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD, pp. 486-492, 2005, INSTICC Press. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Angelo Furfaro, Libero Nigro |
Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005, pp. 388-393, 2005, IASTED/ACTA Press, 0-88986-466-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen |
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives of Model-Based Testing ![In: Perspectives of Model-Based Testing, 5.-10. September 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 672-684, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen |
T-UPPAAL: Online Model-based Testing of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 396-397, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 82(1), pp. 11-20, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 114-130, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 52-53, pp. 163-181, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson |
Guided Synthesis of Control Programs Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 8(1), pp. 43-64, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi 0001 |
UPPAAL - present and future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 2881-2886, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir |
Verification of the legOS Scheduler using Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 273-292, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | H. Sun |
Timing Constraints Validation using UPPAAL: Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany, pp. 161-172, 2000, Kluwer, 0-7923-7345-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson |
Guided Synthesis of Control Programs Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshop on Distributed System Validation and Verification ![In: Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, pp. E15-E22, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 277-298, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001 |
UPPAAL: Status & Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 456-459, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 33-49, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
UPPAAL in 1995. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings, pp. 431-434, 1996, Springer, 3-540-61042-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA, pp. 232-243, 1995, Springer, 3-540-61155-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 91-100, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 15:1-15:19, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(3), pp. 37:1-37:58, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 117-127, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 57-84, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 367-386, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
Flexible Timeline-Based Plan Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 49-56, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 516-531, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 676-691, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 90-104, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba |
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 84-89, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Min Zhou 0001, Fei He 0001, Ming Gu 0001, Xiaoyu Song |
Translation-Based Model Checking for PLC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 553-562, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 88-102, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 54-57, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 3-4, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 16(2), pp. 185-211, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 395-409, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
A Game-Theoretic Approach to Real-Time System Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 486-491, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 106-114, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor |