Search results for "K-statechart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir	Creation and Validation of Embedded Assertion Statecharts.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
105	Kyo Chul Kang, Kwang-Il Ko	Formalization and Verification of Safety Properties of Statechart Specifications.	APSEC	1996	DBLP DOI BibTeX RDF	real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph
97	Simon Stobart, Norman Parrington, Bor-Yuan Tsai	Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing
81	José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez	An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
81	Dong Yang, Shen-sheng Zhang	Modeling Workflow Process Models with Statechart.	ECBS	2003	DBLP DOI BibTeX RDF
77	Diego Latella, István Majzik, Mieke Massink	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA
69	Jiexin Lian, Zhaoxia Hu, Sol M. Shatz	Simulation-based analysis of UML statechart diagrams: methods and case studies.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Formal methods, Petri nets, UML statecharts, Design analysis
69	Steffen Prochnow, Reinhard von Hanxleden	Statechart Development Beyond WYSIWYG.	MoDELS	2007	DBLP DOI BibTeX RDF
69	Hua Chu, Qingshan Li, Shengming Hu, Ping Chen	An Approach for Reversely Generating Hierarchical UML Statechart Diagrams.	FSKD	2006	DBLP DOI BibTeX RDF
69	P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan	Test ready UML statechart models.	SCESM	2006	DBLP DOI BibTeX RDF	model based testing, context-free grammar, UML statecharts
69	José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini	Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams.	MoDELS	2005	DBLP DOI BibTeX RDF
69	Vitus S. W. Lam, Julian A. Padget	An integrated environment for communicating UML statechart diagrams.	AICCSA	2005	DBLP DOI BibTeX RDF
68	Doron Drusinsky, Man-tak Shing	Using UML Statecharts with Knowledge Logic Guards.	MoDELS	2009	DBLP DOI BibTeX RDF	K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
66	Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Formal definition of measures for UML statechart diagrams using OCL.	SAC	2008	DBLP DOI BibTeX RDF	UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams
66	Christian Prehofer	Plug-and-play composition of features and feature interactions with statechart diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams
66	Marcela Genero, David Miranda, Mario Piattini	Defining Metrics for UML Statechart Diagrams in a Methodological Way.	ER (Workshops)	2003	DBLP DOI BibTeX RDF	OO Software, UML statechart diagrams, theoretical validation, experiment replication, metrics, maintainability, size, empirical validation, understandability, structural complexity
60	David N. Jansen, Holger Hermanns	QoS modelling and analysis with UML-statecharts: the StoCharts approach.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF	UML
57	José A. Cruz-Lemus, Marcela Genero, Sandro Morasca, Mario Piattini	Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States.	ER Workshops	2007	DBLP DOI BibTeX RDF
57	Vitus S. W. Lam, Julian A. Padget	Consistency Checking of Statechart Diagrams of a Class Hierarchy.	ECOOP	2005	DBLP DOI BibTeX RDF
57	Vitus S. W. Lam, Julian A. Padget	Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.	IFM	2005	DBLP DOI BibTeX RDF
57	Luís Gomes 0001, Anikó Costa	From Use Cases to System Implementation: Statechart Based Co-design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
57	Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang	Equivalence Checking of Two Statechart Specifications.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	ACSR, Weak equivalence, Formal verification, Statecharts
54	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
48	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
48	Atul Gupta, Amit Raj	Strengthening Method Contracts for Objects.	APSEC	2006	DBLP DOI BibTeX RDF
48	Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang	Formal Specification and Verification of Embedded System with Shared Resources.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
48	Rodolfo Castelló, Rym Mili, Ioannis G. Tollis	ViSta.	GD	2001	DBLP DOI BibTeX RDF
45	Samar Mouchawrab, Lionel C. Briand, Yvan Labiche	Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment.	ESEM	2007	DBLP DOI BibTeX RDF
45	David Harel, Hillel Kugler, Amir Pnueli	Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
45	Gergely Pintér, István Majzik	Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.	EUROMICRO	2004	DBLP DOI BibTeX RDF
45	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
45	Luís Gomes 0001, Anikó Costa	On Lifting of Statechart Structuring Mechanisms.	ACSD	2003	DBLP DOI BibTeX RDF
45	Vitus S. W. Lam, Julian A. Padget	Formalization of UML Statechart Diagrams in the p-Calculus.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
45	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK.	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
44	Xuede Zhan, Huaikou Miao, Ling Liu	Formalizing the Semantics of UML Statecharts with Z*.	CIT	2004	DBLP DOI BibTeX RDF	UML, formal semantics, Z, UML statechart
44	Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.	UML	2000	DBLP DOI BibTeX RDF	UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
44	José Luis Fernández Alemán, José Ambrosio Toval Álvarez	Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.	ISSRE	2000	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification
44	Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: extended statecharts to support hypermedia specification.	ICECCS	1997	DBLP DOI BibTeX RDF	hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification
42	Lina Chen, Yu Zhang, Jianmin Zhao	Verification Approach of Statechart Models based on Property Statechart.	VISAPP (1)	2015	DBLP BibTeX RDF
42	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
41	Rosângela A. D. Penteado, Fernão Stella R. Germano, Paulo César Masiero	An Overall Process Based on Fusion to Reverse Engineer Legacy Code.	WCRE	1996	DBLP DOI BibTeX RDF	legacy code reverse engineering, object-oriented systems development, Fusion/RE, statechart editing, statechart simulation, application documentation, conversion effort, reverse engineering, metrics, heuristics, tools, fusion method, data reverse engineering
36	Rik Eshuis	Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.	FM	2009	DBLP DOI BibTeX RDF
36	Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee	A Systematic Approach for Integrating Fault Trees into System Statecharts.	COMPSAC	2008	DBLP DOI BibTeX RDF
36	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
36	Albert C. Esterline, Chafic BouSaba, Abdollah Homaifar, Dan Rodgers	A framework for learning coordinated behavior.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	coordinated behavior, parts/whole statecharts, semantics, XCS
36	Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng	Verifying Compositional Designs for Scenario-Based Timing Specifications.	ISORC	2004	DBLP DOI BibTeX RDF
36	Juan de Lara, Esther Guerra, Hans Vangheluwe	Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.	AGTIVE	2003	DBLP DOI BibTeX RDF	Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting
36	Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: Extended Statecharts to Support Hypermedia Specification.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Hypermedia applications, hypercharts, semantics, statecharts, requirement specification
36	C. R. Nobe, William E. Warner	Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts.	ICRE	1996	DBLP DOI BibTeX RDF
36	Adriano Peron	Statecharts, Transition Structures and Transformations.	TAPSOFT	1995	DBLP DOI BibTeX RDF
33	José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Using Controlled Experiments for Validating UML Statechart Diagrams Measures.	IWSM/Mensura	2007	DBLP DOI BibTeX RDF
33	Jeanette Heidenberg, Andreas Nåls, Ivan Porres	Statechart Features and Pre-Release Defects in Software Maintenance.	VL/HCC	2007	DBLP DOI BibTeX RDF
33	Lionel C. Briand, Yvan Labiche, Q. Lin	Improving Statechart Testing Criteria Using Data Flow Information.	ISSRE	2005	DBLP DOI BibTeX RDF
33	Vitus S. W. Lam, Julian A. Padget	Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.	ECBS	2004	DBLP DOI BibTeX RDF
33	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
33	Lionel C. Briand, Yvan Labiche, Yihong Wang	Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.	ICSE	2004	DBLP DOI BibTeX RDF
33	Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu	From a B Specification to UML StateChart Diagrams.	ICFEM	2002	DBLP DOI BibTeX RDF
33	Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline	A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior.	FAABS	2002	DBLP DOI BibTeX RDF
33	Maria Cristina Ferreira de Oliveira, Marcelo Augusto Santos Turine, Paulo César Masiero	A statechart-based model for hypermedia applications.	ACM Trans. Inf. Syst.	2001	DBLP DOI BibTeX RDF	HMBS, hypermedia specification, statecharts, navigational model, browsing semantics
33	Alexander Egyed, David S. Wile	Statechart Simulator for Modeling Architectural Dynamics.	WICSA	2001	DBLP DOI BibTeX RDF
33	Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang	Modeling Web Navigation by Statechart.	COMPSAC	2000	DBLP DOI BibTeX RDF
32	K. R. Jayaram, Aditya P. Mathur	On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.	COMPSAC	2008	DBLP DOI BibTeX RDF	TLS protocol, MC/DC coverage, Security protocol, Statechart, Security Vulnerability
32	German Shegalov, Gerhard Weikum	Formal Verification of Web Service Interaction Contracts.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	model checking, formal methods, recovery, statechart
32	Gregor Engels, Reiko Heckel, Stefan Sauer 0001	UML - A Universal Modeling Language?	ICATPN	2000	DBLP DOI BibTeX RDF	UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram
32	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
32	Thierry Villemur, Khalil Drira, Michel Diaz	Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform.	FTDCS	1999	DBLP DOI BibTeX RDF	Cooperative groups modeling, membership algorithms, JAVA, statechart, actors, formal design
32	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
24	Moria Abadi, Yishai A. Feldman	Refactoring of Statecharts.	NGITS	2009	DBLP DOI BibTeX RDF
24	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
24	Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey	Unified use case statecharts: case studies.	Requir. Eng.	2007	DBLP DOI BibTeX RDF
24	Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu	A Supervisor of Traffic Light Systems Using Statecharts.	ICNSC	2007	DBLP DOI BibTeX RDF
24	Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. Keller	Automated Prototyping of User Interfaces Based on UML Scenarios.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	scenario engineering, Unified Modeling Language, user interface prototyping
24	Sara Van Langenhove, Albert Hoogewijs	SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.	WADT	2006	DBLP DOI BibTeX RDF
24	Lionel C. Briand, Yvan Labiche, Jim Cui	Automated support for deriving test requirements from UML statecharts.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF
24	Stefanie Rinderle, Morad Benyoucef	Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach.	WISE	2005	DBLP DOI BibTeX RDF
24	Michelle L. Crane, Jürgen Dingel	UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.	MoDELS	2005	DBLP DOI BibTeX RDF
24	Tim Schattkowsky, Wolfgang Müller 0003	Transformation of UML State Machines for Direct Execution.	VL/HCC	2005	DBLP DOI BibTeX RDF
24	Günter Graw, Peter Herrmann	Generation and Enactment of Controllers for Business Architectures Using MDA.	EWSA	2004	DBLP DOI BibTeX RDF
24	Lionel C. Briand, Jim Cui, Yvan Labiche	Towards Automated Support for Deriving Test Data from UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
24	Yan Jin, Robert Esser, Jörn W. Janneck	Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.	Diagrams	2002	DBLP DOI BibTeX RDF
24	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
24	Tom Holvoet, Elke Steegmans	Application-Specific Reuse of Agent Roles.	SELMAS	2002	DBLP DOI BibTeX RDF
24	Gábor Huszerl, István Majzik	Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.	EUROMICRO	2001	DBLP DOI BibTeX RDF
24	Rodolfo Castelló, Rym Mili, Ioannis G. Tollis	An Algorithmic Framework for Visualizing Statecharts.	GD	2000	DBLP DOI BibTeX RDF
24	Kevin Lano, David Clark 0001, Kelly Androutsopoulos, Pauline Kan	Invariant-Based Synthesis of Fault-Tolerant Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
24	Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar	A Translation of Statecharts to Esterel.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Luca Pazzi	Extending statecharts for representing parts and wholes.	EUROMICRO	1997	DBLP DOI BibTeX RDF	state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts
24	Nancy A. Day	An example of linking formal methods with case tools: a model checker for statecharts.	CASCON	1993	DBLP BibTeX RDF
21	Clyde Rempillo, Sadaf Mustafiz	STL4IoT: A Statechart Template Library for IoT System Design.	CoRR	2023	DBLP DOI BibTeX RDF
21	Clyde Rempillo, Sadaf Mustafiz	A Statechart Template Library for Iot System Modelling.	ANNSIM	2023	DBLP BibTeX RDF
21	Venkat Pankaj Lahari Molleti, Rama Sudha Kashibhatla, Vijaya Santhi Rajamahanthi	MPPT Control of Photovoltaic Systems Using Statechart With Abstraction and Its Comparison With Fuzzy Logic.	Int. J. Syst. Dyn. Appl.	2022	DBLP DOI BibTeX RDF
21	Ali Hanzala Khan, Ivan Porres	Consistency of UML class, object and statechart diagrams using ontology reasoners.	CoRR	2022	DBLP DOI BibTeX RDF
21	Mourad Kezai, Abdallah Khababa	Generating Maude Specifications from M-UML Statechart Diagrams.	J. Adv. Comput. Intell. Intell. Informatics	2022	DBLP DOI BibTeX RDF
21	Mehmet Aktas, Tolga Ovatman	UML Statechart Anti-Patterns.	COMPSAC	2022	DBLP DOI BibTeX RDF
21	Alexandre Decan, Tom Mens	Sismic - A Python library for statechart execution and testing.	SoftwareX	2020	DBLP DOI BibTeX RDF
21	Marawan Azmy Hebaish, Mohamed A. Olwan, Mostafa Ayman, AbdELRahman A. Genidy, William Habib, Nouran Adel Hassan, Omar Tarek Seada, Elsayed I. Morgan	Adoption of Hybrid StateChart Principle in a Hierarchical Formation Architecture for Configurable Vehicles.	NILES	2020	DBLP DOI BibTeX RDF
21	Jiajing Wang, You Tang, Helong Yu, Wei Huang	Method of UML Statechart Checking Based on Explicit Model Checking.	ATCI	2020	DBLP DOI BibTeX RDF
21	Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis	A method for testing and validating executable statechart models.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
21	M. V. Pankaj Lahari, K. Rama Sudha, R. Vijaya Santhi	Statechart Models of MPPT Controller for a Photo-Voltaic System in Co-Simulation Environment.	TENCON	2019	DBLP DOI BibTeX RDF
21	Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand	The Statechart Workbench: Enabling scalable software event log analysis using process mining.	SANER	2018	DBLP DOI BibTeX RDF