Search results for "MARTE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard	Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	embedded systems, MARTE, model-based engineering, SysML
3	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
3	Frédéric Mallet	Clock constraint specification language: specifying clock constraints with UML/MARTE.	ISSE	2008	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, MARTE, Time model
3	Frédéric Mallet, Robert de Simone	MARTE: a profile for RT/E systems modeling, analysis--and simulation?	SimuTools	2008	DBLP DOI BibTeX RDF	UML profile, MARTE
3	Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier	First Experiments Using the UML Profile for MARTE.	ISORC	2008	DBLP DOI BibTeX RDF	UML, Real-time, Embedded, Model-Driven Engineering, MARTE
3	Mirco Tribastone, Stephen Gilmore	Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.	WOSP	2008	DBLP DOI BibTeX RDF	pepa, uml, marte
2	Abdoulaye Gamatié, Vlad Rusu, Éric Rutten	Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.	ISPDC	2010	DBLP DOI BibTeX RDF	Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism
2	Marie-Agnès Peraldi-Frati, Arnaud Albinet	Requirement traceability in safety critical systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	modeling, validation, time, safety, traceability, non-functional requirement, MARTE
2	Ali Koudri, Joël Champeau, Denis Aulagnier, Philippe Soulard	MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
2	Mario Aldea Rivas, Michael González Harbour, José F. Ruiz	Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005
2	Frédéric Mallet, Charles André, Julien DeAntoni	Executing AADL Models with UML/MARTE.	ICECCS	2009	DBLP DOI BibTeX RDF
2	Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier	Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations.	GPCE	2009	DBLP DOI BibTeX RDF	middleware, model-driven engineering, component models, connectors, MARTE
2	Charles André, Frédéric Mallet	Specification and verification of time requirements with CCSL and Esterel.	LCTES	2009	DBLP DOI BibTeX RDF	synchronous languages, uml, marte, time model
2	Hung Ledang, Hubert Dubois, Sébastien Gérard	Towards a traceability model in a MARTE-based methodology for real-time embedded systems.	ISSE	2008	DBLP DOI BibTeX RDF	Traceability, MDE, Requirement management
2	Simona Bernardi, José Merseguer, Dorina C. Petriu	Adding Dependability Analysis Capabilities to the MARTE Profile.	MoDELS	2008	DBLP DOI BibTeX RDF
2	Su-Young Lee 0002, Frédéric Mallet, Robert de Simone	Dealing with AADL End-to-End Flow Latency with UML MARTE.	ICECCS	2008	DBLP DOI BibTeX RDF
2	Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard	AnExecution Framework for MARTE-Based Models.	ICECCS	2008	DBLP DOI BibTeX RDF
2	Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser	MARTE based modeling approach for Partial Dynamic Reconfigurable FPGAs.	ESTImedia	2008	DBLP DOI BibTeX RDF
2	Rasha Tawhid, Dorina C. Petriu	Towards automatic derivation of a product performance model from a UML software product line model.	WOSP	2008	DBLP DOI BibTeX RDF	model transformation, software product line, software performance engineering, uml, marte
2	Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard	Towards a Framework for Explicit Platform-Based Transformations.	ISORC	2008	DBLP DOI BibTeX RDF	Platform-Based, SRM, UML, model transformations, MDE, MARTE
2	Imran Rafiq Quadri, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser	Using an MDE Approach for Modeling of Interconnection Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	UML2 Templates, SoC, MINs, NoC, MDE, MARTE, Delta Networks
2	Rasha Tawhid, Dorina C. Petriu	Integrating Performance Analysis in the Model Driven Development of Software Product Lines.	MoDELS	2008	DBLP DOI BibTeX RDF	UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation
2	Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser	Safe design of high-performance embedded systems in an MDE framework.	ISSE	2008	DBLP DOI BibTeX RDF	High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation
2	Marte Newcombe	Marte Newcombe.	GRAPHITE	2007	DBLP DOI BibTeX RDF
2	Mario Aldea Rivas, José F. Ruiz	Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Real-Time Systems, Compilers, POSIX, Ada 2005
2	C. Murray Woodside	From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.	SFM	2007	DBLP DOI BibTeX RDF
2	Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard	MARTE: Also an UML Profile for Modeling AADL Applications.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo	Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.	Ada-Europe	2004	DBLP DOI BibTeX RDF
2	Mario Aldea Rivas, Michael González Harbour	POSIX-Compatible Application-Defined Scheduling in MaRTE OS.	ECRTS	2002	DBLP DOI BibTeX RDF
2	Mario Aldea Rivas	Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX
1	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
1	José Merseguer, Simona Bernardi	Dependability analysis of DES based on MARTE and UML state machines models.	Discrete Event Dynamic Systems	2012	DBLP DOI BibTeX RDF
1	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 BibTeX RDF
1	Branislava Curcic-Blake, Marte Swart, Gert J. ter Horst, Dave R. M. Langers, Ido P. Kema, André Aleman	Variation of the gene coding for DARPP-32 (PPP1R1B) and brain connectivity during associative emotional learning.	NeuroImage	2012	DBLP DOI BibTeX RDF
1	Simona Bernardi, José Merseguer, Dorina C. Petriu	A dependability profile within MARTE.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	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
1	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
1	Adolf 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.	Technique et Science Informatiques	2011	DBLP BibTeX RDF
1	Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard	Optimum: a MARTE-based methodology for schedulability analysis at early design stages.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena	Model-driven Design of Performance Requirements with UML and MARTE.	ICSOFT	2011	DBLP BibTeX RDF
1	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
1	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
1	Mohd Z. M. Zaki, M. A. Isa, Dayang N. A. Jawawi	Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software.	ICSECS	2011	DBLP DOI BibTeX RDF
1	Julio L. Medina, Alvaro 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
1	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
1	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
1	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
1	Shaukat Ali, 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
1	Wei Jin, Hanpin Wang, Meixia Zhu	Modeling MARTE Sequence Diagram with Timing Pi-Calculus.	ISORC	2011	DBLP DOI BibTeX RDF
1	Ling Yin, Frédéric Mallet, Jing Liu	Verification of MARTE/CCSL Time Requirements in Promela/SPIN.	ICECCS	2011	DBLP DOI BibTeX RDF
1	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
1	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
1	Marte Alejandro Ramírez Ortegón	The transition method for binarization.		2011	RDF
1	Marte Swart, Richard Bruggeman, Frank Larøi, Behrooz Z. Alizadeh, Ido P. Kema, Rudie Kortekaas, Durk Wiersma, André Aleman	COMT Val158Met polymorphism, verbalizing of emotion and activation of affective brain systems.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Marte A. Ramírez-Ortegón, Edgar A. Duéñez-Guzmán, Raúl Rojas, Erik Cuevas	Unsupervised measures for parameter selection of binarization algorithms.	Pattern Recognition	2011	DBLP DOI BibTeX RDF
1	Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros, Marte A. Ramírez-Ortegón	Circle detection using discrete differential evolution optimization.	Pattern Anal. Appl.	2011	DBLP DOI BibTeX RDF
1	Stephanie B. Linek, Birgit Marte, Dietrich Albert	Background Music in Educational Games: Motivational Appeal and Cognitive Impact.	IJGBL	2011	DBLP DOI BibTeX RDF
1	Bruno Laeng, Marte Ørbo, Terje Holmlund, Michele Miozzo	Pupillary Stroop effects.	Cognitive Processing	2011	DBLP DOI BibTeX RDF
1	Marte Karidatter Skadsem, Randi Karlsen, Gordon S. Blair, Keith Mitchell	Community Cloud - Cloud Computing for the Community.	CLOSER	2011	DBLP BibTeX RDF
1	Pablo Peñil, J. Medina, Hector Posadas, Eugenio Villar	Generating heterogeneous executable specifications in SystemC from UML/MARTE models.	ISSE	2010	DBLP DOI BibTeX RDF
1	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.	IJES	2010	DBLP DOI BibTeX RDF
1	Lorea Belategi, Goiuria Sagardui, Leire Etxeberria	MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines.	SPLC	2010	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Pablo Peñil, Fernando Herrera, Eugenio Villar	Formal Foundations for MARTE-SystemC Interoperability.	FDL	2010	DBLP BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	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
1	Naoufel Machta, M. Taha Bennani, Samir Ben Ahmed	Aspect oriented Modeling of Real-Time system with UML and MARTE.	AICCSA	2010	DBLP DOI BibTeX RDF
1	Pablo Peñil, Hector Posadas, Eugenio Villar	Formal Modeling for UML/MARTE Concurrency Resources.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Isabelle Perseil, Laurent Pautet	From MARTE to AADL with a Seamless Process.	ICECCS	2010	DBLP DOI BibTeX RDF
1	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
1	Diego Perez-Palacin, José Merseguer, Simona Bernardi	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
1	Isabelle Perseil, Laurent Pautet	High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.	ECBS	2010	DBLP DOI BibTeX RDF	Real-time systems, Abstraction, Analysis, MARTE
1	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
1	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
1	Erik Cuevas, Daniel Zaldivar, Marco A. Pérez Cisneros, Marte A. Ramírez-Ortegón	Polynomial Trajectory Algorithm for a Biped Robot.	I. J. Robotics and Automation	2010	DBLP DOI BibTeX RDF
1	Marte A. Ramírez-Ortegón, Ernesto Tapia, Lilia L. Ramírez-Ramírez, Raúl Rojas, Erik Cuevas	Transition pixel: A concept for binarization based on edge detection and gray-intensity histograms.	Pattern Recognition	2010	DBLP DOI BibTeX RDF
1	Marte A. Ramírez-Ortegón, Ernesto Tapia, Raúl Rojas, Erik Cuevas	Transition thresholds and transition operators for binarization and edge detection.	Pattern Recognition	2010	DBLP DOI BibTeX RDF
1	Marte A. Ramírez-Ortegón, Raúl Rojas	Transition Thresholds for Binarization of Historical Documents.	ICPR	2010	DBLP DOI BibTeX RDF
1	Marte A. Ramírez-Ortegón, Raúl Rojas	Unsupervised Evaluation Methods Based on Local Gray-Intensity Variances for Binarization of Historical Documents.	ICPR	2010	DBLP DOI BibTeX RDF
1	Reto Krummenacher, Barry Norton, Adrian Marte	Towards Linked Open Services and Processes.	FIS	2010	DBLP DOI BibTeX RDF
1	Reto Krummenacher, Daniel Winkler, Adrian Marte	WSML2Reasoner - A Comprehensive Reasoning Framework for the Semantic Web.	ISWC Posters&Demos	2010	DBLP BibTeX RDF
1	Cosmina Chise, Ioan Jurca	Towards early performance assessment based on UML MARTE models for distributed systems.	SACI	2009	DBLP DOI BibTeX RDF
1	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
1	Frédéric Mallet, Charles André	On the Semantics of UML/MARTE Clock Constraints.	ISORC	2009	DBLP DOI BibTeX RDF
1	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
1	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 BibTeX RDF
1	W. 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
1	Frode Rømo, Asgeir Tomasgard, Lars Hellemo, Marte Fodstad, Bjørgulf Haukelidsæter Eidesen, Birger Pedersen	Optimizing the Norwegian Natural Gas Production and Transport.	Interfaces	2009	DBLP DOI BibTeX RDF
1	Marte Karidatter Skadsem, Njål T. Borch, Randi Karlsen	DeLight: A Peer-to-Peer Storage and Processing System.	ICIW	2009	DBLP DOI BibTeX RDF
1	Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger	Generating MARTE Allocation Models from Activity Threads.	FDL	2008	DBLP DOI BibTeX RDF
1	Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini	Model-based Design Space Exploration for RTES with SysML and MARTE.	FDL	2008	DBLP DOI BibTeX RDF
1	Frédéric Mallet, Robert de Simone, Laurent Rioux	Event-Triggered vs. Time-Triggered Communications with UML MARTE.	FDL	2008	DBLP DOI BibTeX RDF
1	Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser	MARTE-based Design of a Multimedia Application and Formal Analysis.	FDL	2008	DBLP DOI BibTeX RDF
1	Isabelle Perseil, Laurent Pautet	Foundations of a new software engineering method for real-time systems.	ISSE	2008	DBLP DOI BibTeX RDF	PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method
1	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
1	Matthias Brun, 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
1	Mirco Tribastone, Stephen Gilmore	Automatic Translation of UML Sequence Diagrams into PEPA Models.	QEST	2008	DBLP DOI BibTeX RDF
1	Osmar Marchi dos Santos, Andy J. Wellings	Run Time Detection of Blocking Time Violations in Real-Time Systems.	RTCSA	2008	DBLP DOI BibTeX RDF