Search results for "Simulink/Stateflow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
174	Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi	Defining and translating a "safe" subset of simulink/stateflow into lustre.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded software, simulink, lustre, automatic translation
172	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
137	Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002	Randomized directed testing (REDIRECT) for Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulink/stateflow models, coverage, hybrid systems, model based testing
92	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh 0002, Sriram Sankaranarayanan 0001, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
92	Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai	A Visually-Specified Code Generator for Simulink/Stateflow.	VL/HCC	2005	DBLP DOI BibTeX RDF
75	Rajeev Alur, Aditya Kanade, S. Ramesh 0002, K. C. Shashidhar	Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulations, coverage, hybrid systems, Simulink, Stateflow
70	Ian Toyn, Andy Galloway	Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.	ZB	2005	DBLP DOI BibTeX RDF
58	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
53	Andreas Windisch	Search-based testing of complex simulink models containing stateflow diagrams.	ICSE Companion	2009	DBLP DOI BibTeX RDF
53	Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville	Automated Validation of Software Models.	ASE	2001	DBLP DOI BibTeX RDF
46	Ingo Stürmer, Mirko Conrad	Ein Testverfahren für optimierende Codegeneratoren.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Model-based code generation, Simulink/Stateflow, Optimizations, Model-based development, Test suite
38	Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan	Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
38	Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu	Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.	J. Comput. Sci. Technol.	2020	DBLP DOI BibTeX RDF
38	Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner	Information Flow Analysis of Combined Simulink/Stateflow Models.	Inf. Technol. Control.	2019	DBLP DOI BibTeX RDF
38	Jin Woo Ro, Avinash Malik, Partha S. Roop	A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata.	MEMOCODE	2019	DBLP DOI BibTeX RDF
38	Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan	Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.	UTP	2019	DBLP DOI BibTeX RDF
38	Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic	Localizing Faults in Simulink/Stateflow Models with STL.	HSCC	2018	DBLP DOI BibTeX RDF
38	Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner	Information Flow Analysis of Combined Simulink/Stateflow Models.	WETICE	2018	DBLP DOI BibTeX RDF
38	Meng Li 0001, Ratnesh Kumar 0001	Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.	IET Cyper-Phys. Syst.: Theory & Appl.	2017	DBLP DOI BibTeX RDF
38	Naijun Zhan, Shuling Wang, Hengjun Zhao (eds.)	Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach.		2017	DOI RDF
38	Reza Matinnejad, Shiva Nejati, Lionel C. Briand	Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies.	ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
38	Claudius Jordan, Canlong Ma, Julien Provost	An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week.	EDUCON	2017	DBLP DOI BibTeX RDF
38	Meng Li 0001, Ratnesh Kumar 0001	Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.	IET Cyper-Phys. Syst.: Theory & Appl.	2016	DBLP DOI BibTeX RDF
38	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Simulink Stateflow Models.	Int. J. Networked Distributed Comput.	2016	DBLP DOI BibTeX RDF
38	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Simulink Stateflow Models.	Int. J. Networked Distributed Comput.	2016	DBLP DOI BibTeX RDF
38	Shambhu Prasad, Suraj Nayak, Vamshi Vijay, Rajib Mall	SLDG: a metamodel for Simulink/Stateflow models and its applications.	Innov. Syst. Softw. Eng.	2016	DBLP DOI BibTeX RDF
38	Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner	Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.	GI-Jahrestagung	2016	DBLP BibTeX RDF
38	Yixiao Yang, Yu Jiang 0001, Ming Gu 0001, Jia-Guang Sun 0001	Verifying simulink stateflow model: timed automata approach.	ASE	2016	DBLP DOI BibTeX RDF
38	Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	SimCoTest: a test suite generation tool for simulink/stateflow controllers.	ICSE (Companion Volume)	2016	DBLP DOI BibTeX RDF
38	Chikatoshi Yamada, D. Michael Miller	Using SPIN to check Simulink Stateflow models.	ICIS	2015	DBLP DOI BibTeX RDF
38	Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle	Formal Verification of Simulink/Stateflow Diagrams.	ATVA	2015	DBLP DOI BibTeX RDF
38	Meng Li 0001, Ratnesh Kumar 0001	Robustness of Simulink/Stateflow Model Against Implementation Imperfections.	ADHS	2015	DBLP DOI BibTeX RDF
38	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Nondeterministic Simulink Stateflow Models.	ISMVL	2015	DBLP DOI BibTeX RDF
38	Yunwei Dong, Zhe Li, Yibo Cheng, Hongbin Zhao	A Model DrivenTesting Solution for Embedded System with Simulink/Stateflow Model.	TSA	2015	DBLP DOI BibTeX RDF
38	Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh 0002	Automatic test case generation from Simulink/Stateflow models using model checking.	Softw. Test. Verification Reliab.	2014	DBLP DOI BibTeX RDF
38	Adepu Sridhar, D. Srinivasulu	Slicing MATLAB Simulink/Stateflow Models.	ICACNI	2013	DBLP DOI BibTeX RDF
38	Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue	Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.	MBEES	2013	DBLP BibTeX RDF
38	Meng Li 0001, Ratnesh Kumar 0001	Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.	CASE	2013	DBLP DOI BibTeX RDF
38	Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh 0002	An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.	DATE	2012	DBLP DOI BibTeX RDF
38	Meng Li 0001, Ratnesh Kumar 0001	Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.	CASE	2012	DBLP DOI BibTeX RDF
38	Hongsuk Lee, Kihyun Chung, Hyunsang Park, Kyunghee Choi	Modeling software requirement with timing diagram and Simulink Stateflow.	Inf. Softw. Technol.	2011	DBLP DOI BibTeX RDF
38	Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo	A step towards verification and synthesis from simulink/stateflow models.	HSCC	2011	DBLP DOI BibTeX RDF
38	Jungsup Oh, Mark Harman, Shin Yoo	Transition coverage testing for simulink/stateflow models using messy genetic algorithms.	GECCO	2011	DBLP DOI BibTeX RDF
38	Lili Tan, Björn Wachter, Philipp Lucas 0001, Reinhard Wilhelm	Improving Timing Analysis for Matlab Simulink/Stateflow.	ACES-MB@MoDELS	2009	DBLP BibTeX RDF
38	Changyan Zhou, Ratnesh Kumar 0001, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer	A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.	SEKE	2007	DBLP BibTeX RDF
38	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
38	Brian Wesley Williams	Using hybrid automata to model four stroke engines with variable valve timing in Simulink/Stateflow.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	hybrid and embedded systems, hybrid automata
38	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
38	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
27	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
27	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
27	Alessio Ferrari 0001, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni	Formal Development for Railway Signaling Using Commercial Tools.	FMICS	2009	DBLP DOI BibTeX RDF
27	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
27	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
27	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
27	Werner Damm	Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.	FMICS	2008	DBLP DOI BibTeX RDF
27	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
27	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
27	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
27	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
27	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
27	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