|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florian Noyrit, Susanne Graf, Iulia Dragomir (eds.) |
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014.  |
ACES-MB@MoDELS  |
2014 |
DBLP BibTeX RDF |
|
| 1 | Paula Herber, Bettina Hünnemeyer |
Formal Verification of SystemC Designs using the BLAST Software Model Checker. |
ACES-MB@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Umer Tariq, Jacques Florence, Marilyn Wolf |
Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto. |
ACES-MB@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Markus Oertel, Michael Schulze, Thomas Peikenkamp |
Reusing a Functional Safety Concept in Variable System Architectures. |
ACES-MB@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Hassna Louadah, Roger Champagne, Yvan Labiche |
Towards Automating Interface Control Documents Elaboration and Management. |
ACES-MB@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Luca Berardinelli, Vittorio Cortellessa |
fUML-Driven Performance Analysis through the MOSES Model Library. |
ACES-MB@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Shin Nakajima 0001 |
Model-based Power Consumption Analysis of Smartphone Applications. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Iulia Dragomir, Iulian Ober, Christian Percebois |
Integrating verifiable Assume/Guarantee contracts in UML/SysML. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Ramin Etemaadi, Michel R. V. Chaudron |
Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha |
Modeling and Verification of Redundancy Policies. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Federico Ciccozzi |
Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai (eds.) |
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Markus Voelter, Daniel Ratiu, Federico Tomassetti |
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Julie S. Fant, Hassan Gomaa, Robert G. Pettit IV |
Modeling Executable Architectural Design Patterns for Software Product Lines. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Christian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss |
Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. |
ACES-MB@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Jelena Barth, Bernd Westphal, Stephan Arlt |
Model-based development of embedded systems' user interfaces. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Helle |
Automatic SysML-based safety analysis. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | André Pflüger, Wolfgang Golubski, Stefan Queins |
Tool-supported model-driven validation process for system architectures. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid |
Real-time design models to RTOS-specific models refinement verification. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Horacio Hoyos, Rubby Casallas, Fernando Jiménez |
HiLeS-T: an ADL for early requirement verification of embedded systems. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Neumann 0002, Norman Kluge, Sebastian Wätzoldt |
Automatic transformation of abstract AUTOSAR architectures to timed automata. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiale Zhou, Andreas Johnsen, Kristina Lundqvist |
Formal execution semantics for asynchronous constructs of AADL. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schwalb, Johannes Schmid, Tobias Gädeke, Klaus D. Müller-Glaser |
Component-based models for runtime control and monitoring of embedded systems. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulian Ober (eds.) |
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012 |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn |
Functional validation of AADL models via model transformation to SystemC with ATL. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christo Angelov, Krzysztof Sierszecki, Yu Guo |
Formal Design Models for Distributed Embedded Control Systems. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Basil Becker, Holger Giese, Stefan Neumann 0002, Martin Schenck, Arian Treffer |
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marco Di Natale |
preface. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001, Marco Roveri |
Model-Based Codesign of Critical Embedded Systems. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lili Tan, Björn Wachter, Philipp Lucas 0001, Reinhard Wilhelm |
Improving Timing Analysis for Matlab Simulink/Stateflow. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru |
SOPHIA: a Modeling Language for Model-Based Safety Engineering. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits |
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors, Johnny Nylund |
Design Complexity Management in Embedded System Design. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dries Langsweirdt, Yves Vandewoude, Yolande Berbers |
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Yassin Chkouri, Marius Bozga |
Prototyping of Distributed Embedded Systems Using AADL. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Van Baelen, Thomas Weigert, Ileana Ober (eds.) |
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009. |
ACES-MB@MoDELS |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license