Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso |
Towards UML-based formal specifications of component-based real-time software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(2), pp. 179-192, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso |
Towards UML-Based Formal Specifications of Component-Based Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 118-134, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Juliana de Melo Bezerra, Celso Massaki Hirata |
A Semantics for UML-RT using n-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil, pp. 75-82, 2007, IEEE Computer Society, 978-0-7695-2834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yifeng Sun, David Levy 0001 |
Suggestions on Pattern Transformation in UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 17, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for the Boundedness of UML RT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 327-341, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
A CSP View on UML-RT Structure Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 91-108, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 238-257, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures |
33 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
A Semantics for UML-RT Active Classes via Mapping into Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 99-114, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model transformations, method integration, UML-RT, Circus |
33 | Roman Gumzej, Wolfgang A. Halang |
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 97-105, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Safety shell, Real time, Pattern, Safety, UML-RT |
33 | Yifeng Sun, David Levy 0001 |
A Software Process for Modeling Complex Systems with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 401-410, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Michael von der Beeck |
A Formal Semantics of UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 768-782, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Michael von der Beeck |
Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 94-104, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt |
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 28-30 June 2004, Geneva, Switzerland, pp. 202-209, 2004, IEEE Computer Society, 0-7695-2159-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Vittorio Cortellessa, Pierluigi Pierini, Romina Spalazzese, Alessio Vianale |
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 86-102, 2008, Springer, 978-3-540-87878-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation, UML, Software Performance, Resource Modeling |
19 | He Hai, Zhong Yi-fang, Cai Chi-lan |
Unified Modeling of Complex Real-Time Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 498-499, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | L. A. J. Dohmen, Lou J. Somers |
Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings, pp. 475-484, 2002, Springer, 3-540-00234-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ingolf Krüger |
Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISS@ETAPS ![In: Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002, pp. 34-50, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Hossein Neishaburi, Masoud Daneshtalab, Majid Nabi, Siamak Mohammadi |
System Level Voltage Scheduling Technique Using UML-RT Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 13-16 May 2007, Amman, Jordan, pp. 500-505, 2007, IEEE Computer Society, 1-4244-1030-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 |
Transformation Laws for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi 0002 |
On the adequacy of UML-RT for performance validation of an SDH telecommunication system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, pp. 121-124, 2005, IEEE Computer Society, 0-7695-2356-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid |
Interface-based Design of Systems-on-Chip using UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSOC ![In: Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'04), 19-21 July 2004, Banff, Alberta, Canada, pp. 39-44, 2004, IEEE Computer Society, 0-7695-2182-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jochen Malte Küster, Joachim Stroop |
Consistent Design of Embedded Real-Time Systems with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 31-40, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang |
A reconfiguration pattern for distributed embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(1), pp. 145-161, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML profiles and patterns, Specification PEARL, Embedded systems, Real-time, Distributed, Dynamic reconfiguration, UML-RT |
10 | Gabriel de Souza Pereira Moreira, Denis Ávila Montini, Daniela America da Silva, Felipe Rafael Motta Cardoso, Luiz Alberto Vieira Dias, Adilson Marques da Cunha |
Design Patterns Reuse for Real Time Embedded Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 1421-1427, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
I-CASE-E, Design Patterns, CMMi, RUP, UML-RT |
10 | Dominikus Herzberg, André Marburger |
The Use of Layers and Planes for Architectural Design of Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 235-242, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Manas Saksena, Panagiota Karvelas |
Designing for schedulability: integrating schedulability analysis with object-oriented design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, pp. 101-108, 2000, IEEE Computer Society, 0-7695-0734-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Malvina Latifaj, Federico Ciccozzi, Muhammad Waseem Anwar, Mattias Mohlin |
Blended Graphical and Textual Modelling of UML-RT State-Machines: An Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA (Tracks and Workshops) ![In: Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers, pp. 22-44, 2021, Springer, 978-3-031-15115-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
9 | Malvina Latifaj, Federico Ciccozzi, Mattias Mohlin, Ernesto Posse |
Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA (Companion) ![In: ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
9 | Majid Babaei, Juergen Dingel |
MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021, pp. 620-624, 2021, IEEE, 978-1-6654-2484-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
9 | Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel |
MReplayer: a trace replayer of distributed UML-RT models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, pp. 6:1-6:5, 2020, ACM, 978-1-4503-8135-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
9 | Mojtaba Bagherzadeh, Karim Jahed, Benoît Combemale, Juergen Dingel |
Live-UMLRT: A Tool for Live Modeling of UML-RT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, pp. 743-747, 2019, IEEE, 978-1-7281-5125-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Majid Babaei, Karim Jahed, Juergen Dingel |
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, pp. 221-227, 2019, IEEE, 978-1-7281-5125-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel |
PMExec: An Execution Engine of Partial UML-RT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1178-1181, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Tuhin Kanti Das, Juergen Dingel |
Model development guidelines for UML-RT: conventions, patterns and antipatterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(3), pp. 717-752, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz, Juergen Dingel |
MDebugger: a model-level debugger for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 97-100, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Reza Ahmadi, Nicolas Hili, Juergen Dingel |
Property-Aware Unit Testing of UML-RT Models in the Context of MDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings, pp. 147-163, 2018, Springer, 978-3-319-92996-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Karolina Zurowska, Juergen Dingel |
Language-specific model checking of UML-RT models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 16(2), pp. 393-415, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Raquel Araújo de Oliveira, Juergen Dingel |
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 307-314, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
9 | Nafiseh Kahani, Nicolas Hili, James R. Cordy, Juergen Dingel |
Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MiSE@ICSE ![In: 9th IEEE/ACM International Workshop on Modelling in Software Engineering, MiSE@ICSE 2017, Buenos Aires, Argentina, May 21-22, 2017, pp. 12-18, 2017, IEEE, 978-1-5386-0426-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Nicolas Hili, Juergen Dingel, Alain Beaulieu |
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, pp. 509-510, 2017, IEEE Computer Society, 978-1-5386-1589-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Ernesto Posse, Juergen Dingel |
An executable formal semantics for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 15(1), pp. 179-217, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Roxana-Elena Tudoroiu, Wilhelm Kecs, Maria Dobritoiu, Nicolae Ilias |
UML-RT Hybrid Control Strategy Approach of DC Servomotor Angular Speed by Using an Embedded Sliding Mode Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Appl. ![In: Int. J. Comput. Sci. Appl. 13(2), pp. 61-88, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
9 | Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz |
Extending UML-RT for Control System Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.06270, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
9 | Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz |
Integrating Schedulability Analysis with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.06203, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
9 | Eric James Rapos, Jürgen Dingel |
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, pp. 1-10, 2015, IEEE Computer Society, 978-1-4799-7125-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Tuhin Kanti Das, Juergen Dingel |
State machine antipatterns for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 54-63, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Karolina Zurowska, Jürgen Dingel |
Model Checking of UML-RT Models Using Lazy Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings, pp. 304-319, 2013, Springer, 978-3-642-41532-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | Karolina Zurowska, Jürgen Dingel |
Symbolic execution of UML-RT State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1292-1299, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Eric James Rapos, Jürgen Dingel |
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012, pp. 962-963, 2012, IEEE Computer Society, 978-1-4577-1906-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Karolina Zurowska, Jürgen Dingel |
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 39-53, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Yann Moffett, Alain Beaulieu, Jürgen Dingel |
Verifying UML-RT Protocol Conformance Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, pp. 410-424, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Karolina Zurowska, Jürgen Dingel |
SAUML: A tool for symbolic analysis of UML-RT models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011, pp. 604-607, 2011, IEEE Computer Society, 978-1-4577-1638-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska |
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BM-FA ![In: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010, pp. 1, 2010, ACM, 978-1-60558-961-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Juliana de Melo Bezerra, Celso Massaki Hirata |
A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Softw. Eng. ![In: Adv. Softw. Eng. 2009, pp. 656810:1-656810:26, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Stefan Leue, Wei Wei 0015 |
An Executable and Extensible Formal Semantics for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 182-188, 2009, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
9 | Roman Gumzej, Wolfgang A. Halang |
A safety shell for UML-RT Projects. ![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. 629-632, 2008, IEEE, 978-83-60810-14-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 65(1), pp. 41-56, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007, pp. 74-83, 2007, INSTICC PRESS, 978-972-8865-95-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
9 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Towards UML-RT Behavioural Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007, pp. 612-615, 2007, 978-972-8865-90-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
9 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki |
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007, pp. 205-211, 2007, 978-972-8865-90-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
9 | Patrícia Ferreira, Augusto Sampaio, Alexandre Mota 0001 |
Viewing CSP Specifications with UML-RT Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006, pp. 57-74, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz |
Integrating Schedulability Analysis with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control. Intell. Syst. ![In: Control. Intell. Syst. 34(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza |
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain., pp. 283-292, 2006, 84-95999-99-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
9 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006, pp. 16-25, 2006, INSTICC Press, 978-972-8865-49-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
9 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza |
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006, pp. 290-297, 2006, 972-8865-41-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
9 | Dongxi Jin, David C. Levy |
Performance-Oriented Modelling for UML-RT Based System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1, pp. 193-199, 2004, CSREA Press, 1-932415-28-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
9 | Bernhard Schätz |
UML-RT - Die Lösung für eingebettete Software? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings, pp. 263-265, 2004, GI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
9 | Michael von der Beeck |
Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings, pp. 11-12, 2004, GI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
9 | Jamison Masse, Saehwa Kim, Seongsoo Hong |
Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 27-30, 2003, Toronto, Canada, pp. 70-77, 2003, IEEE Computer Society, 0-7695-1956-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy |
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 12(2), pp. 155-174, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Katja Fischer, Birgit Vogel-Heuser |
Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen - PEARL 2002, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, Boppard, 28./29. November 2002, pp. 50-59, 2002, Springer, 3-540-44332-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Torsten Heverhagen, Rudolf Tracht |
Echtzeitanforderungen bei der Integration von IEC 61131-3 Funktionsbausteinen und UML-RT Capsules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: Echtzeitkommunikation und Ethernet/Internet, PEARL 2001, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 22./23. November 2001, pp. 87-96, 2001, Springer, 3-540-42706-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu |
What is Behind UML-RT? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 75-90, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Dominikus Herzberg |
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 330-338, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
5 | Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera |
Towards Compositional Verification in MEDISTAM-RT Methodological Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 211-218, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Real-time, Communication Protocols, Deadlock-freeness |
5 | Luis E. Mendoza Morales, Manuel I. Capel |
Automatic Compositional Verification of Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 479-490, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model-Checking, Verification, Formal Methods, Business Process Modelling, Task Model |
5 | Stefan Leue, Wei Wei 0015 |
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 58-74, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
5 | Zonghua Gu 0001, Zhimin He |
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings, pp. 235-250, 2005, Springer, 3-540-25877-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
5 | Kleanthis Thramboulidis, George S. Doukas, A. Frantzis |
Towards an Implementation Model for FB-Based Reconfigurable Distributed Control Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria, pp. 193-200, 2004, IEEE Computer Society, 0-7695-2124-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 216-233, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Dongping Huang, Hessam S. Sarjoughian |
Software and Simulation Modeling for Real-Time Software-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary, pp. 196-203, 2004, IEEE Computer Society, 0-7695-2232-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Holger Giese, Florian Klein 0001, Sven Burmester |
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 193-211, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
5 | Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen |
Consistency-Preserving Model Evolution through Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 212-226, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | M. D. Edwards, P. N. Green |
The Modelling of Embedded Systems Using HASoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 752-759, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | Christian Wartha, Momtchil Peev, Andrei Borshchev, Alexei Filippov |
Manufacturing supply chain applications 1: decision support tool - supply chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 1297-1301, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | Andrei Borshchev, Yuri G. Karpov, Pavel Lebedev |
Distributed Simulation of Hybrid Systems with HLA Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings, pp. 410-420, 2001, Springer, 3-540-42522-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano |
Super Actors for Real Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 142-152, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | Andrei Borshchev, Yuri B. Kolesov, Yuri B. Senichenkov |
Java engine for UML based hybrid state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 1888-1894, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
5 | Stefan Leue, Gerard J. Holzmann |
v-Promela: A Visual, Object-Oriented Language for SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), May 2-5, 1999, Saint Malo, France, pp. 14-23, 1999, IEEE Computer Society, 0-7695-0207-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|