|
|
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. |
MBEES |
2007 |
DBLP BibTeX RDF |
|
23 | Steffen Prochnow, Reinhard von Hanxleden |
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. |
GI Jahrestagung (2) |
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. |
GI Jahrestagung (2) |
2005 |
DBLP BibTeX RDF |
|
23 | Aditya Agrawal, Gyula Simon, Gabor Karsai |
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. |
GT-VMT@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Buck, Andreas Rau 0004 |
On Modelling Guidelines: Flowchart Patterns for STATEFLOW. |
Softwaretechnik-Trends |
2001 |
DBLP BibTeX RDF |
|
23 | Anis Sahbani, Jean-Claude Pascal |
Simulation of hyibrd systems using stateflow. |
ESM |
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. |
EDCC-CARS |
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. |
Intelligent Unmanned Systems |
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. |
LCTES |
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. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Refining the control structure of loops using static analysis. |
EMSOFT |
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. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Staats, Mats Per Erik Heimdahl |
Partial Translation Verification for Untrusted Code-Generators. |
ICFEM |
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. |
SECON |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rance Cleaveland |
Model-Based Verification of Automotive Control Software. |
FMICS |
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. |
VL/HCC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ian Toyn, Andy Galloway |
Formal Validation of Hierarchical State Machines against Expectations. |
ASWEC |
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. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Cavallo, Armando Di Nardo, Michele Di Natale |
A Fuzzy Decision Support System for an Hydraulic Application. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon Hu, Matthew Zyskowski |
On Self-triggered Full-Information H-Infinity Controllers. |
HSCC |
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. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh 0002, K. C. Shashidhar |
Testing Model-Processing Tools for Embedded Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. |
LCTES |
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. |
ICFEM |
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. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rance Cleaveland, Scott A. Smolka, Steve Sims |
An Instrumentation-Based Approach to Controller Model Validation. |
ASWSD |
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. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Albert C. Esterline, Chafic BouSaba, Barbara Pioro, Abdollah Homaifar |
Hierarchies, Holons, and Agent Coordination. |
WRAC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
A conservative extension of synchronous data-flow with state machines. |
EMSOFT |
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. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Padois, Jean-Yves Fourquet, Pascale Chiron, Marc Renaud |
On Contact Transition for Nonholonomic Mobile Manipulators. |
ISER |
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. |
GPCE |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Egyed, Robert Balzer |
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability. |
ASE |
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. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #135 of 135 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|