Search results for "Statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Stefan Henkler, Joel Greenyer, Martin Hirsch 0001, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese	Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.	ICSE	2009	DBLP DOI BibTeX RDF
20	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-driven assessment of system dependability.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Reliability, Dependability, Requirements, Safety, Use cases
20	Mikhail Auguston, Mark B. Trakhtenbrot	Synthesis of Monitors for Real-Time Analysis of Reactive Systems.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
20	Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini	A Comparative Evaluation of Tests Generated from Different UML Diagrams.	SNPD	2008	DBLP DOI BibTeX RDF	Software Testing, Model-based Testing, UML Diagram
20	Yang Su, Xuan-Wu Zhou, Min-Qing Zhang	Research on Modeling Traversing Features in Concurrent Software System.	CSSE (2)	2008	DBLP DOI BibTeX RDF
20	Elena Troubitsyna	Elicitation and Specification of Safety Requirements.	ICONS	2008	DBLP DOI BibTeX RDF	requirements engineering, software development, safety analysis
20	Liu Jiufu	Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	flight control software, statechart, B method, virtual prototype, integrated methods
20	Steffen Prochnow, Reinhard von Hanxleden	Statechart Development Beyond WYSIWYG.	MoDELS	2007	DBLP DOI BibTeX RDF
20	Jörg Kienzle, Alexandre Denault, Hans Vangheluwe	Model-Based Design of Computer-Controlled Game Character Behavior.	MoDELS	2007	DBLP DOI BibTeX RDF
20	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-Driven Assessment of Use Cases for Dependable Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
20	Albert C. Esterline, Chafic BouSaba, Barbara Pioro, Abdollah Homaifar	Hierarchies, Holons, and Agent Coordination.	WRAC	2005	DBLP DOI BibTeX RDF
20	Sven Burmester, Holger Giese	Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML.	VL/HCC	2005	DBLP DOI BibTeX RDF
20	Shuhao Li, Ji Wang 0001, Wei Dong 0006, Zhichang Qi	Property-Oriented Testing of Real-Time Systems.	APSEC	2004	DBLP DOI BibTeX RDF
20	Doron Drusinsky	Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions.	IPDPS	2004	DBLP DOI BibTeX RDF
20	Glaucio H. S. Carvalho, Roberto M. Rodrigues, Carlos Renato Lisboa Francês, João Crisóstomo Weyl Albuquerque Costa, Solon V. Carvalho	Modelling and Performance Evaluation of Wireless Networks.	ICT	2004	DBLP DOI BibTeX RDF
20	Karsten Diethers, Michaela Huhn	Vooduu: Verification of Object-Oriented Designs Using UPPAAL.	TACAS	2004	DBLP DOI BibTeX RDF
20	Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin	Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
20	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Revisiting Statechart Synthesis with an Algebraic Approach.	ICSE	2004	DBLP DOI BibTeX RDF
20	Lionel C. Briand, Yvan Labiche, Yihong Wang	Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.	ICSE	2004	DBLP DOI BibTeX RDF
20	Nguyen Truong Thang, Takuya Katayama	Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.	APSEC	2003	DBLP DOI BibTeX RDF
20	Sukhamay Kundu	Modeling Complex Systems by A Set of Interacting Finite-State Models.	APSEC	2003	DBLP DOI BibTeX RDF	communication among finite-state models, design optimization, finite-state models
20	Luís Gomes 0001, Anikó Costa	On Lifting of Statechart Structuring Mechanisms.	ACSD	2003	DBLP DOI BibTeX RDF
20	Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar	MOBICHARTS: A Notation to Specify Mobile Computing Applications.	HICSS	2003	DBLP DOI BibTeX RDF
20	Amir Pnueli	Applications of Formal Methods in Biology.	FTRTFT	2002	DBLP DOI BibTeX RDF
20	Jan Murray, Oliver Obst, Frieder Stolzenburg	Towards a Logical Approach for Soccer Agents Engineering.	RoboCup	2000	DBLP DOI BibTeX RDF
20	David Harel, Hillel Kugler	Synthesizing State-Based Object Systems from LSC Specifications.	CIAA	2000	DBLP DOI BibTeX RDF
20	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
20	Simin Nadjm-Tehrani	Integration of Analog and Discrete Synchronous Design.	HSCC	1999	DBLP DOI BibTeX RDF
20	Andreas Pyttel, Alexander Sedlmeier, Christian Veith	PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems.	DATE	1998	DBLP DOI BibTeX RDF	FPGA, modular, statechart, application-specific
20	Yishai A. Feldman, Haim Schneider	Simulating Reactive Systems by Deduction.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF
20	Tzilla Elrad, Sungyoung Lee, Ufuk Verun	Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls.	Ada-Europe	1992	DBLP DOI BibTeX RDF
18	Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani	Using a process algebra interface for verification and validation of UML statecharts.	Comput. Stand. Interfaces	2023	DBLP DOI BibTeX RDF
18	Cristinel Ababei, Susan C. Schneider	Hardware Description of Event-driven Systems by Translation of UML Statecharts to VHDL.	eIT	2023	DBLP DOI BibTeX RDF
18	Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler	Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.	ICTAC	2023	DBLP DOI BibTeX RDF
18	Majid Babaei, Maroua Ben Attia	ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts.	SERP4IoT	2023	DBLP DOI BibTeX RDF
18	Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario	Compositional Analysis of Hierarchical UML Statecharts.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
18	Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac	Q: A Sound Verification Framework for Statecharts and Their Implementations.	FTSCS	2022	DBLP DOI BibTeX RDF
18	Marcel Christian Werner, Klaus Schneider 0001	From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts.	FDL	2022	DBLP DOI BibTeX RDF
18	Joeri Exelmans, Simon Van Mierlo, Hans Vangheluwe	A statecharts interpreter and compiler with semantic variability.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
18	Nikolaos I. Spanoudakis	Engineering Multi-agent Systems with Statecharts.	SN Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	David Harel, Rami Marelly, Assaf Marron, Smadar Szekely	Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.	IEEE Des. Test	2021	DBLP DOI BibTeX RDF
18	Bence Graics, Vince Molnár, András Vörös 0001, István Majzik, Dániel Varró	Mixed-semantics composition of statecharts for the component-based design of reactive systems.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
18	Ismo Hakala, Xinyu Tan	A Statecharts-Based Approach for WSN Application Development.	J. Sens. Actuator Networks	2020	DBLP DOI BibTeX RDF
18	Sujit Kumar Chakrabarti, Karthika Venkatesan	StaBL: Statecharts with Local Variables.	ISEC	2020	DBLP DOI BibTeX RDF
18	Eugene Syriani, Vasco Sousa, Levi Lúcio	Refining Statecharts while preserving the structure and behavior.	SEAA	2020	DBLP DOI BibTeX RDF
18	Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler	Formal Verification of Run-to-Completion Style Statecharts Using Event-B.	ECSA Companion	2020	DBLP DOI BibTeX RDF
18	Nikolaos I. Spanoudakis	Statecharts and Agent Technology: The Past and Future.	EUMAS/AT	2020	DBLP DOI BibTeX RDF
18	Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha	Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
18	Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha	Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts.	CoRR	2019	DBLP BibTeX RDF
18	David Harel, Rami Marelly, Assaf Marron, Smadar Szekely	Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.	CoRR	2019	DBLP BibTeX RDF
18	Eugene Syriani, Vasco Sousa, Levi Lúcio	Structure and behavior preserving statecharts refinements.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
18	Imke Drave, Robert Eikermann, Oliver Kautz, Bernhard Rumpe	Semantic Differencing of Statecharts for Object-oriented Systems.	MODELSWARD	2019	DBLP DOI BibTeX RDF
18	Javier Cereijo García, Roberto R. Osorio	A Microprogrammed Approach for Implementing Statecharts.	DSD	2019	DBLP DOI BibTeX RDF
18	Simon Van Mierlo, Hans Vangheluwe	Introduction to Statecharts Modeling, Simulation, Testing, and Deployment.	WSC	2019	DBLP DOI BibTeX RDF
18	Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin	Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts.	IFM	2019	DBLP DOI BibTeX RDF
18	Javier Cereijo García, Roberto R. Osorio	Hardware Implementation of Statecharts for FPGA-based Control in Scientific Facilities.	DCIS	2019	DBLP DOI BibTeX RDF
18	Amal Khalil, Juergen Dingel	Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.	Adv. Comput.	2018	DBLP DOI BibTeX RDF
18	Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha	Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).	CoRR	2018	DBLP BibTeX RDF
18	Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin	On checking delta-oriented product lines of statecharts.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
18	Shuanglong Kan, Zhiqiu Huang	Detecting safety-related components in statecharts through traceability and model slicing.	Softw. Pract. Exp.	2018	DBLP DOI BibTeX RDF
18	Steven Smyth, Christian Motika, Reinhard von Hanxleden	Synthesizing manually verifiable code for statecharts.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
18	Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler	Refinement of Statecharts with Run-to-Completion Semantics.	FTSCS	2018	DBLP DOI BibTeX RDF
18	Simon Van Mierlo, Hans Vangheluwe	Introduction to Statecharts Modeling, simulation, Testing, and Deployment.	WSC	2018	DBLP DOI BibTeX RDF
18	Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth	Embedding Scenario-based Modeling in Statecharts.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
18	Feng Sheng, Liang Dou, Zongyuan Yang	Mechanized semantics and refinement of UML-Statecharts.	Frontiers Inf. Technol. Electron. Eng.	2017	DBLP DOI BibTeX RDF
18	Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik	Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.	FESCA@ETAPS	2017	DBLP DOI BibTeX RDF
18	Pedro Sánchez, Bárbara Álvarez, Ramón Martínez, Andrés Iborra	Embedding statecharts into Teleo-Reactive programs to model interactions between agents.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
18	Gayane Sedrakyan, Stephan Poelmans, Monique Snoeck	Assessing the influence of feedback-inclusive rapid prototyping on understanding the semantics of parallel UML statecharts by novice modellers.	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
18	Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui	Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts.	SAFECOMP Workshops	2017	DBLP DOI BibTeX RDF
18	Valdivino Alexandre de Santiago Júnior, Felipe Elias Costa da Silva	From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases.	SAST	2017	DBLP DOI BibTeX RDF
18	Roopak Sinha, Ayush Narula, John Grundy 0001	Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes.	ACSW	2017	DBLP DOI BibTeX RDF
18	Brandon Shapiro, Chris Casinghino	specgen: A Tool for Modeling Statecharts in CSP.	NFM	2017	DBLP DOI BibTeX RDF
18	Jan Magott, Pawel Skrobanek	Semantics and Execution Time of New Timed Statecharts.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
18	Patrick Wacht, Ulrich Trick, Woldemar F. Fuhrmann, Bogdan V. Ghita	Efficient Test Case Derivation from Statecharts-based Models.	INC	2016	DBLP BibTeX RDF
18	Amal Khalil	Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.		2016	RDF
18	Mohamed El-Attar 0001, Hamza Luqman, Péter Kárpáti, Guttorm Sindre, Andreas L. Opdahl	Extending the UML Statecharts Notation to Model Security Aspects.	IEEE Trans. Software Eng.	2015	DBLP DOI BibTeX RDF
18	Conner Hansen, Eugene Syriani, Levi Lucio	Towards Controlling Refinements of Statecharts.	CoRR	2015	DBLP BibTeX RDF
18	Jonathan Ozik, Nicholson T. Collier, Todd Combs, Charles M. Macal, Michael J. North	Repast Simphony Statecharts.	J. Artif. Soc. Soc. Simul.	2015	DBLP DOI BibTeX RDF
18	Marcelo A. Ramos, Paulo César Masiero, Rosângela Aparecida Dellosso Penteado, Rosana T. V. Braga	Extending statecharts to model system interactions.	J. Softw. Eng. Res. Dev.	2015	DBLP DOI BibTeX RDF
18	Elena Kushnareva, Irina Rychkova, Bénédicte Le Grand	Modeling and Animation of Crisis Management Process with Statecharts.	BIR	2015	DBLP DOI BibTeX RDF
18	Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui	From UML Statecharts to LOTOS Expressions Using Graph Transformation.	ICIST	2015	DBLP DOI BibTeX RDF
18	Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini	On requirement verification for evolving Statecharts specifications.	Requir. Eng.	2014	DBLP DOI BibTeX RDF
18	Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger	Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts.	IEEE Syst. J.	2014	DBLP DOI BibTeX RDF
18	Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze 0002, Andreas Wortmann 0001	A New Skill Based Robot Programming Language Using UML/P Statecharts.	CoRR	2014	DBLP BibTeX RDF
18	María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe	System Model Semantics of Statecharts.	CoRR	2014	DBLP BibTeX RDF
18	Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger	Availability assessment of railway signalling systems with uncertainty analysis using Statecharts.	Simul. Model. Pract. Theory	2014	DBLP DOI BibTeX RDF
18	João Pimentel 0001, Jaelson Castro, John Mylopoulos, Konstantinos Angelopoulos, Vítor E. Silva Souza	From requirements to statecharts via design refinement.	SAC	2014	DBLP DOI BibTeX RDF
18	Tomasz Babczynski, Jan Magott	Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation.	DepCoS-RELCOMEX	2014	DBLP DOI BibTeX RDF
18	Justin MacKenzie, Shaun Carnegie, James Schmalz, Mike Schmalz, Sandrine de Ribaupierre, Roy Eagleson	Surgical simulation workflow representation using hierarchical task analysis and statecharts: Implementation on the evolution engine.	GEM	2014	DBLP DOI BibTeX RDF
18	Mokhtar Beldjehem	A Granular Hierarchical Multiview Metrics Suite for Statecharts Quality.	Adv. Softw. Eng.	2013	DBLP DOI BibTeX RDF
18	Maria-Cristina V. Marinescu, César Sánchez 0001	Fusing statecharts and java.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
18	Tassilo Horn	Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT.	TTC	2013	DBLP DOI BibTeX RDF
18	Pieter Van Gorp, Louis M. Rose	The Petri-Nets to Statecharts Transformation Case.	TTC	2013	DBLP DOI BibTeX RDF
18	Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian	Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.	TTC	2013	DBLP DOI BibTeX RDF
18	Jing Liu 0012, Ziwei Liu, Jifeng He 0001, Frédéric Mallet, Zuohua Ding	Hybrid MARTE statecharts.	Frontiers Comput. Sci.	2013	DBLP DOI BibTeX RDF
18	Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze 0002, Andreas Wortmann 0001	A new skill based robot programming language using UML/P Statecharts.	ICRA	2013	DBLP DOI BibTeX RDF
18	Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh 0001	Reachability Verification of Rhapsody Statecharts.	ICST Workshops	2013	DBLP DOI BibTeX RDF
18	Valentin Chimisliu, Franz Wotawa	Using Dependency Relations to Improve Test Case Generation from UML Statecharts.	COMPSAC Workshops	2013	DBLP DOI BibTeX RDF
18	Bojan Nokovic, Emil Sekerinski	pState: A probabilistic statecharts translator.	MECO	2013	DBLP DOI BibTeX RDF
18	Giancarlo Fortino, Wilma Russo, Corrado Santoro	Translating Statecharts-Based into BDI Agents: The DSC/PROFETA Case.	MATES	2013	DBLP DOI BibTeX RDF