Search results for "Stateflow"

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