|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 152 occurrences of 87 keywords
|
|
|
Results
Found 419 publication records. Showing 374 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Simona Bernardi 0001, José Merseguer, Dorina C. Petriu |
A dependability profile within MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 10(3), pp. 313-336, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Julio L. Medina, Álvaro Garcia Cuesta |
From composable design models to schedulability analysis with UML and the UML profile for MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 8(1), pp. 64-68, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser |
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 30(9), pp. 1089-1113, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard |
Optimum: a MARTE-based methodology for schedulability analysis at early design stages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(1), pp. 1-8, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser |
A Modeling Approach based on UML/MARTE for GPU Architecture ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.4424, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser |
Programming Massively Parallel Architectures using MARTE: a Case Study ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.4881, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Wei Jin, Hanpin Wang, Meixia Zhu |
Modeling MARTE Sequence Diagram with Timing Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, California, USA, 28-31 March 2011, pp. 61-66, 2011, IEEE Computer Society, 978-0-7695-4368-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic |
Polychronous controller synthesis from MARTE CCSL timing specifications. ![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. 21-30, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Eduardo Augusto Silvestre, Michel dos Santos Soares |
Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24 - 26, 2011], pp. 195-203, 2011, Springer, 978-1-4614-4950-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbani, Kamel Messaoudi |
IP-XACT and marte based approach for partially reconfigurable systems-on-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Fernando Herrera, Eugenio Villar |
A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena |
An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software and Data Technologies - 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers, pp. 136-150, 2011, Springer, 978-3-642-36176-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena |
Model-driven Design of Performance Requirements with UML and MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (2) ![In: ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011, pp. 54-63, 2011, SciTePress, 978-989-8425-77-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Shaukat Ali 0001, Lionel C. Briand, Andrea Arcuri, Suneth Walawege |
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. ![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. 108-122, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Arnaud Cuccuru, Sébastien Gérard, François Terrier |
Defining MARTE's VSL as an Extension of Alf. ![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. 699-713, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier |
Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. ![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. 243-257, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Régis Gascon, Frédéric Mallet, Julien Deantoni |
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011, pp. 141-148, 2011, IEEE, 978-1-4577-1242-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier |
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers, pp. 262-275, 2011, Springer, 978-3-642-25263-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mohd Z. M. Zaki, Mohd Adham Isa, Dayang N. A. Jawawi |
Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSECS (3) ![In: Software Engineering and Computer Systems - Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III, pp. 246-256, 2011, Springer, 978-3-642-22202-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ling Yin, Frédéric Mallet, Jing Liu 0012 |
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 65-74, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Julio L. Medina, Álvaro Garcia Cuesta |
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings, pp. 89-102, 2011, Springer, 978-3-642-21337-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser |
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 4(3/4), pp. 204-224, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar |
Generating heterogeneous executable specifications in SystemC from UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 6(1-2), pp. 65-71, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone |
The Time Model of Logical Clocks Available in the OMG MARTE Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synthesis of Embedded Software ![In: Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction., pp. 201-227, 2010, Springer, 978-1-4419-6399-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone |
Polychronous Analysis of Timing Constraints in UML MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC Workshops ![In: 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2010, Carmona, Sevilla, Spain, May 4-7, 2010, pp. 145-151, 2010, IEEE Computer Society, 978-0-7695-4038-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser |
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France, pp. 706-713, 2010, IEEE Computer Society, 978-0-7695-4171-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Subayal Khan, Kari Tiensyrjä, Jari Nurmi |
Instantiating GENESYS Application Architecture Modeling via UML 2.0 Constructs and MARTE Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France, pp. 251-254, 2010, IEEE Computer Society, 978-0-7695-4171-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Peñil, Fernando Herrera, Eugenio Villar |
Formal Foundations for MARTE-SystemC Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 197-202, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (1) ![In: Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I, pp. 286-300, 2010, Springer, 978-3-642-16144-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser |
Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: Proceedings of the 2010 Conference on Design & Architectures for Signal & Image Processing, DASIP 2010, Edinburgh, Scotland, UK, October 26-28, 2010, Electronic Chips & Systems design Initiative, ECSI, pp. 68-75, 2010, IEEE, 978-1-4244-8735-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Cosmina Chise, Ioan Jurca |
Phymss: performance hybrid model solver and simulator based on UML MARTE diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP/SIPEW ![In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, San Jose, California, USA, January 28-30, 2010, pp. 243-244, 2010, ACM, 978-1-60558-563-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
simulation, performance, automation, uml, hybrid model |
20 | Yessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid |
From UML/MARTE to RTDT: A model driven based method for scheduling analysis and HW/SW partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 8th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, May 16-19, 2010, pp. 1-7, 2010, IEEE Computer Society, 978-1-4244-7716-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed |
Aspect oriented Modeling of Real-Time system with UML and MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 8th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, May 16-19, 2010, pp. 1-7, 2010, IEEE Computer Society, 978-1-4244-7716-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Lorea Belategi, Goiuria Sagardui, Leire Etxeberria |
MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings, pp. 466-470, 2010, Springer, 978-3-642-15578-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Peñil, Hector Posadas, Eugenio Villar |
Formal Modeling for UML/MARTE Concurrency Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010, pp. 343-348, 2010, IEEE Computer Society, 978-0-7695-4015-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Isabelle Perseil, Laurent Pautet |
From MARTE to AADL with a Seamless Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010, pp. 361-366, 2010, IEEE Computer Society, 978-0-7695-4015-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri |
MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
20 | Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André |
Marte CCSL to Execute East-ADL Timing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009, pp. 249-253, 2009, IEEE Computer Society, 978-0-7695-3573-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Mallet, Charles André |
On the Semantics of UML/MARTE Clock Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009, pp. 305-312, 2009, IEEE Computer Society, 978-0-7695-3573-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Philippe Soulard, Jean-Philippe Diguet |
A co-design approach for embedded system modeling and code generation with UML and MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 226-231, 2009, IEEE, 978-1-4244-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Cosmina Chise, Ioan Jurca |
Towards early performance assessment based on UML MARTE models for distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 5th International Symposium on Applied Computational Intelligence and Informatics, SACI 2009, Timisoara, Romania, May 28-29, 2009, pp. 521-526, 2009, IEEE, 978-1-4244-4477-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini |
Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2009, September 22-24, 2009, Sophia Antipolis, France, Proceedings, pp. 1-6, 2009, IEEE, 978-2-9530504-1-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Frédéric Mallet, Robert de Simone |
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL (Selected Papers) ![In: Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany, pp. 27-41, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini |
Model-based Design Space Exploration for RTES with SysML and MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 203-208, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Mallet, Robert de Simone, Laurent Rioux |
Event-Triggered vs. Time-Triggered Communications with UML MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 154-159, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger |
Generating MARTE Allocation Models from Activity Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 215-220, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, Ulrich Nageldinger |
Generation of MARTE Allocation Models from Activity Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL (Selected Papers) ![In: Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany, pp. 43-56, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser |
MARTE-based Design of a Multimedia Application and Formal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 160-166, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Howard N. Cannon, Carol R. Stoker, Stephen E. Dunagan, Kiel Davis, Javier Gómez-Elvira, Brian J. Glass, Lawrence G. Lemke, David P. Miller, Rosalba Bonaccorsi, Mark Branson, Scott Christa, José Antonio Rodríguez Manfredi, Erik Mumm, Gale Paulsen, Matt Roman, Alois Winterholler, Jhony R. Zavaleta |
MARTE: Technology development and lessons learned from a Mars drilling mission simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Field Robotics ![In: J. Field Robotics 24(10), pp. 877-905, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser |
MARTE: UML-based Hardware Design from Modelling to Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 274-279, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Robert de Simone, Charles André |
Time Modeling in MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 268-273, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Pierre Boulet, Philippe Marquet, Éric Piel, Julien Taillard |
Repetitive Allocation Modelling with MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 280-285, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Frédéric Mallet, Charles André, Robert de Simone |
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 249-254, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Brahim Hamid, Fatma Krichen |
Model-based engineering for dynamic reconfiguration in DRTES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 269-276, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
model driven engineering, dynamic reconfiguration, meta-model, UML profiles, component-based architecture, distributed real time embedded systems |
16 | Isaac Lera, Ramón Puigjaner |
Semantic layered architecture to integrate FR/NFR in software performance engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP/SIPEW ![In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, San Jose, California, USA, January 28-30, 2010, pp. 249-250, 2010, ACM, 978-1-60558-563-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
performance, requirements, semantic modeling |
16 | Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier |
Automating the Generation of Platform Specific Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 383-388, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Tribastone, Stephen Gilmore |
Automatic Translation of UML Sequence Diagrams into PEPA Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 205-214, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Osmar Marchi dos Santos, Andy J. Wellings |
Run Time Detection of Blocking Time Violations in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings, pp. 347-356, 2008, IEEE Computer Society, 978-0-7695-3349-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Osmar Marchi dos Santos, Andy J. Wellings |
Blocking time monitoring in the real-time specification for Java. ![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. 135-143, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, real-time specification for Java, timing errors |
16 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao |
A MDE Based Approach for Bridging Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 113-116, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal methods, MDE |
16 | Matthias Brun 0001, Jérôme Delatour, Yvon Trinquet |
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 257-262, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marco Di Natale |
Design and Development of Component-Based Embedded Systems for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 15-29, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Bran Selic |
Challenges in generating qos-constrained software implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 83-84, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model-driven development |
16 | Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser |
An Open Framework for Detailed Hardware Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007, pp. 118-125, 2007, IEEE, 1-4244-0840-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati |
A multiform time approach to real-time system modeling; Application to an automotive system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007, pp. 234-241, 2007, IEEE, 1-4244-0840-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Charles André, Frédéric Mallet, Robert de Simone |
Modeling Time(s). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 559-573, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time embedded, UML profile |
16 | Simona Bernardi 0001, José Merseguer |
A UML profile for dependability analysis of real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 115-124, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dependability, UML profiles, real-time embedded systems |
16 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 |
Managing Complexity of Automotive Electronics Using the EAST-ADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 353-358, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert de Simone, Charles André |
Towards a "Synchronous Reactive" UML profile? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 146-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Synchronous, Reactive |
16 | Arnaud Cuccuru, Jean-Luc Dekeyser, Philippe Marquet, Pierre Boulet |
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 445-459, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | José María Martínez, Michael González Harbour |
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 180-195, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95 |
16 | Mario Aldea Rivas, Michael González Harbour |
Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pp. 161-168, 2003, IEEE Computer Society, 0-7695-1936-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Mario Aldea Rivas, Michael González Harbour |
A POSIX-Ada Interface for Application-Defined Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 136-150, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX |
16 | Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo |
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 321-333, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #374 of 374 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|