|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 77 occurrences of 56 keywords
|
|
|
Results
Found 135 publication records. Showing 135 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf |
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 83-94, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Steffen Prochnow, Reinhard von Hanxleden |
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 37. Jahrestagung der Gesellschaft für Informatik, Informatik trifft Logistik, INFORMATIK 2007, Bremen, Germany, September 24-27, 2007, Band 2, pp. 564-568, 2007, GI, 978-3-88579-204-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Martin Mutz, Michael Daginnus, Peter-Michael Hofmann, Torsten Klein, Henning Kleinwechter |
Ein Richtlinienkatalog für die Erstellung von Simulink/Stateflow- Modellen im Automobilbereich. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 2, pp. 181-185, 2005, GI, 3-88579-397-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Aditya Agrawal, Gyula Simon, Gabor Karsai |
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GT-VMT@ETAPS ![In: Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28, 2004, pp. 43-56, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Buck, Andreas Rau 0004 |
On Modelling Guidelines: Flowchart Patterns for STATEFLOW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 21(2), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
23 | Anis Sahbani, Jean-Claude Pascal |
Simulation of hyibrd systems using stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESM ![In: 14th European Simulation Multiconference - Simulation and Modelling: Enablers for a Better Quality of Life, May 23-26, 2000, Ghent, Belgium, pp. 271-275, 2000, SCS Europe, 1-56555-204-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
Use of formal methods for building qualified code generator for safer automotive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 53-56, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software engineering, formal verification, certification, automatic code generator, automotive systems |
16 | Endra Joelianto, Herman Y. Sutarto |
Controlled Switching Dynamical Systems Using Linear Impulsive Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Unmanned Systems ![In: Intelligent Unmanned Systems: Theory and Applications, pp. 227-244, 2009, Springer, 978-3-642-00263-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond |
Synchronous objects with scheduling policies: introducing safe shared memory in lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 11-20, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams |
16 | Alessio Ferrari 0001, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni |
Formal Development for Railway Signaling Using Commercial Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 197-198, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Refining the control structure of loops using static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 49-58, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis |
16 | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh 0002, Swarup Mohalik, K. C. Shashidhar |
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 204-208, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Staats, Mats Per Erik Heimdahl |
Partial Translation Verification for Untrusted Code-Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 226-237, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago, Stefano Olivieri |
A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2008, June 16-20, 2008, Crowne Plaza, San Francisco International Airport, California, USA, pp. 515-522, 2008, IEEE, 978-1-4244-1777-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 3, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rance Cleaveland |
Model-Based Verification of Automotive Control Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 2, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Carsten Amelunxen, Elodie Legros, Andy Schürr |
Generic and reflective graph transformations for the checking and enforcement of modeling guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, pp. 211-218, 2008, IEEE Computer Society, 978-1-4244-2528-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ian Toyn, Andy Galloway |
Formal Validation of Hierarchical State Machines against Expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia, pp. 181-190, 2007, IEEE Computer Society, 0-7695-2778-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer |
Checking and Enforcement of Modeling Guidelines with Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 313-328, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Cavallo, Armando Di Nardo, Michele Di Natale |
A Fuzzy Decision Support System for an Hydraulic Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon Hu, Matthew Zyskowski |
On Self-triggered Full-Information H-Infinity Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 371-384, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Philipp Graf, Michael Hübner 0001, Klaus D. Müller-Glaser, Jürgen Becker 0001 |
A Graphical Model-Level Debugger for Heterogenous Reconfigurable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 722-725, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh 0002, K. C. Shashidhar |
Testing Model-Processing Tools for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2007, April 3-6, 2007, Bellevue, Washington, USA, pp. 203-214, 2007, IEEE Computer Society, 978-0-7695-2800-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 135-144, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis |
16 | B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy |
Tool for Translating Simulink Models into Input Language of a Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 606-620, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey |
Automatic Test Generation for Model-Based Code Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 75-81, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rance Cleaveland, Scott A. Smolka, Steve Sims |
An Instrumentation-Based Approach to Controller Model Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, pp. 84-97, 2006, Springer, 978-3-540-70929-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller 0003 |
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, pp. 98-117, 2006, Springer, 978-3-540-70929-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Albert C. Esterline, Chafic BouSaba, Barbara Pioro, Abdollah Homaifar |
Hierarchies, Holons, and Agent Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRAC ![In: Innovative Concepts for Autonomic and Agent-Based Systems, Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers, pp. 210-221, 2005, Springer, 978-3-540-69265-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
A conservative extension of synchronous data-flow with state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 173-182, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
clock calculus, compilation, typing, heterogeneous systems, synchronous languages |
16 | Clemens Reichmann, Markus Kühl, Philipp Graf, Klaus D. Müller-Glaser |
GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 225-232, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Padois, Jean-Yves Fourquet, Pascale Chiron, Marc Renaud |
On Contact Transition for Nonholonomic Mobile Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics IX, The 9th International Symposium on Experimental Robotics [ISER 2004, Singapore, 18.-21. June 2004], pp. 207-216, 2004, Springer, 978-3-540-28816-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sandeep Neema, Ted Bapty, Jeff Gray 0001, Aniruddha S. Gokhale |
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 236-251, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Egyed, Robert Balzer |
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 223-231, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler |
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997, pp. 163-185, 1997, Springer, 3-540-65643-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #135 of 135 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|