Search results for "UML-statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
107	Sun Meng, Zhang Naixiao, Luís Soares Barbosa	On Semantics and Refinement of UML Statecharts: A Coalgebraic View.	SEFM	2004	DBLP DOI BibTeX RDF	Semantics, Refinement, Statechart, Coalgebra
106	Liuying Li, Zhichang Qi	Test Selection from UML Statecharts.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Wp-method, concurrency, test case selection, UML Statecharts
106	Wei Dong 0006, Ji Wang 0001, Xuan Qi, Zhichang Qi	Model Checking UML Statecharts.	APSEC	2001	DBLP DOI BibTeX RDF
103	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
101	Yan Jin, Robert Esser, Jörn W. Janneck	A method for describing the syntax and semantics of UML statecharts.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
101	Zhaoxia Hu, Sol M. Shatz	Explicit modeling of semantics associated with composite states in UML statecharts.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Composite states, State-transition notation, UML, Petri nets, Statecharts
96	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
82	Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing	Mobile UML Statecharts with Localities.	Global Computing	2004	DBLP DOI BibTeX RDF
76	Xuede Zhan, Huaikou Miao	An Approach to Formalizing the Semantics of UML Statecharts.	ER	2004	DBLP DOI BibTeX RDF
74	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
71	Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam	Verification Framework for Detecting Safety Violations in UML Statecharts.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Model Checking, Verification, UML Statecharts
71	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
71	Michael von der Beeck	Formalization of UML-Statecharts.	UML	2001	DBLP DOI BibTeX RDF
67	Shuhao Li, Ji Wang 0001, Zhi-Chang Qi	Property-Oriented Test Generation from UML Statecharts.	ASE	2004	DBLP DOI BibTeX RDF
63	Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
61	Dániel Varró	A Formal Semantics of UML Statecharts by Model Transition Systems.	ICGT	2002	DBLP DOI BibTeX RDF
59	Jean Hartmann, Claudio Imoberdorf, Michael Meisinger	UML-Based integration testing.	ISSTA	2000	DBLP DOI BibTeX RDF	COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution
57	Hallvard Trætteberg	Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach.	DSV-IS	2003	DBLP DOI BibTeX RDF	UML, Statecharts, user interface model, dialog model
57	Ji Wang 0001, Wei Dong 0006, Zhichang Qi	Slicing Hierarchical Automata for Model Checking UML Statecharts.	ICFEM	2002	DBLP DOI BibTeX RDF
57	Gihwon Kwon	Rewrite rules and Operational Semantics for Model Checking UML Statecharts.	UML	2000	DBLP DOI BibTeX RDF
54	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
52	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
52	Diego Latella, Mieke Massink	On Mobility Extensions of UML Statecharts. A Pragmatic Approach.	FMOODS	2003	DBLP DOI BibTeX RDF
51	Youcef Hammal	A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.	FORTE	2005	DBLP DOI BibTeX RDF
51	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A QoS-Oriented Extension of UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
49	Nawal Addouche, Christian Antoine, Jacky Montmain	Methodology for UML Modeling and Formal Verification of Real-Time Systems.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
49	Nawal Addouche, Christian Antoine, Jacky Montmain	Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
47	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
47	Ariel Gonzalez, Carlos Luna 0001	Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.	SCCC	2008	DBLP DOI BibTeX RDF
47	Alexandre David, M. Oliver Möller, Wang Yi 0001	Formal Verification of UML Statecharts with Real-Time Extensions.	FASE	2002	DBLP DOI BibTeX RDF
47	Zsigmond Pap, István Majzik, András Pataricza	Checking General Safety Criteria on UML Statecharts.	SAFECOMP	2001	DBLP DOI BibTeX RDF
45	Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis	Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models.	HASE	1999	DBLP DOI BibTeX RDF	stochasic reward nets, Embedded systems, statecharts, dependability analysis
42	Stefania Gnesi, Diego Latella, Mieke Massink	Formal Test-Case Generation for UML Statecharts.	ICECCS	2004	DBLP DOI BibTeX RDF
42	Jan Murray	Specifying Agent Behaviors with UML Statecharts and StatEdit.	RoboCup	2003	DBLP DOI BibTeX RDF
42	Toshiaki Arai, Frieder Stolzenburg	Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.	AAMAS	2002	DBLP DOI BibTeX RDF	design implementation, methodologies for specification, robotic soccer (RoboCup), validation standards for agents and multiagent systems, unified modeling language, multiagent systems, statecharts, agent-based software engineering, intelligent manufacturing
39	Karsten Diethers, Michaela Huhn	Vooduu: Verification of Object-Oriented Designs Using UPPAAL.	TACAS	2004	DBLP DOI BibTeX RDF
35	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Comparison of Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
34	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
34	Martin Gogolla, Mark Richters	Development of UML Descriptions with USE.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
30	Yang Su, Xuan-Wu Zhou, Min-Qing Zhang	Research on Modeling Traversing Features in Concurrent Software System.	CSSE (2)	2008	DBLP DOI BibTeX RDF
27	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
27	Cristinel Ababei, Susan C. Schneider	Hardware Description of Event-driven Systems by Translation of UML Statecharts to VHDL.	eIT	2023	DBLP DOI BibTeX RDF
27	Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario	Compositional Analysis of Hierarchical UML Statecharts.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
27	Feng Sheng, Liang Dou, Zongyuan Yang	Mechanized semantics and refinement of UML-Statecharts.	Frontiers Inf. Technol. Electron. Eng.	2017	DBLP DOI BibTeX RDF
27	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
27	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
27	Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui	From UML Statecharts to LOTOS Expressions Using Graph Transformation.	ICIST	2015	DBLP DOI BibTeX RDF
27	Valentin Chimisliu, Franz Wotawa	Using Dependency Relations to Improve Test Case Generation from UML Statecharts.	COMPSAC Workshops	2013	DBLP DOI BibTeX RDF
27	Valentin Chimisliu, Franz Wotawa	Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies.	QSIC	2013	DBLP DOI BibTeX RDF
27	Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss	DWARF-driven Equivalence Checking of UML Statecharts and Software Components.	Softwaretechnik-Trends	2011	DBLP BibTeX RDF
27	Christian Ammann	Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers.	Softwaretechnik-Trends	2011	DBLP BibTeX RDF
27	Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe	Modelling the real-time behaviour of machine controls using UML statecharts.	ETFA	2010	DBLP DOI BibTeX RDF
27	Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl	From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation.	QSIC	2009	DBLP DOI BibTeX RDF	test case generation, LOTOS, UML Statechart
27	Gerald Lüttgen	Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages.	Softw. Test. Verification Reliab.	2008	DBLP DOI BibTeX RDF
27	Xuede Zhan	A Formal Testing Framework for UML Statecharts.	SNPD (3)	2007	DBLP DOI BibTeX RDF
27	Mieke Massink, Diego Latella, Stefania Gnesi	On testing UML statecharts.	J. Log. Algebraic Methods Program.	2006	DBLP DOI BibTeX RDF
27	Doron Drusinsky	Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking.		2006	RDF
27	Lionel C. Briand, Yvan Labiche, Jim Cui	Automated support for deriving test requirements from UML statecharts.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF
27	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
27	Zhaoxia Hu, Sol M. Shatz	A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study.	Software Engineering Research and Practice	2005	DBLP BibTeX RDF
27	Tilo Mücke, Michaela Huhn	Generation of Optimized Testsuites for UML Statecharts with Time.	TestCom	2004	DBLP DOI BibTeX RDF
27	Gergely Pintér, István Majzik	Modeling and Analysis of Exception Handling by Using UML Statecharts.	FIDJI	2004	DBLP DOI BibTeX RDF	model checking, UML, formal methods, Exception handling
27	Iftikhar Azim Niaz, Jiro Tanaka	Mapping UML statecharts to java code.	IASTED Conf. on Software Engineering	2004	DBLP BibTeX RDF
27	Robi Malik, Reinhard Mühlfeld	A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.	J. Univers. Comput. Sci.	2003	DBLP DOI BibTeX RDF
27	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
27	Lionel C. Briand, Jim Cui, Yvan Labiche	Towards Automated Support for Deriving Test Data from UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
27	Grzegorz Labiak	From UML statecharts to FPGA - the HiCoS approach.	FDL	2003	DBLP BibTeX RDF
27	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
27	Jan Jürjens	A UML statecharts semantics with message-passing.	SAC	2002	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications
27	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
27	Issa Traoré	An Outline of PVS Semantics for UML Statecharts.	J. Univers. Comput. Sci.	2000	DBLP BibTeX RDF
27	Rik Eshuis, Roel J. Wieringa	Requirements Level Semantics for UML Statecharts.	FMOODS	2000	DBLP DOI BibTeX RDF
27	Franz Matejka, Andreas Schwald	Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts.	GI Jahrestagung	1998	DBLP DOI BibTeX RDF
25	Frieder Stolzenburg, Toshiaki Arai	From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.	MATES	2003	DBLP DOI BibTeX RDF
25	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
25	Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche	Assessing and Improving State-Based Class Testing: A Series of Experiments.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	testing experimentation, category partition, UML statecharts, State-based testing
24	Simon Pickin 0001, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon	Test Synthesis from UML Models of Distributed Software.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Formal methods, testing tools, object-oriented design methods
20	Jun Kong, Dianxiang Xu	A UML-Based Framework for Design and Analysis of Dependable Software.	COMPSAC	2008	DBLP DOI BibTeX RDF
15	Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi	FSMC+, a tool for the generation of Java code from statecharts.	PPPJ	2007	DBLP DOI BibTeX RDF	evoting, model checking, code generation, statecharts
15	Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg	Model Checking Hybrid Multiagent Systems for the RoboCup.	RoboCup	2007	DBLP DOI BibTeX RDF
15	Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg	Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.	PROMAS	2007	DBLP DOI BibTeX RDF
15	Hywel R. Dunn-Davies, Jim Cunningham	Deriving agent-centred representations of protocols described using propositional statecharts.	AAMAS	2007	DBLP DOI BibTeX RDF	propositional statecharts, statecharts, interaction protocols
15	Kai Lampka, Markus Siegle	Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution
15	Arastoo Barji, Nils H. Hagge, Bernardo Wagner	Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-time Control Applications.	ETFA	2006	DBLP DOI BibTeX RDF
15	Claudia Täubner, Till Merker	Discrete Modelling of the Ethylene-Pathway.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
15	Lionel C. Briand, Yvan Labiche, Q. Lin	Improving Statechart Testing Criteria Using Data Flow Information.	ISSRE	2005	DBLP DOI BibTeX RDF
15	Andrzej Wasowski	Flattening statecharts without explosions.	LCTES	2004	DBLP DOI BibTeX RDF	semantics, embedded, statecharts, program synthesis, automatic code generation
15	Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche	A Case Study Using the Round-Trip Strategy for State-Based Class Testing.	ISSRE	2002	DBLP DOI BibTeX RDF
15	Jan Murray	Specifying agents with UML in robotic soccer.	AAMAS	2002	DBLP DOI BibTeX RDF	unified modeling language (UML), specification, multiagent systems, statecharts, robotic soccer, RoboCup
15	Nanette Bauer, Ralf Huuck	Towards Automatic Verification of Embedded Control Software.	APAQS	2001	DBLP DOI BibTeX RDF