Search results for "Statechart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Marcelo Augusto Santos Turine, Maria Cristina Ferreira de Oliveira, Paulo César Masiero	HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing.	Multim. Tools Appl.	1999	DBLP DOI BibTeX RDF
21	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
21	I. D. Bates, E. Graeme Chester, David J. Kinniment	A statechart based HW/SW codesign system.	CODES	1999	DBLP DOI BibTeX RDF	CFSMs, POLIS, statecharts
21	S. Hadji, Joël Favrel	Statechart and automations in the supervisory robust control.	APMS	1999	DBLP BibTeX RDF
21	Diego Latella, István Majzik, Mieke Massink	Towards a Formal Operational Semantics of UML Statechart Diagrams.	FMOODS	1999	DBLP BibTeX RDF
21	Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. Keller	Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams.	UML	1998	DBLP DOI BibTeX RDF
21	Claude Ackad	Statechart-Based HW/SW-Codesign of a Multi-FPGA-Board and a Microprocessor.	FPL	1998	DBLP DOI BibTeX RDF
21	Claude Ackad	Software Synthesis from Statechart Models for Real Time Systems.	DIPES	1998	DBLP BibTeX RDF
21	Rakefet Kol, Ran Ginosar, Goel Samuel	Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems.	ASYNC	1996	DBLP DOI BibTeX RDF
21	Christian Veith, Klaus Buchenrieder, Andreas Pyttel	Mapping statechart models onto an FPGA-based ASIP architecture.	EURO-DAC	1996	DBLP DOI BibTeX RDF
21	Arthur Allen, Dennis de Champeaux	Extending the Statechart Formalism: Event Scheduling & Disposition.	OOPSLA	1995	DBLP DOI BibTeX RDF
21	Y. Maillot, S. Wendling	A Method for Translating Automatically Statechart Models into VHDL Code.	EUROSIM	1995	DBLP BibTeX RDF
21	Thomas A. Mück	Design Support for Initiatives and Policies in Conceptual Models of Information Systems - A Statechart Approach.	HICSS (4)	1994	DBLP BibTeX RDF
21	Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan	Completeness in Statechart Models for Reactive Systems.	SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems	1993	DBLP BibTeX RDF
20	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
20	Lirong Qiu, Liang Chang 0003, Fen Lin, Zhongzhi Shi	Context optimization of AI planning for semantic Web services composition.	Serv. Oriented Comput. Appl.	2007	DBLP DOI BibTeX RDF	SOA, Context-aware, Statechart, AI planning
20	Boualem Benatallah, Marlon Dumas, Quan Z. Sheng	Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services.	Distributed Parallel Databases	2005	DBLP DOI BibTeX RDF	dynamic provider selection, peer-to-peer interaction, Web service, Web service composition, statechart, Web service orchestration
20	Vugranam C. Sreedhar, Maria-Cristina V. Marinescu	From statecharts to ESP: programming with events, states and predicates for embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	multiple classification, statechart, predicate dispatch
20	Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán	Formalization of UML state machines using temporal logic.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, specification, formal semantics, interval temporal logic, Statechart diagrams
20	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
20	David Harel, Gregory Yashchin	An algorithm for blob hierarchy layout.	Vis. Comput.	2002	DBLP DOI BibTeX RDF	Higraph, Hierarchy, Layout, Statechart, Aesthetics
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	David Harel, Amnon Naamad	The STATEMATE Semantics of Statecharts.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	semantics, statechart, reactive system, behavioral modeling, STATEMATE
12	Mathew Hall	Search based hierarchy generation for reverse engineered state machines.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
12	Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui	Transforming UML models to colored petri nets models using graph grammars.	ISCC	2009	DBLP DOI BibTeX RDF
12	Jirí Hýsek, Milan Ceska 0001, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
12	Hywel R. Dunn-Davies, Jim Cunningham	Verifying realizability and reachability in recursive interaction protocol specifications.	AAMAS (2)	2009	DBLP BibTeX RDF	propositional statecharts, verification, interaction protocols
12	Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo	Implementing Reactive Systems with UML State Machines and Ada 2005.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005
12	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
12	Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel	Toward Verified Biological Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, verification, statecharts, C. elegans
12	Jongmyung Choi, Chae-Woo Yoo	Connect with Things through Instant Messaging.	IOT	2008	DBLP DOI BibTeX RDF	Human-Thing Communication, Thing-Thing Communication, Instant Messaging
12	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
12	Mikhail Auguston, Mark B. Trakhtenbrot	Synthesis of Monitors for Real-Time Analysis of Reactive Systems.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
12	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
12	Jenny Brusk	Implementing Social Filter Rules in a Dialogue Manager Using Statecharts.	IVA	2008	DBLP DOI BibTeX RDF
12	Hendrik Voigt, Thomas Ruhroth	A Quality Circle Tool for Software Models.	ER	2008	DBLP DOI BibTeX RDF
12	Jun Kong, Dianxiang Xu	A UML-Based Framework for Design and Analysis of Dependable Software.	COMPSAC	2008	DBLP DOI BibTeX RDF
12	Yang Su, Xuan-Wu Zhou, Min-Qing Zhang	Research on Modeling Traversing Features in Concurrent Software System.	CSSE (2)	2008	DBLP DOI BibTeX RDF
12	Enrico Biermann, Claudia Ermel, Gabriele Taentzer	Precise Semantics of EMF Model Transformations by Graph Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF	Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development
12	Alexander Pretschner, Wolfgang Prenninger	Computing refactorings of state machines.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
12	Michelle L. Crane, Jürgen Dingel	UML vs. classical vs. rhapsody statecharts: not all models are created equal.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
12	Fintan Culwin	Learning beans: design, implementation & evaluation.	BCS HCI (2)	2007	DBLP DOI BibTeX RDF	learning activity management systems (lams), learning beans, learning frameworks, usability, learning objects
12	Stefan Sauer 0001, Gregor Engels	Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder.	HCI (5)	2007	DBLP DOI BibTeX RDF	prototype generation, capture-replay, user interface, Model-driven development, meta-design
12	Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb	Implementation of a Finite State Machine with Active Libraries in C++.	GTTSE	2007	DBLP DOI BibTeX RDF
12	Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
12	Fei He 0001, Luciano Baresi, Carlo Ghezzi, Paola Spoletini	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.	FORTE	2007	DBLP DOI BibTeX RDF
12	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
12	Rik Eshuis	Symbolic model checking of UML activity diagrams.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	Model checking, Unified Modeling Language, activity diagrams
12	Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally	Modularity and Composition in Propositional Statecharts.	Diagrams	2006	DBLP DOI BibTeX RDF
12	Steffen Prochnow, Reinhard von Hanxleden	Comfortable modeling of complex reactive systems.	DATE	2006	DBLP DOI BibTeX RDF
12	Zoltán Micskei, István Majzik	Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
12	Michael Breen	All Things Considered: Inspecting Statecharts by Model Transformation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
12	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
12	Björn Hartmann, Scott R. Klemmer, Michael S. Bernstein, Leith Abdulla, Brandon Burr, Avi Robinson-Mosher, Jennifer Gee	Reflective physical prototyping through integrated design, test, and analysis.	UIST	2006	DBLP DOI BibTeX RDF	integrating physical & digital, prototyping, toolkits, design tools, information appliances, design thinking
12	Fredrik Kronlid	Turn Taking for Artificial Conversational Agents.	CIA	2006	DBLP DOI BibTeX RDF
12	Sahobimaholy Ravelomanana, Silvia C. S. Bianchi, Chibili Joumaa, Michelle Sibilla	A Contextual GRID Monitoring by a Model Driven Approach.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
12	Leif Geiger, Albert Zündorf	Story driven testing - SDT.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	test-first principle, code generation, scenarios
12	Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc	An Experimental Investigation of Formality in UML-Based Development.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Comprehension of software models, software engineering experimentation, UML, OCL
12	Alexander Pretschner, Wolfgang Prenninger	Computing Refactorings of Behavior Models.	MoDELS	2005	DBLP DOI BibTeX RDF
12	Tetsuro Katayama, Yusuke Yabuya	Proposal of a Method to Support Testing for Java Programs with UML.	APSEC	2005	DBLP DOI BibTeX RDF	test items, Java, Unified Modeling Language (UML), software testing, functional testing
12	Yijun Yu, Yiqiao Wang 0001, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio César Sampaio do Prado Leite	Reverse Engineering Goal Models from Legacy Code.	RE	2005	DBLP DOI BibTeX RDF
12	Albert C. Esterline, Chafic BouSaba, Barbara Pioro, Abdollah Homaifar	Hierarchies, Holons, and Agent Coordination.	WRAC	2005	DBLP DOI BibTeX RDF
12	Juan de Lara, Gabriele Taentzer	Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.	ACSD	2005	DBLP DOI BibTeX RDF	Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation
12	Leif Geiger, Albert Zündorf	Developing Tools with Fujaba XProM.	GTTSE	2005	DBLP DOI BibTeX RDF
12	Holger Hermanns, David N. Jansen, Yaroslav S. Usenko	From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.	WOSP	2005	DBLP DOI BibTeX RDF	European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems
12	Mark B. Trakhtenbrot	Use of Verification for Testing and Debugging of Complex Reactive Systems.	SEFM	2005	DBLP DOI BibTeX RDF
12	David N. Jansen, Holger Hermanns	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?	QEST	2004	DBLP DOI BibTeX RDF
12	Pierre Kelsen	A Simple Static Model for Understanding the Dynamic Behavior of Programs.	IWPC	2004	DBLP DOI BibTeX RDF
12	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
12	Danny Weyns, Elke Steegmans, Tom Holvoet	Integrating Free-Flow Architectures with Role Models Based on Statecharts.	SELMAS	2004	DBLP DOI BibTeX RDF
12	Thouraya Bouabana-Tebibel, Mounira Belmesk	Formalization of UML object dynamics and behavior.	SMC (5)	2004	DBLP DOI BibTeX RDF
12	Doron Drusinsky, Man-tak Shing	TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
12	Karsten Diethers, Michaela Huhn	Vooduu: Verification of Object-Oriented Designs Using UPPAAL.	TACAS	2004	DBLP DOI BibTeX RDF
12	Jari Peltonen, Samuel Lahtinen, Kai Koskimies	A Specification Technique for Model Based Derivation of Speech Interfaces.	VL/HCC	2004	DBLP DOI BibTeX RDF
12	Juan-Pablo López-Grao, José Merseguer, Javier Campos	From UML activity diagrams to Stochastic Petri nets: application to software performance engineering.	WOSP	2004	DBLP DOI BibTeX RDF	UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets
12	Lionel C. Briand, Yvan Labiche, H.-D. Yan, Massimiliano Di Penta	A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development.	ICSM	2004	DBLP DOI BibTeX RDF
12	Vitus S. W. Lam, Julian A. Padget	Formal Specification and Verification of the SET/A Protocol with an Integrated Approach.	CEC	2004	DBLP DOI BibTeX RDF
12	Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande Berbers	A Design Process for Adaptive Behavior of Situated Agents.	AOSE	2004	DBLP DOI BibTeX RDF
12	Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm	A Semantics for Distributed Execution of Statemate.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Distributed systems, Semantics, Statemate
12	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
12	Franck Barbier, Nicolas Belloir	Component Behavior Prediction and Monitoring through Built-In Test.	ECBS	2003	DBLP DOI BibTeX RDF
12	Andrzej Wasowski	On efficient program synthesis from statecharts.	LCTES	2003	DBLP DOI BibTeX RDF	embedded systems, statecharts, program synthesis, automatic code generation
12	Toyoaki Tomura, Satoshi Kanai, Takeshi Kishinami	A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Pattern.	ISORC	2003	DBLP DOI BibTeX RDF
12	Nguyen Truong Thang, Takuya Katayama	Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects.	IWPSE	2003	DBLP DOI BibTeX RDF
12	R. Geoff Dromey	Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
12	Subash Shankar, Sinan Asa	Formal Semantics of UML with Real-Time Constructs.	UML	2003	DBLP DOI BibTeX RDF
12	Ye Wu, Mei-Hwa Chen, Jeff Offutt	UML-Based Integration Testing for Component-Based Software.	ICCBSS	2003	DBLP DOI BibTeX RDF
12	Jan Murray	Specifying Agent Behaviors with UML Statecharts and StatEdit.	RoboCup	2003	DBLP DOI BibTeX RDF
12	Diego Latella, Mieke Massink	On Mobility Extensions of UML Statecharts. A Pragmatic Approach.	FMOODS	2003	DBLP DOI BibTeX RDF
12	Ping Jiang 0001, Quentin Mair, Julian Newman	Using UML to Design Distributed Collaborative Workflows: from UML to XPDL.	WETICE	2003	DBLP DOI BibTeX RDF
12	Doug Goldson, Greg Reeve	Semantic Properties of mu-Charts.	SEFM	2003	DBLP DOI BibTeX RDF
12	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
12	Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang	XML-Based Static Type Checking and Dynamic Visualization for TCOZ.	ICFEM	2002	DBLP DOI BibTeX RDF	TCOZ tool support, XML/XSL, UML/XMI
12	Huaikou Miao, Ling Liu, Li Li	Formalizing UML Models with Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
12	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
12	Albert C. Esterline	Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.	FAABS	2002	DBLP DOI BibTeX RDF
12	João Araújo 0001, Jonathan Whittle 0001, José Ambrosio Toval Álvarez, Robert B. France	Integration and Transformation of UML Models.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF
12	István Majzik, Gábor Huszerl	Towards Dependability Modeling of FT-CORBA Architectures.	EDCC	2002	DBLP DOI BibTeX RDF
12	Stephan Flake, Wolfgang Müller 0003	An OCL Extension for Real-Time Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
12	Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino	The Use of the GXL Approach for Supporting Visual Language Specification and Interchanging.	HCC	2002	DBLP DOI BibTeX RDF	Visual Programming Environments Generators, UML, Visual Languages, Statecharts, GXL