|
|
|
|
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.  |
ICECCS  |
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). |
|
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). |
|
2013 |
RDF |
|
| 35 | Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser |
Safe design of high-performance embedded systems in an MDE framework. |
Innov. Syst. Softw. Eng. |
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. |
ECBS |
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. |
WOSP/SIPEW |
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. |
ICPE (Companion) |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | Youcef Benabdallah Ahcene, Rachid Boudour |
A fast prototype for modeling IP cores using in SoC with UML Marte. |
Informatica (Slovenia) |
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. |
ICSOFT |
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. |
Comput. Informatics |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Marco Aurélio Wehrmeister |
Generating ROS-based Software for Industrial Cyber-Physical Systems from UML/MARTE. |
ETFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 29 | Héctor Posadas, Javier Merino, Eugenio Villar |
Data flow analysis from UML/MARTE models based on binary traces. |
DCIS |
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. |
Softw. Syst. Model. |
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. |
Softw. Syst. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Shouvik Dey, Rumpa Hazra, Ananya Kanjilal, Swapan Bhattacharya |
Automated consistency checking of UML/MARTE based software systems. |
TENCON |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Davide Brugali |
Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE. |
RCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Nissaf Fredj, Yessine Hadj Kacem, Mohamed Abid |
Runtime UML MARTE Extensions for the Design of Adaptive RTE Systems. |
ISDA (2) |
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. |
ISDA (1) |
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. |
ISDA (2) |
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. |
Handbook of Hardware/Software Codesign |
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. |
Multim. Tools Appl. |
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. |
ENASE |
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. |
Des. Autom. Embed. Syst. |
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. |
Comput. Informatics |
2016 |
DBLP BibTeX RDF |
|
| 29 | Jinho Choi 0002, Eunkyoung Jee, Doo-Hwan Bae |
Timing consistency checking for UML/MARTE behavioral models. |
Softw. Qual. J. |
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. |
MEMOCODE |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Mohamed Naija, Samir Ben Ahmed |
Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View. |
ENASE |
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. |
SIES |
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. |
ICSOFT-EA |
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. |
IIMSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Emad Ebeid, Franco Fummi, Davide Quaglia |
HDL code generation from UML/MARTE sequence diagrams for verification and synthesis. |
Des. Autom. Embed. Syst. |
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. |
Des. Autom. Embed. Syst. |
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. |
Softw. Syst. Model. |
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. |
J. Supercomput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. |
Formalisms for Reuse and Systems Integration |
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. |
FDL |
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. |
SNPD (revised selected papers) |
2015 |
DBLP DOI BibTeX RDF |
|
| 29 | Judith Peters, Rolf Drechsler |
Analyzing and Simulating Time Descriptions from UML/MARTE CCSL. |
SyDe Summer School |
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. |
DAC |
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. |
ACM Trans. Reconfigurable Technol. Syst. |
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. |
Microelectron. J. |
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. |
J. Syst. Archit. |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Akshay K. C., Ashalatha Nayak, Balachandra Muniyal |
Modeling data races using UML/MARTE profile. |
ICACCI |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Dmitriy Shorin, Armin Zimmermann |
Extending the software tool TimeNET by power consumption estimation of UML MARTE models. |
SIMULTECH |
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. |
SAC |
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. |
DSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Marco Aurélio Wehrmeister, Marcela Leite |
On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models. |
SBESC |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
Time properties verification of UML/MARTE real-time systems. |
IRI |
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. |
WETICE |
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. |
INDIN |
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. |
INDIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 29 | Judith Peters, Robert Wille, Rolf Drechsler |
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. |
ICECCS |
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. |
J. Comput. Sci. Technol. |
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. |
IEEE Trans. Ind. Informatics |
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. |
Comput. Sci. Eng. |
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. |
DSD |
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. |
FDL |
2013 |
DBLP BibTeX RDF |
|
| 29 | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi |
Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams. |
SERA (selected papers) |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Evelina Koycheva |
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen. |
|
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. |
Des. Autom. Embed. Syst. |
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. |
Des. Autom. Embed. Syst. |
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. |
Des. Autom. Embed. Syst. |
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. |
ACM SIGSOFT Softw. Eng. Notes |
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. |
IEEE Trans. Software Eng. |
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. |
J. Syst. Archit. |
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. |
DDECS |
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. |
HASE |
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. |
DATE |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Nada Louati, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg |
A UML/MARTE Profile for Real-Time Databases. |
ACIS-ICIS |
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. |
DSD |
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. |
DSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Qingqing Sun, Xiaopu Huang, Jiangwei Li, Tian Zhang 0001 |
Timing Aspects Construction Using UML-MARTE Profile. |
ISCTCS |
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. |
SERE |
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. |
ReCoSoC |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Carlos Gomez, Julien DeAntoni, Frédéric Mallet |
Multi-view Power Modeling Based on UML, MARTE and SysML. |
EUROMICRO-SEAA |
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. |
ACES-MB@MoDELS |
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. |
MoDELS |
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. |
DASIP |
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. |
FGIT-EL/DTA/UNESST |
2012 |
DBLP DOI BibTeX RDF |
|
| 29 | Ning Ge 0002, Marc Pantel |
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. |
ECMFA |
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. |
Tech. Sci. Informatiques |
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 |
CoRR |
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. |
FDL |
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. |
MoDELS |
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. |
TIME |
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. |
Int. J. Embed. Syst. |
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. |
Innov. Syst. Softw. Eng. |
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. |
ISORC Workshops |
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. |
DSD |
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. |
MoDELS (1) |
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. |
DASIP |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Cosmina Chise, Ioan Jurca |
Phymss: performance hybrid model solver and simulator based on UML MARTE diagrams. |
WOSP/SIPEW |
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. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Pablo Peñil, Hector Posadas, Eugenio Villar |
Formal Modeling for UML/MARTE Concurrency Resources. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 29 | Frédéric Mallet, Charles André |
On the Semantics of UML/MARTE Clock Constraints. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 29 | Cosmina Chise, Ioan Jurca |
Towards early performance assessment based on UML MARTE models for distributed systems. |
SACI |
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. |
MoDELS |
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. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 29 | Frédéric Mallet |
Clock constraint specification language: specifying clock constraints with UML/MARTE. |
Innov. Syst. Softw. Eng. |
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. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 103 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license