|
|
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 | 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 |
|
20 | 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 |
|
20 | Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed |
Towards a MARTE Extension to Address Adaptation Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 240-243, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Aamir M. Khan, Muhammad Rashid |
Generation of SystemVerilog Observers from SysML and MARTE/CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 19th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2016, York, United Kingdom, May 17-20, 2016, pp. 61-68, 2016, IEEE Computer Society, 978-1-4673-9032-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Min Zhang 0002, Frédéric Mallet, Huibiao Zhu |
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 433-449, 2016, 978-3-319-47845-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Mohamed Naija, Samir Ben Ahmed |
A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers, pp. 27-43, 2016, Springer, 978-3-319-56389-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang |
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 111-133, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Heike S. Rolfs |
Partitionierung und Bewertung MARTE-spezifizierter Hardware/Software-Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Maria Vasilevskaya, Simin Nadjm-Tehrani |
Support for cross-domain composition of embedded systems using MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 12(1), pp. 37-45, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Abdelmouttalib Maqil, Abdeslam En-Nouaary, Hicham Bensaid |
Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Appl. ![In: Int. J. Comput. Sci. Appl. 12(1), pp. 117-126, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Frédéric Mallet, Robert de Simone |
Correctness issues on MARTE/CCSL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 106, pp. 78-92, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang 0002 |
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(12), pp. 82-86, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | 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 |
|
20 | Tayfun Gezgin, Raphael Weber, Matthias Büker |
State-Based Real-Time Analysis for Function Networks and Marte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, 13-17 April, 2015, pp. 158-165, 2015, IEEE Computer Society, 978-1-4799-8781-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Lulu Yao, Jing Liu 0012, Yan Zhang 0072, Yuejun Wang |
Hybrid Marte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 174-181, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Lulu Yao, Jing Liu 0012, Yan Zhang 0072, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen 0007 |
HSD: Hybrid MARTE Sequence Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Vancouver, BC, Canada, August 3-5, 2015, pp. 189-194, 2015, IEEE, 978-1-4673-7989-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi |
Extensions to the UML profile for MARTE for distributed embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015, pp. 99-106, 2015, IEEE, 978-1-4673-7735-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Frédéric Mallet |
MARTE/CCSL for Modeling Cyber-Physical Systems. ![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. 26-49, 2015, Springer, 978-3-658-09993-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | Judith Peters |
Exploiting MARTE/CCSL in modern design flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard |
Schedulability Analysis at Early Design Stages with MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 101-119, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li |
Formal Throughput and Response Time Analysis of MARTE Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 430-445, 2014, Springer, 978-3-319-11736-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid |
MARTE to ΠSDF transformation for data-intensive applications analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, DASIP 2014, Madrid, Spain, October 8-10, 2014, pp. 1-8, 2014, IEEE, 979-10-92279-06-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Gianmaria De Tommasi, Riccardo Vitelli, Luca Boncagni, Andre C. Neto |
Modeling of MARTe-Based Real-Time Applications With SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 9(4), pp. 2407-2415, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Hajar Omrana, Fatima-Zahra Belouadha, Ounsa Roudiès |
MARTE Profile-based MDA approach for semantic NFP-aware Web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.6659, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Jing Liu 0012, Ziwei Liu, Jifeng He 0001, Frédéric Mallet, Zuohua Ding |
Hybrid MARTE statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 7(1), pp. 95-108, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Nada Louati, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg |
Managing data freshness with MARTE in real-time databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, pp. 1-6, 2013, IEEE Computer Society, 978-1-4799-2111-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Yichen Wang, Xinsheng Lan, Yikun Wang |
Modeling Embedded Software Test Requirement Based on MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE (Companion) ![In: Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume, pp. 109-115, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Frédéric Mallet |
UML Profile for MARTE: Time Model and CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI ![In: Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013, pp. 289-294, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | 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 |
|
20 | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson |
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, pp. 1-15, 2013, Springer, 978-3-642-40560-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Fabíola Gonçalves C. Ribeiro, Michel S. Soares |
An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 70-81, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Evelina Koycheva |
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | José Merseguer, Simona Bernardi 0001 |
Dependability analysis of DES based on MARTE and UML state machines models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 22(2), pp. 163-178, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Tero Arpinen, Erno Salminen, Timo D. Hämäläinen, Marko Hännikäinen |
MARTE profile extension for modeling dynamic power management of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 58(5), pp. 209-219, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Manel Ammar, Mouna Baklouti, Mohamed Abid |
Extending MARTE to Support the Specification and the Generation of Data Intensive Applications for Massively Parallel SoC. ![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. 715-722, 2012, IEEE Computer Society, 978-1-4673-2498-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | Gilberto Ochoa-Ruiz, Ouassila Labbani-Narsis, El-Bay Bourennane, Sana Cherif, Samy Meftali, Jean-Luc Dekeyser |
Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: A Xilinx EDK case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: 2012 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2012, Cancun, Mexico, December 5-7, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-2919-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | 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 |
|
20 | Leandro Soares Indrusiak, Imran Rafiq Quadri, Ian Gray, Neil C. Audsley, Andrey Sadovykh |
A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems. ![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-7, 2012, IEEE, 978-1-4673-2570-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh |
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. ![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 |
|
20 | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid |
A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012, pp. 371-379, 2012, IEEE Computer Society, 978-1-4673-4638-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Zhike Wu, Jing Liu 0012, Xiaohong Chen 0007, Mingsong Chen |
An approach to communicating process modeling of MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware 2012, QingDao, China, October 30-31, 2012, pp. 6:1-6:9, 2012, ACM, 978-1-4503-1888-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Roberto de Medeiros, Marcilyanne Moreira Gois, Vanderlei Bonato |
Designing FPGA-based embedded systems with MARTE: A PIM to PSM converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012, pp. 4682-4687, 2012, IEEE, 978-1-4673-2419-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Roberto de Medeiros, Miguel Góis, Drausio Linardi Rossi, Vanderlei Bonato |
Designing embedded systems with MARTE: A PIM to PSM converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012, pp. 303-306, 2012, IEEE, 978-1-4673-2685-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Sana Cherif, Samy Meftali, Jean-Luc Dekeyser |
Enabling partially reconfigurable IP cores parameterisation and integration using MARTE and IP-XACT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, RSP 2012, Tampere, Finland, October 11-12, 2012, pp. 107-113, 2012, IEEE, 978-1-4673-2786-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Mallet |
Automatic generation of observers from MARTE/CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, RSP 2012, Tampere, Finland, October 11-12, 2012, pp. 86-92, 2012, IEEE, 978-1-4673-2786-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With |
Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time Systems. ![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. 216-223, 2012, IEEE Computer Society, 978-1-4673-2451-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | Rafik Henia, Laurent Rioux, Thomas Vergnaud |
Industrial adaptation of MARTE for early scheduling analysis of component-based applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFPinDSML@MoDELS ![In: Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML '12, Innsbruck, Austria, October 1-5, 2012, pp. 7:1-7:2, 2012, ACM, 978-1-4503-1807-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Eduardo Augusto Silvestre, Michel dos Santos Soares |
Modeling Road Traffic Signals Control Using UML and the MARTE Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2012 - 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV, pp. 1-15, 2012, Springer, 978-3-642-31127-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | 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 |
|
20 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Frédéric Mallet, Miaomiao Zhang |
Formal Specification of Hybrid MARTE Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 59-66, 2012, IEEE Computer Society, 978-0-7695-4751-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
Displaying result #201 - #300 of 374 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |
|