Search results for "Stateflow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	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
106	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
82	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
73	Grégoire Hamon, John M. Rushby	An operational semantics for Stateflow.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
73	Ian Toyn, Andy Galloway	Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.	ZB	2005	DBLP DOI BibTeX RDF
73	Nikolaos Papandreou, Maria Varsamou, Theodore Antonakopoulos 0001	Transmission Systems Prototyping Based on Stateflow/Simulink Models.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
73	Grégoire Hamon, John M. Rushby	An Operational Semantics for Stateflow.	FASE	2004	DBLP DOI BibTeX RDF
66	Andreas Windisch	Search-based test data generation from stateflow statecharts.	GECCO	2010	DBLP DOI BibTeX RDF	signal generation, optimization, coverage, automation, test data generation, structural testing, simulink, search-based testing, stateflow, model testing
66	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
66	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
59	Paula J. Pingree, Erich Mikk	The HiVy Tool Set.	CAV	2004	DBLP DOI BibTeX RDF	model checking, translation, Spin, state-charts, Stateflow
56	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
56	Andreas Windisch	Search-based testing of complex simulink models containing stateflow diagrams.	ICSE Companion	2009	DBLP DOI BibTeX RDF
56	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
43	Toshihiro Obata, Teiichiro Inoue	General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.	MoDELS	2008	DBLP DOI BibTeX RDF	Mode controller, high quality, embedded system, flexibility, Simulink, Stateflow
40	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
33	Martin Fränzle	Verification of Hybrid Systems.	CAV	2007	DBLP DOI BibTeX RDF
33	Sandeep Neema, Gabor Karsai	Software for Automotive Systems: Model-Integrated Computing.	ASWSD	2004	DBLP DOI BibTeX RDF
33	Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby	Generating Efficient Test Sets with a Model Checker.	SEFM	2004	DBLP DOI BibTeX RDF
33	Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville	Automated Validation of Software Models.	ASE	2001	DBLP DOI BibTeX RDF
26	Mirko Conrad, Ines Fey, Matthias Grochtmann, Torsten Klein	Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	System behavior model, Model driven architecture, Model-based testing, Information model, Physical model, Model-based development, Simulink, Model evolution, Implementation model, Stateflow
26	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
23	Yiran Wu, Tianwei Yue, Shaokun Zhang, Chi Wang 0001, Qingyun Wu	StateFlow: Enhancing LLM Task-Solving through State-Driven Workflows.	CoRR	2024	DBLP DOI BibTeX RDF
23	Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford	Repository mining for changes in Simulink and Stateflow models.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
23	Ihem Hnayen, Hedi Dhouibi, Zineb Simeu-Abazi, Eric Gascard	Modeling And Diagnosis of Avionic Systems by Hybrid Automata Using Stateflow.	ICCAD	2023	DBLP DOI BibTeX RDF
23	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
23	Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan	Machine-checked executable semantics of Stateflow.	CoRR	2022	DBLP DOI BibTeX RDF
23	Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg	Bounded Invariant Checking for Stateflow.	FMAS/ASYDE@SEFM	2022	DBLP DOI BibTeX RDF
23	Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun	Translating a large subset of stateflow to hybrid CSP with code optimization.	J. Syst. Archit.	2022	DBLP DOI BibTeX RDF
23	Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan	Machine-Checked Executable Semantics of Stateflow.	ICFEM	2022	DBLP DOI BibTeX RDF
23	Stefan Kaalen, Anton Hampus, Mattias Nyberg, Olle Mattsson	A Stochastic Extension of Stateflow.	ICPE	2022	DBLP DOI BibTeX RDF
23	Johannes Leindecker, Maximilian Zechmeister-Machhart, Felix Gauss, Philipp Wiegard	A Tutorial-oriented Approach to ARGESIM Benchmark C11 'SCARA Robot' in MATLAB, Simulink and Stateflow.	Simul. Notes Eur.	2021	DBLP DOI BibTeX RDF
23	Predrag Filipovikj, Dilian Gurov, Mattias Nyberg	Bounded Invariant Checking for Stateflow Programs.	CoRR	2021	DBLP BibTeX RDF
23	Stefan Kaalen, Mattias Nyberg, Olle Mattsson	Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow.	QEST	2021	DBLP DOI BibTeX RDF
23	Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun	Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization.	SETTA	2021	DBLP DOI BibTeX RDF
23	Meng Fei Chia, Pavan Kumar Naraharisetti	Matlab-Stateflow for automated HAZOP.	SICE	2021	DBLP BibTeX RDF
23	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
23	Junyou Shi, Qingjie He, Zili Wang	Integrated Stateflow-based simulation modelling and testability evaluation for electronic built-in-test (BIT) systems.	Reliab. Eng. Syst. Saf.	2020	DBLP DOI BibTeX RDF
23	Andrés Paz, Ghizlane El-Boussaidi	Breesse: bridging EMF, simulink and stateflow for model-based design of safety-critical systems.	MoDELS (Companion)	2020	DBLP DOI BibTeX RDF
23	Yu Jiang 0001, Houbing Song, Yixiao Yang, Han Liu 0010, Ming Gu 0001, Yong Guan, Jiaguang Sun 0001, Lui Sha	Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.	ACM Trans. Cyber Phys. Syst.	2019	DBLP DOI BibTeX RDF
23	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
23	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
23	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
23	Bewoayia Kebianyor, Philipp Ittershagen, Kim Grüttner	Towards Stateflow Model Aware Debugging with LLDB.	RAPIDO	2019	DBLP DOI BibTeX RDF
23	Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati	SL2SF: Refactoring Simulink to Stateflow.	FASE	2019	DBLP DOI BibTeX RDF
23	Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang	Graphical Hybrid Automata with Simulink and Stateflow.	HSCC	2018	DBLP DOI BibTeX RDF
23	Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang	Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow.	HSCC	2018	DBLP DOI BibTeX RDF
23	Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic	Localizing Faults in Simulink/Stateflow Models with STL.	HSCC	2018	DBLP DOI BibTeX RDF
23	Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner	Information Flow Analysis of Combined Simulink/Stateflow Models.	WETICE	2018	DBLP DOI BibTeX RDF
23	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
23	Naijun Zhan, Shuling Wang, Hengjun Zhao (eds.)	Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach.		2017	DOI RDF
23	Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux	Automated analysis of Stateflow models.	LPAR	2017	DBLP DOI BibTeX RDF
23	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
23	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
23	Birger Freymann, Sven Pawletta, Artur Schmidt, Thorsten Pawletta	Design, Simulation and Operation of Task-oriented Multi-Robot Applications with MATLAB/Stateflow.	Simul. Notes Eur.	2016	DBLP DOI BibTeX RDF
23	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
23	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Simulink Stateflow Models.	Int. J. Networked Distributed Comput.	2016	DBLP DOI BibTeX RDF
23	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Simulink Stateflow Models.	Int. J. Networked Distributed Comput.	2016	DBLP DOI BibTeX RDF
23	Jian Chen, Thomas R. Dean, Manar H. Alalfi	Clone detection in MATLAB Stateflow models.	Softw. Qual. J.	2016	DBLP DOI BibTeX RDF
23	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
23	Xuezhi Lv, Baoxin Fan, Xianwen Wang, Xinhui Zhao	A modeling and simulation method of queue systems based on stateflow.	ICSAI	2016	DBLP DOI BibTeX RDF
23	Yu Jiang 0001, Yixiao Yang, Han Liu 0010, Hui Kong 0004, Ming Gu 0001, Jia-Guang Sun 0001, Lui Sha	From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.	RTAS	2016	DBLP DOI BibTeX RDF
23	Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner	Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.	GI-Jahrestagung	2016	DBLP BibTeX RDF
23	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
23	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
23	Prachi Goyal, Manju Nanda, J. Jayanthi	Mutation Analysis of Stateflow to Improve the Modelling Analysis.	ICACDS	2016	DBLP DOI BibTeX RDF
23	Neeraj Kumar Singh 0001, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng	Stateflow to Tabular Expressions.	SoICT	2015	DBLP DOI BibTeX RDF
23	Chikatoshi Yamada, D. Michael Miller	Using SPIN to check Simulink Stateflow models.	ICIS	2015	DBLP DOI BibTeX RDF
23	Eun-Young Kang 0001, Liu Ke 0002, Meng-Zhe Hua, Yu-Xuan Wang	Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL.	APSEC	2015	DBLP DOI BibTeX RDF
23	Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle	Formal Verification of Simulink/Stateflow Diagrams.	ATVA	2015	DBLP DOI BibTeX RDF
23	Meng Li 0001, Ratnesh Kumar 0001	Robustness of Simulink/Stateflow Model Against Implementation Imperfections.	ADHS	2015	DBLP DOI BibTeX RDF
23	Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann	Effective test suites for mixed discrete-continuous stateflow controllers.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
23	Chikatoshi Yamada, D. Michael Miller	Using SPIN to Check Nondeterministic Simulink Stateflow Models.	ISMVL	2015	DBLP DOI BibTeX RDF
23	Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001, Matthew Potok	C2E2: A Verification Tool for Stateflow Models.	TACAS	2015	DBLP DOI BibTeX RDF
23	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
23	Thomas Roy Dean, Jian Chen, Manar H. Alalfi	Clone Detection in Matlab Stateflow Models.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
23	Alvaro Miyazawa, Ana Cavalcanti 0001	Refinement-based verification of implementations of Stateflow charts.	Formal Aspects Comput.	2014	DBLP DOI BibTeX RDF
23	Meng Li 0001, Ratnesh Kumar 0001	Recursive Modeling of Stateflow as Input/Output-Extended Automaton.	IEEE Trans Autom. Sci. Eng.	2014	DBLP DOI BibTeX RDF
23	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
23	Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby	Combining PVSio with Stateflow.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
23	Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh 0002	Translation Validation for Stateflow to C.	DAC	2014	DBLP DOI BibTeX RDF
23	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Stateflow/Simulink verification.	Formal Methods Syst. Des.	2013	DBLP DOI BibTeX RDF
23	Adepu Sridhar, D. Srinivasulu	Slicing MATLAB Simulink/Stateflow Models.	ICACNI	2013	DBLP DOI BibTeX RDF
23	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
23	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
23	Chunqing Chen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Manchun Zheng	Formal modeling and validation of Stateflow diagrams.	Int. J. Softw. Tools Technol. Transf.	2012	DBLP DOI BibTeX RDF
23	Alvaro Miyazawa, Ana Cavalcanti 0001	Refinement-oriented models of Stateflow charts.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
23	Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh 0002	Efficient coverage of parallel and hierarchical stateflow models for test case generation.	Softw. Test. Verification Reliab.	2012	DBLP DOI BibTeX RDF
23	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
23	Meng Li 0001, Ratnesh Kumar 0001	Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.	CASE	2012	DBLP DOI BibTeX RDF
23	Alvaro Miyazawa, Ana Cavalcanti 0001	Refinement-based verification of sequential implementations of Stateflow charts	Refine@FM	2011	DBLP DOI BibTeX RDF
23	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
23	Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo	A step towards verification and synthesis from simulink/stateflow models.	HSCC	2011	DBLP DOI BibTeX RDF
23	Meng Li 0001, Ratnesh Kumar 0001	Stateflow to Extended Finite Automata Translation.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
23	Jungsup Oh, Mark Harman, Shin Yoo	Transition coverage testing for simulink/stateflow models using messy genetic algorithms.	GECCO	2011	DBLP DOI BibTeX RDF
23	Chunqing Chen	Formal Analysis for Stateflow Diagrams.	SSIRI (Companion)	2010	DBLP DOI BibTeX RDF
23	Lili Tan, Björn Wachter, Philipp Lucas 0001, Reinhard Wilhelm	Improving Timing Analysis for Matlab Simulink/Stateflow.	ACES-MB@MoDELS	2009	DBLP BibTeX RDF
23	Ana Cavalcanti 0001	Stateflow Diagrams in Circus.	SBMF	2008	DBLP DOI BibTeX RDF
23	Ramón Sagarna, Xin Yao 0001	Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams.	ICST Workshops	2008	DBLP DOI BibTeX RDF
23	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