Search results for "UML-RT"

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.	Int. J. Softw. Tools Technol. Transf.	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.	FASE	2003	DBLP DOI BibTeX RDF
47	Juliana de Melo Bezerra, Celso Massaki Hirata	A Semantics for UML-RT using n-calculus.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
38	Yifeng Sun, David Levy 0001	Suggestions on Pattern Transformation in UML-RT.	ICSEA	2007	DBLP DOI BibTeX RDF
38	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for the Boundedness of UML RT Models.	TACAS	2004	DBLP DOI BibTeX RDF
38	Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim	A CSP View on UML-RT Structure Diagrams.	FASE	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.	TOOLS (46)	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.	FMOODS	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.	Innov. Syst. Softw. Eng.	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.	TASE	2007	DBLP DOI BibTeX RDF
33	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
28	Michael von der Beeck	Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.	UML Satellite Activities	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++.	IEEE International Workshop on Rapid System Prototyping	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.	QoSA	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.	DATE	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.	PROFES	2002	DBLP DOI BibTeX RDF
19	Ingolf Krüger	Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations.	VISS@ETAPS	2002	DBLP DOI BibTeX RDF
14	Mohammad Hossein Neishaburi, Masoud Daneshtalab, Majid Nabi, Siamak Mohammadi	System Level Voltage Scheduling Technique Using UML-RT Model.	AICCSA	2007	DBLP DOI BibTeX RDF
14	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Transformation Laws for UML-RT.	FMOODS	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.	ISORC	2005	DBLP DOI BibTeX RDF
14	Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid	Interface-based Design of Systems-on-Chip using UML-RT.	IWSOC	2004	DBLP DOI BibTeX RDF
14	Jochen Malte Küster, Joachim Stroop	Consistent Design of Embedded Real-Time Systems with UML-RT.	ISORC	2001	DBLP DOI BibTeX RDF
10	Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang	A reconfiguration pattern for distributed embedded systems.	Softw. Syst. Model.	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.	ITNG	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.	ISORC	2001	DBLP DOI BibTeX RDF
10	Manas Saksena, Panagiota Karvelas	Designing for schedulability: integrating schedulability analysis with object-oriented design.	ECRTS	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.	ECSA (Tracks and Workshops)	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.	ECSA (Companion)	2021	DBLP BibTeX RDF
9	Majid Babaei, Juergen Dingel	MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
9	Majid Babaei, Mojtaba Bagherzadeh, Jürgen Dingel	MReplayer: a trace replayer of distributed UML-RT models.	MoDELS (Companion)	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.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
9	Majid Babaei, Karim Jahed, Juergen Dingel	Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
9	Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel	PMExec: An Execution Engine of Partial UML-RT Models.	ASE	2019	DBLP DOI BibTeX RDF
9	Tuhin Kanti Das, Juergen Dingel	Model development guidelines for UML-RT: conventions, patterns and antipatterns.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
9	Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz, Juergen Dingel	MDebugger: a model-level debugger for UML-RT.	ICSE (Companion Volume)	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.	ECMFA	2018	DBLP DOI BibTeX RDF
9	Karolina Zurowska, Juergen Dingel	Language-specific model checking of UML-RT models.	Softw. Syst. Model.	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.	MoDELS (Satellite Events)	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.	MiSE@ICSE	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.	ICSE (Companion Volume)	2017	DBLP DOI BibTeX RDF
9	Ernesto Posse, Juergen Dingel	An executable formal semantics for UML-RT.	Softw. Syst. Model.	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.	Int. J. Comput. Sci. Appl.	2016	DBLP BibTeX RDF
9	Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz	Extending UML-RT for Control System Modeling.	CoRR	2015	DBLP BibTeX RDF
9	Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz	Integrating Schedulability Analysis with UML-RT.	CoRR	2015	DBLP BibTeX RDF
9	Eric James Rapos, Jürgen Dingel	Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases.	ICST	2015	DBLP DOI BibTeX RDF
9	Tuhin Kanti Das, Juergen Dingel	State machine antipatterns for UML-RT.	MoDELS	2015	DBLP DOI BibTeX RDF
9	Karolina Zurowska, Jürgen Dingel	Model Checking of UML-RT Models Using Lazy Composition.	MoDELS	2013	DBLP DOI BibTeX RDF
9	Karolina Zurowska, Jürgen Dingel	Symbolic execution of UML-RT State Machines.	SAC	2012	DBLP DOI BibTeX RDF
9	Eric James Rapos, Jürgen Dingel	Incremental Test Case Generation for UML-RT Models Using Symbolic Execution.	ICST	2012	DBLP DOI BibTeX RDF
9	Karolina Zurowska, Jürgen Dingel	Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
9	Yann Moffett, Alain Beaulieu, Jürgen Dingel	Verifying UML-RT Protocol Conformance Using Model Checking.	MoDELS	2011	DBLP DOI BibTeX RDF
9	Karolina Zurowska, Jürgen Dingel	SAUML: A tool for symbolic analysis of UML-RT models.	ASE	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.	BM-FA	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.	Adv. Softw. Eng.	2009	DBLP DOI BibTeX RDF
9	Stefan Leue, Wei Wei 0015	An Executable and Extensible Formal Semantics for UML-RT.	MBEES	2009	DBLP BibTeX RDF
9	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT Projects.	IMCSIT	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.	Sci. Comput. Program.	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.	MSVVEIS	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.	ICEIS (3)	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.	ICEIS (3)	2007	DBLP BibTeX RDF
9	Patrícia Ferreira, Augusto Sampaio, Alexandre Mota 0001	Viewing CSP Specifications with UML-RT Diagrams.	SBMF	2006	DBLP DOI BibTeX RDF
9	Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz	Integrating Schedulability Analysis with UML-RT.	Control. Intell. Syst.	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.	JISBD	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.	MSVVEIS	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.	ICEIS (3)	2006	DBLP BibTeX RDF
9	Dongxi Jin, David C. Levy	Performance-Oriented Modelling for UML-RT Based System Design.	Software Engineering Research and Practice	2004	DBLP BibTeX RDF
9	Bernhard Schätz	UML-RT - Die Lösung für eingebettete Software?	Modellierung	2004	DBLP BibTeX RDF
9	Michael von der Beeck	Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme.	Modellierung	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.	IEEE Real Time Technology and Applications Symposium	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.	Int. J. Softw. Eng. Knowl. Eng.	2002	DBLP DOI BibTeX RDF
9	Katja Fischer, Birgit Vogel-Heuser	Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau.	PEARL	2002	DBLP DOI BibTeX RDF
9	Torsten Heverhagen, Rudolf Tracht	Echtzeitanforderungen bei der Integration von IEC 61131-3 Funktionsbausteinen und UML-RT Capsules.	PEARL	2001	DBLP DOI BibTeX RDF
9	Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu	What is Behind UML-RT?	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
9	Dominikus Herzberg	UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain.	UML	1999	DBLP DOI BibTeX RDF
5	Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera	Towards Compositional Verification in MEDISTAM-RT Methodological Framework.	IWANN (2)	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.	ICEIS	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.	SPIN	2005	DBLP DOI BibTeX RDF
5	Zonghua Gu 0001, Zhimin He	Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models.	CBSE	2005	DBLP DOI BibTeX RDF
5	Kleanthis Thramboulidis, George S. Doukas, A. Frantzis	Towards an Implementation Model for FB-Based Reconfigurable Distributed Control Applications.	ISORC	2004	DBLP DOI BibTeX RDF
5	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
5	Dongping Huang, Hessam S. Sarjoughian	Software and Simulation Modeling for Real-Time Software-Intensive Systems.	DS-RT	2004	DBLP DOI BibTeX RDF
5	Holger Giese, Florian Klein 0001, Sven Burmester	Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
5	Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen	Consistency-Preserving Model Evolution through Transformations.	UML	2002	DBLP DOI BibTeX RDF
5	M. D. Edwards, P. N. Green	The Modelling of Embedded Systems Using HASoC.	DATE	2002	DBLP DOI BibTeX RDF
5	Christian Wartha, Momtchil Peev, Andrei Borshchev, Alexei Filippov	Manufacturing supply chain applications 1: decision support tool - supply chain.	WSC	2002	DBLP DOI BibTeX RDF
5	Andrei Borshchev, Yuri G. Karpov, Pavel Lebedev	Distributed Simulation of Hybrid Systems with HLA Support.	PaCT	2001	DBLP DOI BibTeX RDF
5	Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano	Super Actors for Real Time.	WORDS	2001	DBLP DOI BibTeX RDF
5	Andrei Borshchev, Yuri B. Kolesov, Yuri B. Senichenkov	Java engine for UML based hybrid state machines.	WSC	2000	DBLP DOI BibTeX RDF
5	Stefan Leue, Gerard J. Holzmann	v-Promela: A Visual, Object-Oriented Language for SPIN.	ISORC	1999	DBLP DOI BibTeX RDF