Search results for "statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Franck Barbier	Supporting the UML State Machine Diagramsat Runtime.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	UML, Statecharts, model executability
16	Il-Yeol Song, Ki Jung Lee	Developing State Diagrams Using a State Specialization Technique.	ER Workshops	2007	DBLP DOI BibTeX RDF	State Specialization, State Identification Methods, Unified Modeling Language, Statecharts, State Diagram
16	Giancarlo Fortino, Alfredo Garro, Wilma Russo	From modeling to enactment of distributed workflows: an agent-based approach.	SAC	2006	DBLP DOI BibTeX RDF	distilled statecharts, multi agent systems, workflow patterns
16	Martin Mutz	Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive
16	Aline Lúcia Baroni	Quantitative assessment of UML dynamic models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics
16	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
16	Jie Xing, Munindar P. Singh	Engineering commitment-based multiagent systems: a temporal logic approach.	AAMAS	2003	DBLP DOI BibTeX RDF	operational semantics, statecharts, commitments, behavior models
16	Giancarlo Fortino, Franco Frattolillo, Wilma Russo, Eugenio Zimeo	Mobile Active Object for Highly Dynamic Distributed Computing.	IPDPS	2002	DBLP DOI BibTeX RDF	Multi paradigm, Java, Middleware, Statecharts, Code mobility
16	Rajeev Alur, Mihalis Yannakakis	Model checking of hierarchical state machines.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	model checking, temporal logic, statecharts, Hierarchical state machines
16	Jie Xing, Munindar P. Singh	Formalization of commitment-based agent interaction.	SAC	2001	DBLP DOI BibTeX RDF	temporal logic, multi agent, operational semantics, statecharts, commitments
16	Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub	A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications.	ISSRE	2001	DBLP DOI BibTeX RDF	Verification an Validation, UML and statecharts, Fault Model, Fault Injection
16	Yolanda González Arechavala, Fernando de Cuadra García	MODUS: Integrated Behavior-Oriented Model for Rapid Prototyping.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	software engineering, real-time systems, rapid prototyping, statecharts, safety-critical systems, CASE tools, integrated development environment, software development methods
16	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
16	Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	Integrating UML diagrams for production control systems.	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams
16	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
16	William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
16	Thomas Müller-Wipperfürth, Richard Hagelauer	Graphical Entry of FSMDs Revisited: Putting Graphical Models on a Solid Base.	DATE	1998	DBLP DOI BibTeX RDF	FSMD, VHDL, Statecharts, Graphical Modelling
16	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
16	Jin Ma, Sheng Yu 0001	Practical Rules for Reduction on the Number of States of a State Diagram.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	UML, events, statecharts, finite automata, Object-oriented modeling, states, conditions, OMT
16	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
16	Amir Pnueli	How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice
16	Jonah Z. Lavi, Michael Winokur	Development of a Method Driven CAS2E Tool.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF	ECSAM, Embedded Computer Systems, Multi-systems, Design, Specification, Requirements, Software, Dynamic, Systems, Statecharts, Reactive Systems, CASE, Executable specifications, Computer Based Systems Engineering, Event Driven Systems, Statemate
16	Cornelis Huizing, Rob Gerth	Semantics of Reactive Systems in Abstract Time.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-time, semantics, specification, Statecharts, reactive systems
10	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer 0001, Bernd Becker 0001	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
10	Denis Dubé, Jacob Beard, Hans Vangheluwe	Rapid Development of Scoped User Interfaces.	HCI (1)	2009	DBLP DOI BibTeX RDF
10	Edgar G. Daylight, Sandeep K. Shukla	On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.	FM	2009	DBLP DOI BibTeX RDF	adaptability, non-functional requirements, formal specification languages, local reasoning
10	Armin Heindl, Gilles Pokam	Modeling software transactional memory with AnyLogic.	SimuTools	2009	DBLP DOI BibTeX RDF
10	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
10	Dirk Seifert	Conformance Testing Based on UML State Machines.	ICFEM	2008	DBLP DOI BibTeX RDF
10	Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer	Model Based Importance Analysis for Minimal Cut Sets.	ATVA	2008	DBLP DOI BibTeX RDF
10	Jun Kong, Dianxiang Xu	A UML-Based Framework for Design and Analysis of Dependable Software.	COMPSAC	2008	DBLP DOI BibTeX RDF
10	Nikolaos I. Spanoudakis, Pavlos Moraitis	An Agent Modeling Language Implementing Protocols through Capabilities.	IAT	2008	DBLP DOI BibTeX RDF
10	Nikolaos I. Spanoudakis, Pavlos Moraitis	The Agent Modeling Language (AMOLA).	AIMSA	2008	DBLP DOI BibTeX RDF	Tools and methodologies for multi-agent software systems, Multi-agent systems
10	Shahar Maoz	Model-Based Traces.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
10	Youcef Hammal	A modular state exploration and compatibility checking of UML dynamic diagrams.	AICCSA	2008	DBLP DOI BibTeX RDF
10	Grégoire Hamon, John M. Rushby	An operational semantics for Stateflow.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
10	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
10	Ian Toyn, Andy Galloway	Formal Validation of Hierarchical State Machines against Expectations.	ASWEC	2007	DBLP DOI BibTeX RDF
10	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
10	Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer	Checking and Enforcement of Modeling Guidelines with Graph Transformations.	AGTIVE	2007	DBLP DOI BibTeX RDF
10	Ryan Voigt, Kareem Fazal, Hassan Reza	Specification-based Testing Method Using Testing Flow Graphs.	ICSEA	2007	DBLP DOI BibTeX RDF
10	Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg	Model Checking Hybrid Multiagent Systems for the RoboCup.	RoboCup	2007	DBLP DOI BibTeX RDF
10	Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg	Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.	PROMAS	2007	DBLP DOI BibTeX RDF
10	Herbert Prähofer, Dominik Hurnaus, Christian Wirth 0002, Hanspeter Mössenböck	The Domain-Specific Language Monaco and its Visual Interactive Programming Environment.	VL/HCC	2007	DBLP DOI BibTeX RDF	Automation control, domain-specific language, visual programming, visual language, end-user programming
10	Jeanette Heidenberg, Andreas Nåls, Ivan Porres	Statechart Features and Pre-Release Defects in Software Maintenance.	VL/HCC	2007	DBLP DOI BibTeX RDF
10	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
10	Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh	A New Method for Describing the Syntax and Semantics of VIEWCHARTS.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
10	Abdelouahed Gherbi, Ferhat Khendek	Consistency of UML/SPT Models.	SDL Forum	2007	DBLP DOI BibTeX RDF
10	Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb	A Statechart-Based Model for the Semantic Composition of Web Services.	IEEE SCW	2007	DBLP DOI BibTeX RDF
10	Jochen Malte Küster	Definition and validation of model transformations.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF
10	Angelo Furfaro, Libero Nigro, Francesco Pupo	Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling
10	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	InterPlay, play-engine, intraobject, interobject, transition to design, Modeling methodologies, LSCs, scenario-based programming
10	Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard	Generating optimized code from SCR specifications.	LCTES	2006	DBLP DOI BibTeX RDF	optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis
10	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo	CAA-DRIP: a framework for implementing Coordinated Atomic Actions.	ISSRE	2006	DBLP DOI BibTeX RDF
10	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
10	Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek, Debra J. Richardson	Towards supporting the architecture design process through evaluation of design alternatives.	ROSATEA	2006	DBLP DOI BibTeX RDF	simulation, analysis, non-functional requirements, software architecture design, state charts, aspect-oriented design
10	Minmin Han, Christine Hofmeister	Modeling and verification of adaptive navigation in web applications.	ICWE	2006	DBLP DOI BibTeX RDF	web application, navigation model, adaptive navigation
10	Gabor Karsai, Anantha Narayanan	Towards Verification of Model Transformations Via Goal-Directed Certification.	ASWSD	2006	DBLP DOI BibTeX RDF	Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation
10	Sachoun Park, Gihwon Kwon	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Model checking, Dependency analysis, Model reduction, State explosion problem
10	Fredrik Kronlid	Turn Taking for Artificial Conversational Agents.	CIA	2006	DBLP DOI BibTeX RDF
10	Luís Gomes 0001, Anikó Costa	Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams.	ETFA	2006	DBLP DOI BibTeX RDF
10	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
10	Jonah Z. Lavi, Joseph Kudish	Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF
10	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
10	Steven Nordstrom, Shweta Shetty, Di Yao 0005, Shikha Ahuja, Sandeep Neema, Ted Bapty	The Action Language: Refining a Behavioral Modeling Language.	ECBS	2005	DBLP DOI BibTeX RDF
10	Franck Chauvel, Jean-Marc Jézéquel	Code Generation from UML Models with Semantic Variation Points.	MoDELS	2005	DBLP DOI BibTeX RDF
10	Mark Mahoney	Modeling Reactive Systems and Aspect-Orientation.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
10	Claudia Täubner, Till Merker	Discrete Modelling of the Ethylene-Pathway.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
10	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
10	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
10	Iris Reinhartz-Berger	Conceptual Modeling of Structure and Behavior with UML - The Top Level Object-Oriented Framework (TLOOF) Approach.	ER	2005	DBLP DOI BibTeX RDF
10	Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso	Interpretation of UML Sequence Diagrams as Causality Flows.	ISSADS	2005	DBLP DOI BibTeX RDF
10	Lionel C. Briand, Yvan Labiche, Q. Lin	Improving Statechart Testing Criteria Using Data Flow Information.	ISSRE	2005	DBLP DOI BibTeX RDF
10	Luís Gomes 0001, Anikó Costa	Teaching Formal Methods Within System-on-a-Programmable-Chip Design.	MSE	2005	DBLP DOI BibTeX RDF
10	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
10	Angelo Furfaro, Libero Nigro	Model checking hierarchical communicating real-time state machines.	ETFA	2005	DBLP DOI BibTeX RDF
10	Frédéric Fondement, Thomas Baar	Making Metamodels Aware of Concrete Syntax.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF
10	Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay	Termination Criteria for Model Transformation.	FASE	2005	DBLP DOI BibTeX RDF
10	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
10	Jonah Z. Lavi, Joseph Kudish	Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis.	ECBS	2004	DBLP DOI BibTeX RDF
10	Richard Bosworth	Automatic Proofs for Scalecharts.	Diagrams	2004	DBLP DOI BibTeX RDF
10	Paul Mason, Ken Cosh, Pulyamon Vihakapirom	On structuring formal, semi-formal and informal data to support traceability in systems engineering environments.	CIKM	2004	DBLP DOI BibTeX RDF	systems engineering data, traceability, meta-modelling
10	João Paulo Barros, Luís Gomes 0001	On the Use of Coloured Petri Nets for Object-Oriented Design.	ICATPN	2004	DBLP DOI BibTeX RDF
10	Bernhard Kaiser, Catharina Gramlich	State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
10	Joost Jacob	A Rule Markup Language and Its Application to UML.	ISoLA	2004	DBLP DOI BibTeX RDF
10	Rakesh Shukla, David A. Carrington, Paul A. Strooper	Systematic Operational Profile Development for Software Components.	APSEC	2004	DBLP DOI BibTeX RDF
10	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Specifying a Mobile Computing Infrastructure and Services.	ICDCIT	2004	DBLP DOI BibTeX RDF	Mobicharts, Mobile Computing, Testing, Specification, RSL
10	Jin Hyun Kim, Su-Young Lee 0001, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi	Development of RTOS for PLC Using Formal Methods.	ATVA	2004	DBLP DOI BibTeX RDF
10	Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp	Modular design and verification of component-based mechatronic systems with online-reconfiguration.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	unified modelling language (UML), real-time, components, reconfiguration, hybrid systems
10	Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür	Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time systems, dynamic resource allocation, resource awareness
10	Giancarlo Fortino, Alfredo Garro, Wilma Russo	From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study.	MATES	2004	DBLP DOI BibTeX RDF
10	Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Formal Verification of LSCs in the Development Process.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
10	Andrzej Wasowski	Automatic Generation of Program Families by Model Restrictions.	SPLC	2004	DBLP DOI BibTeX RDF
10	Hassan Gomaa	Designing Software Product Lines with the Unified Modeling Language (UML).	SPLC	2004	DBLP DOI BibTeX RDF
10	Vincent Hilaire, Olivier Simonin 0001, Abder Koukam, Jacques Ferber	A Formal Approach to Design and Reuse Agent and Multiagent Models.	AOSE	2004	DBLP DOI BibTeX RDF
10	Grégoire Hamon, John M. Rushby	An Operational Semantics for Stateflow.	FASE	2004	DBLP DOI BibTeX RDF
10	Mikael Berndtsson, Bengt Calestam	Graphical notations for active rules in UML and UML-A.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
10	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Template Semantics for Model-Based Notations.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition
10	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
10	Jim Davies, Charles Crichton	Using State Diagrams to Describe Concurrent Behaviour.	ICFEM	2003	DBLP DOI BibTeX RDF