|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 152 occurrences of 87 keywords
|
|
|
Results
Found 419 publication records. Showing 374 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Simona Bernardi 0001, José Merseguer, Dorina C. Petriu |
A dependability profile within MARTE. |
Softw. Syst. Model. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Julio L. Medina, Álvaro Garcia Cuesta |
From composable design models to schedulability analysis with UML and the UML profile for MARTE. |
SIGBED Rev. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser |
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture. |
Tech. Sci. Informatiques |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard |
Optimum: a MARTE-based methodology for schedulability analysis at early design stages. |
ACM SIGSOFT Softw. Eng. Notes |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser |
A Modeling Approach based on UML/MARTE for GPU Architecture |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser |
Programming Massively Parallel Architectures using MARTE: a Case Study |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | Wei Jin, Hanpin Wang, Meixia Zhu |
Modeling MARTE Sequence Diagram with Timing Pi-Calculus. |
ISORC |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic |
Polychronous controller synthesis from MARTE CCSL timing specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Eduardo Augusto Silvestre, Michel dos Santos Soares |
Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE. |
ISD |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbani, Kamel Messaoudi |
IP-XACT and marte based approach for partially reconfigurable systems-on-chip. |
FDL |
2011 |
DBLP BibTeX RDF |
|
20 | Fernando Herrera, Eugenio Villar |
A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation. |
FDL |
2011 |
DBLP BibTeX RDF |
|
20 | Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena |
An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE. |
ICSOFT (Selected Papers) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena |
Model-driven Design of Performance Requirements with UML and MARTE. |
ICSOFT (2) |
2011 |
DBLP BibTeX RDF |
|
20 | Shaukat Ali 0001, Lionel C. Briand, Andrea Arcuri, Suneth Walawege |
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Arnaud Cuccuru, Sébastien Gérard, François Terrier |
Defining MARTE's VSL as an Extension of Alf. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier |
Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Régis Gascon, Frédéric Mallet, Julien Deantoni |
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier |
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mohd Z. M. Zaki, Mohd Adham Isa, Dayang N. A. Jawawi |
Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software. |
ICSECS (3) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ling Yin, Frédéric Mallet, Jing Liu 0012 |
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Julio L. Medina, Álvaro Garcia Cuesta |
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser |
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. |
Int. J. Embed. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar |
Generating heterogeneous executable specifications in SystemC from UML/MARTE models. |
Innov. Syst. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone |
The Time Model of Logical Clocks Available in the OMG MARTE Profile. |
Synthesis of Embedded Software |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone |
Polychronous Analysis of Timing Constraints in UML MARTE. |
ISORC Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser |
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis. |
DSD |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Subayal Khan, Kari Tiensyrjä, Jari Nurmi |
Instantiating GENESYS Application Architecture Modeling via UML 2.0 Constructs and MARTE Profile. |
DSD |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Peñil, Fernando Herrera, Eugenio Villar |
Formal Foundations for MARTE-SystemC Interoperability. |
FDL |
2010 |
DBLP BibTeX RDF |
|
20 | Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. |
MoDELS (1) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser |
Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation. |
DASIP |
2010 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
20 | Yessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid |
From UML/MARTE to RTDT: A model driven based method for scheduling analysis and HW/SW partitioning. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed |
Aspect oriented Modeling of Real-Time system with UML and MARTE. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Lorea Belategi, Goiuria Sagardui, Leire Etxeberria |
MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines. |
SPLC |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Peñil, Hector Posadas, Eugenio Villar |
Formal Modeling for UML/MARTE Concurrency Resources. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Isabelle Perseil, Laurent Pautet |
From MARTE to AADL with a Seamless Process. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Imran Rafiq Quadri |
MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs. |
|
2010 |
RDF |
|
20 | Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André |
Marte CCSL to Execute East-ADL Timing Requirements. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Mallet, Charles André |
On the Semantics of UML/MARTE Clock Constraints. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Philippe Soulard, Jean-Philippe Diguet |
A co-design approach for embedded system modeling and code generation with UML and MARTE. |
DATE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Cosmina Chise, Ioan Jurca |
Towards early performance assessment based on UML MARTE models for distributed systems. |
SACI |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini |
Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators. |
FDL |
2009 |
DBLP BibTeX RDF |
|
20 | Frédéric Mallet, Robert de Simone |
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini |
Model-based Design Space Exploration for RTES with SysML and MARTE. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Mallet, Robert de Simone, Laurent Rioux |
Event-Triggered vs. Time-Triggered Communications with UML MARTE. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger |
Generating MARTE Allocation Models from Activity Threads. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, Ulrich Nageldinger |
Generation of MARTE Allocation Models from Activity Threads. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser |
MARTE-based Design of a Multimedia Application and Formal Analysis. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Howard N. Cannon, Carol R. Stoker, Stephen E. Dunagan, Kiel Davis, Javier Gómez-Elvira, Brian J. Glass, Lawrence G. Lemke, David P. Miller, Rosalba Bonaccorsi, Mark Branson, Scott Christa, José Antonio Rodríguez Manfredi, Erik Mumm, Gale Paulsen, Matt Roman, Alois Winterholler, Jhony R. Zavaleta |
MARTE: Technology development and lessons learned from a Mars drilling mission simulation. |
J. Field Robotics |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser |
MARTE: UML-based Hardware Design from Modelling to Simulation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
20 | Robert de Simone, Charles André |
Time Modeling in MARTE. |
FDL |
2007 |
DBLP BibTeX RDF |
|
20 | Pierre Boulet, Philippe Marquet, Éric Piel, Julien Taillard |
Repetitive Allocation Modelling with MARTE. |
FDL |
2007 |
DBLP BibTeX RDF |
|
20 | Frédéric Mallet, Charles André, Robert de Simone |
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. |
FDL |
2007 |
DBLP BibTeX RDF |
|
16 | Brahim Hamid, Fatma Krichen |
Model-based engineering for dynamic reconfiguration in DRTES. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
model driven engineering, dynamic reconfiguration, meta-model, UML profiles, component-based architecture, distributed real time embedded systems |
16 | Isaac Lera, Ramón Puigjaner |
Semantic layered architecture to integrate FR/NFR in software performance engineering. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
performance, requirements, semantic modeling |
16 | Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier |
Automating the Generation of Platform Specific Models. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mirco Tribastone, Stephen Gilmore |
Automatic Translation of UML Sequence Diagrams into PEPA Models. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Osmar Marchi dos Santos, Andy J. Wellings |
Run Time Detection of Blocking Time Violations in Real-Time Systems. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Osmar Marchi dos Santos, Andy J. Wellings |
Blocking time monitoring in the real-time specification for Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, real-time specification for Java, timing errors |
16 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao |
A MDE Based Approach for Bridging Formal Models. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
formal methods, MDE |
16 | Matthias Brun 0001, Jérôme Delatour, Yvon Trinquet |
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marco Di Natale |
Design and Development of Component-Based Embedded Systems for Automotive Applications. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Bran Selic |
Challenges in generating qos-constrained software implementations. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
model-driven development |
16 | Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser |
An Open Framework for Detailed Hardware Modeling. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati |
A multiform time approach to real-time system modeling; Application to an automotive system. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Charles André, Frédéric Mallet, Robert de Simone |
Modeling Time(s). |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
real-time embedded, UML profile |
16 | Simona Bernardi 0001, José Merseguer |
A UML profile for dependability analysis of real-time embedded systems. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
dependability, UML profiles, real-time embedded systems |
16 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 |
Managing Complexity of Automotive Electronics Using the EAST-ADL. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert de Simone, Charles André |
Towards a "Synchronous Reactive" UML profile? |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Synchronous, Reactive |
16 | Arnaud Cuccuru, Jean-Luc Dekeyser, Philippe Marquet, Pierre Boulet |
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | José María Martínez, Michael González Harbour |
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95 |
16 | Mario Aldea Rivas, Michael González Harbour |
Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Mario Aldea Rivas, Michael González Harbour |
A POSIX-Ada Interface for Application-Defined Scheduling. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX |
16 | Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo |
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #374 of 374 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|