|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Paula Herber, Bettina Hünnemeyer |
Formal Verification of SystemC Designs using the BLAST Software Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., pp. 44-53, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., pp. 6-15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Markus Oertel, Michael Schulze, Thomas Peikenkamp |
Reusing a Functional Safety Concept in Variable System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., pp. 16-25, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Hassna Louadah, Roger Champagne, Yvan Labiche |
Towards Automating Interface Control Documents Elaboration and Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., pp. 26-33, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Luca Berardinelli, Vittorio Cortellessa |
fUML-Driven Performance Analysis through the MOSES Model Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., pp. 34-43, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Shin Nakajima 0001 |
Model-based Power Consumption Analysis of Smartphone Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Iulia Dragomir, Iulian Ober, Christian Percebois |
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Ramin Etemaadi, Michel R. V. Chaudron |
Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha |
Modeling and Verification of Redundancy Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Federico Ciccozzi |
Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Markus Voelter, Daniel Ratiu, Federico Tomassetti |
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Julie S. Fant, Hassan Gomaa, Robert G. Pettit IV |
Modeling Executable Architectural Design Patterns for Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
|
1 | Jelena Barth, Bernd Westphal, Stephan Arlt |
Model-based development of embedded systems' user interfaces. ![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. 37-42, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Helle |
Automatic SysML-based safety analysis. ![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. 19-24, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André Pflüger, Wolfgang Golubski, Stefan Queins |
Tool-supported model-driven validation process for system architectures. ![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. 1-6, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
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. ![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. 25-30, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Horacio Hoyos, Rubby Casallas, Fernando Jiménez |
HiLeS-T: an ADL for early requirement verification of embedded systems. ![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. 7-12, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Neumann 0002, Norman Kluge, Sebastian Wätzoldt |
Automatic transformation of abstract AUTOSAR architectures to timed automata. ![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. 55-60, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jiale Zhou, Andreas Johnsen, Kristina Lundqvist |
Formal execution semantics for asynchronous constructs of AADL. ![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. 43-48, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
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. ![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. 31-36, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![ACM, 978-1-4503-1800-6 The full citation details ...](Pics/full.jpeg) |
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. ![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. 13-18, 2012, ACM, 978-1-4503-1800-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christo Angelov, Krzysztof Sierszecki, Yu Guo |
Formal Design Models for Distributed Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Marco Di Natale |
preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Lili Tan, Björn Wachter, Philipp Lucas 0001, Reinhard Wilhelm |
Improving Timing Analysis for Matlab Simulink/Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Dries Langsweirdt, Yves Vandewoude, Yolande Berbers |
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Goetz Botterweck, Andreas Polzer, Stefan Kowalewski |
Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Mohamed Yassin Chkouri, Marius Bozga |
Prototyping of Distributed Embedded Systems Using AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: 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., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|