|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 21 keywords
|
|
|
Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard |
AnExecution Framework for MARTE-Based Models. ![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. 222-227, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Ning Ge 0002 |
Property driven verification framework: application to real time property for UML MARTE software design. (Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
59 | Gilberto Ochoa Ruiz |
A high-level methodology for automatically generating dynamically reconfigurable systems using IP-XACT and the UML MARTE profile. (Méthodologie de conception de haut niveau pour la génération automatique des systèmes dynamiquement reconfigurables en utilisant IP-XACT et le profil UML MARTE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
35 | Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser |
Safe design of high-performance embedded systems in an MDE framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 215-222, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation |
31 | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson |
Pattern-Driven Support for Designing Component-Based Architectural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011, pp. 187-196, 2011, IEEE Computer Society, 978-1-4577-0065-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
clock constraints, UML/Marte, embedded system, components |
31 | Diego Perez-Palacin, José Merseguer, Simona Bernardi 0001 |
Performance aware open-world software in a 3-layer architecture. ![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. 49-56, 2010, ACM, 978-1-60558-563-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
open-world software, uml-marte, petri nets, software components, self-managed systems |
29 | Vittorio Cortellessa, Luigi Pomante, Vincenzo Stoico |
From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE (Companion) ![In: Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023., pp. 373-380, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Youcef Benabdallah Ahcene, Rachid Boudour |
A fast prototype for modeling IP cores using in SoC with UML Marte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 45(6), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Nissaf Fredj, Yessine Hadj Kacem, Olfa Kanoun, Mohamed Abid |
Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Online Streaming, July 6-8, 2021., pp. 158-166, 2021, SCITEPRESS, 978-989-758-523-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Nadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi |
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 39(5), pp. 1022-1060, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Marco Aurélio Wehrmeister |
Generating ROS-based Software for Industrial Cyber-Physical Systems from UML/MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pp. 313-320, 2020, IEEE, 978-1-7281-8956-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Héctor Posadas, Javier Merino, Eugenio Villar |
Data flow analysis from UML/MARTE models based on binary traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCIS ![In: XXXV Conference on Design of Circuits and Integrated Systems, DCIS 2020, Segovia, Spain, November 18-20, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9132-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Aamir M. Khan, Frédéric Mallet, Muhammad Rashid |
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(1), pp. 11-37, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Stefano Di Alesio, Sagar Sen |
Using UML/MARTE to support performance tuning and stress testing in real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(2), pp. 479-508, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Shouvik Dey, Rumpa Hazra, Ananya Kanjilal, Swapan Bhattacharya |
Automated consistency checking of UML/MARTE based software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TENCON ![In: TENCON 2018 - 2018 IEEE Region 10 Conference, Jeju, South Korea, October 28-31, 2018, pp. 2270-2275, 2018, IEEE, 978-1-5386-5457-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Davide Brugali |
Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCAR ![In: IEEE International Conference on Real-time Computing and Robotics, RCAR 2018, Kandima, Maldives, August 1-5, 2018, pp. 439-444, 2018, IEEE, 978-1-5386-6869-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Nissaf Fredj, Yessine Hadj Kacem, Mohamed Abid |
Runtime UML MARTE Extensions for the Design of Adaptive RTE Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (2) ![In: Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications, ISDA 2018, Vellore, India, December 6-8, 2018, Volume 2, pp. 78-87, 2018, Springer, 978-3-030-16659-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Raoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid |
A UML/MARTE Based Design Pattern for a Wireless Sensor Node. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications, ISDA 2018, Vellore, India, December 6-8, 2018, Volume 1, pp. 590-599, 2018, Springer, 978-3-030-16656-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Amina Magdich, Yessine Hadj Kacem, Bouthaina Dammak, Adel Mahfoudhi, Mohamed Abid |
From Dynamic UML/MARTE Models to Early Schedulability Analysis of RTES with Dependent Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (2) ![In: Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications, ISDA 2018, Vellore, India, December 6-8, 2018, Volume 2, pp. 192-201, 2018, Springer, 978-3-030-16659-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Fernando Herrera, Julio L. Medina, Eugenio Villar |
Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Hardware/Software Codesign ![In: Handbook of Hardware/Software Codesign., pp. 141-185, 2017, Springer, 978-94-017-7266-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | David de la Fuente, Jesús Barba, Juan Carlos López 0001, Pablo Peñil, Héctor Posadas, Pablo Sánchez Espeso |
Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 76(6), pp. 8195-8226, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Raoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid |
Network Reconfiguration for Wireless Sensor Networks using UML/MARTE Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2017 - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal, April 28-29, 2017., pp. 203-209, 2017, SciTePress, 978-989-758-250-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Marcela Leite, Marco Aurélio Wehrmeister |
System-level design based on UML/MARTE for FPGA-based embedded real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 20(2), pp. 127-153, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki |
Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 35(2), pp. 338-368, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Jinho Choi 0002, Eunkyoung Jee, Doo-Hwan Bae |
Timing consistency checking for UML/MARTE behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 24(3), pp. 835-876, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016, pp. 78-84, 2016, IEEE, 978-1-5090-2791-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Mohamed Naija, Samir Ben Ahmed |
Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Rome, Italy 27-28 April, 2016., pp. 84-90, 2016, SciTePress, 978-989-758-189-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Aamir M. Khan, Frédéric Mallet, Muhammad Rashid |
Natural interpretation of UML/MARTE diagrams for system requirements specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, Krakow, Poland, May 23-25, 2016, pp. 193-198, 2016, IEEE, 978-1-5090-2282-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid |
From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 202-209, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Raoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid |
A UML/MARTE Extension for Designing Energy Harvesting in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIMSS ![In: Intelligent Interactive Multimedia Systems and Services 2016, KES IIMSS 2016, Puerto de la Cruz, Tenerife, Spain, 15-17 June 2016, Proceedings, pp. 427-438, 2016, Springer, 978-3-319-39344-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Emad Ebeid, Franco Fummi, Davide Quaglia |
HDL code generation from UML/MARTE sequence diagrams for verification and synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 19(3), pp. 277-299, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié |
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 19(1-2), pp. 1-33, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Muhammad Zohaib Iqbal, Shaukat Ali 0001, Tao Yue 0002, Lionel C. Briand |
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 14(4), pp. 1367-1385, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Adel Mahfoudhi, Walid Karamti |
Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 71(10), pp. 3637-3667, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formalisms for Reuse and Systems Integration ![In: Formalisms for Reuse and Systems Integration, pp. 133-147, 2015, Springer, 978-3-319-16576-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Fernando Herrera, Pablo Peñil, Eugenio Villar |
Enhancing analysability and time predictability in UML/MARTE component-based application models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015, pp. 122-129, 2015, IEEE, 978-1-4673-7735-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid |
Automatic Generation of S-LAM Descriptions from UML/MARTE for the DSE of Massively Parallel Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (revised selected papers) ![In: Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 [revised selected papers from SNPD 2015, Takamatsu, Japan, June 1-3, 2015], pp. 195-211, 2015, Springer, 978-3-319-23508-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Judith Peters, Rolf Drechsler |
Analyzing and Simulating Time Descriptions from UML/MARTE CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SyDe Summer School ![In: Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015, pp. 293-295, 2015, Springer, 978-3-658-09993-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler |
A generic representation of CCSL time constraints for UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015, pp. 122:1-122:6, 2015, ACM, 978-1-4503-3520-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet |
Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 7(3), pp. 27:1-27:17, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Héctor Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar |
Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 45(10), pp. 1281-1291, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero 0002, Raúl Valencia, Gianluca Palermo |
The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 60(1), pp. 55-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Akshay K. C., Ashalatha Nayak, Balachandra Muniyal |
Modeling data races using UML/MARTE profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014, Delhi, India, September 24-27, 2014, pp. 238-244, 2014, IEEE, 978-1-4799-3078-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Dmitriy Shorin, Armin Zimmermann |
Extending the software tool TimeNET by power consumption estimation of UML MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014, pp. 83-91, 2014, IEEE, 978-989-758-060-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi 0002, Doo-Hwan Bae |
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1140-1145, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Alejandro Nicolás, Pablo Peñil, Héctor Posadas, Eugenio Villar |
Automatic Synthesis over Multiple APIs from Uml/Marte Models for Easy Platform Mapping and Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014, pp. 443-450, 2014, IEEE Computer Society, 978-1-4799-5793-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Marco Aurélio Wehrmeister, Marcela Leite |
On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: 2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014, pp. 67-72, 2014, IEEE Computer Society, 978-1-4799-8559-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
Time properties verification of UML/MARTE real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, Redwood City, CA, USA, August 13-15, 2014, pp. 386-393, 2014, IEEE Computer Society, 978-1-4799-5880-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf |
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014, pp. 300-305, 2014, IEEE Computer Society, 978-1-4799-4249-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Marcela Leite, Cristiano D. Vasconcellos, Marco Aurélio Wehrmeister |
Enhancing automatic generation of VHDL descriptions from UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014, pp. 152-157, 2014, IEEE, 978-1-4799-4905-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Milena Rota Sena Marques, Eliane Siegert, Lisane B. de Brisolara |
Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014, pp. 176-181, 2014, IEEE, 978-1-4799-4905-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Judith Peters, Robert Wille, Rolf Drechsler |
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 116-125, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Yu Zhou 0010, Luciano Baresi, Matteo Rossi 0001 |
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 28(1), pp. 188-202, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario |
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 9(4), pp. 1806-1818, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser |
An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 15(1), pp. 46-55, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López 0001 |
UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2013 Euromicro Conference on Digital System Design, DSD 2013, Los Alamitos, CA, USA, September 4-6, 2013, pp. 467-470, 2013, IEEE Computer Society, 978-1-4799-2978-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid |
Fine-grain adaptation for real time embedded systems using UML/MARTE profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013, pp. 1-8, 2013, IEEE, 978-2-9530504-8-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
29 | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi |
Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA (selected papers) ![In: Software Engineering Research, Management and Applications [selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013, Prague, Czech Republic, August 7-9, 2013]., pp. 73-84, 2013, Springer, 978-3-319-00947-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Evelina Koycheva |
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
29 | Majdi Elhaji, Pierre Boulet, Abdelkrim Zitouni, Samy Meftali, Jean-Luc Dekeyser, Rached Tourki |
System level modeling methodology of NoC design from UML-MARTE to VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 16(4), pp. 161-187, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié |
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 16(2), pp. 137-169, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Philippe Soulard, Sana Cherif |
A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 16(3), pp. 93-128, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Ning Ge 0002, Marc Pantel, Xavier Crégut |
Time properties dedicated transformation from UML-MARTE activity to time transition system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 37(4), pp. 1-8, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 38(2), pp. 354-374, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser |
Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 58(5), pp. 178-194, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi |
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012, pp. 187-190, 2012, IEEE, 978-1-4673-1187-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo |
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. ![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. 9-16, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni |
Refinement of UML/MARTE models for the design of networked embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, pp. 1072-1077, 2012, IEEE, 978-1-4577-2145-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Nada Louati, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg |
A UML/MARTE Profile for Real-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012, pp. 663-668, 2012, IEEE Computer Society, 978-1-4673-1536-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi |
Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012, pp. 708-714, 2012, IEEE Computer Society, 978-1-4673-2498-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Fernando Herrera, Hector Posadas, Eugenio Villar, Daniel Calvo |
Enhanced IP-XACT Platform Descriptions for Automatic Generation from UML/MARTE of Fast Performance Models for DSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012, pp. 692-699, 2012, IEEE Computer Society, 978-1-4673-2498-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Qingqing Sun, Xiaopu Huang, Jiangwei Li, Tian Zhang 0001 |
Timing Aspects Construction Using UML-MARTE Profile. ![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. 474-481, 2012, Springer, 978-3-642-35794-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Jinho Choi 0002, Eunkyoung Jee, Doo-Hwan Bae |
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE ![In: Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012, pp. 118-127, 2012, IEEE, 978-0-7695-4742-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet |
Designing formal reconfiguration control using UML/MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), York, United Kingdom, July 9-11, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-2570-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Carlos Gomez, Julien DeAntoni, Frédéric Mallet |
Multi-view Power Modeling Based on UML, MARTE and SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012, pp. 17-20, 2012, IEEE Computer Society, 978-1-4673-2451-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Pablo Peñil, Héctor Posadas, Alejandro Nicolás, Eugenio Villar |
Automatic synthesis from UML/MARTE models using channel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012, pp. 49-54, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Muhammad Zohaib Z. Iqbal, Shaukat Ali 0001, Tao Yue 0002, Lionel C. Briand |
Experiences of Applying UML/MARTE on Three Industrial Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, pp. 642-658, 2012, Springer, 978-3-642-33665-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero 0002, Raúl Valencia |
The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany, October 23-25, 2012, pp. 1-2, 2012, IEEE, 978-1-4673-2089-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
29 | Jinho Choi 0002, Doo-Hwan Bae |
An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-EL/DTA/UNESST ![In: Computer Applications for Database, Education, and Ubiquitous Computing - International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings, pp. 107-110, 2012, Springer, 978-3-642-35602-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Ning Ge 0002, Marc Pantel |
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 352-367, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
|
29 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 47-61, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis |
29 | Frédéric Mallet, Charles André, Julien DeAntoni |
Executing AADL Models with UML/MARTE. ![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. 371-376, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Frédéric Mallet |
Clock constraint specification language: specifying clock constraints with UML/MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 309-314, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unified modeling language, Constraints, MARTE, Time model |
29 | 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 |
|
Displaying result #1 - #100 of 103 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|