Statecharts: A visual formalism for complex systems
Science of Computer Programming
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
On the development of reactive systems
Logics and models of concurrent systems
Introduction to design choices in the semantics of Statecharts
Information Processing Letters
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Modeling Statecharts Behaviour in a Fully Abstract Way
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Improving efficiency of symbolic model checking for state-based system requirements
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Correspondences between statecharts, event structures, and concurrent regular expressions
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Decoupling synchronization from local control for efficient symbolic model checking of statecharts
Proceedings of the 21st international conference on Software engineering
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
embedded system design with multiple languages: embedded tutorial
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Formalization of commitment-based agent interaction
Proceedings of the 2001 ACM symposium on Applied computing
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
VRID: a design model and methodology for developing virtual reality interfaces
VRST '01 Proceedings of the ACM symposium on Virtual reality software and technology
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Using extended positional grammars to develop visual modeling languages
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A component-based visual environment development process
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
A comparison of Statecharts step semantics
Theoretical Computer Science
On disjunction of literals in triggers of statecharts transitions
Information Processing Letters
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal Verification and Hardware Design with Statecharts
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Compositional Semantics for Diagrams Using Constrained Objects
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Representing Hierarchical Automata in Interactive Theorem Provers
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Collecting and Querying Distributed Traces of Composite Service Executions
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Stability of Discrete Sampled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Probabilistic Extension of UML Statecharts
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Complex Reactive Control with Simple Synchronous Models
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Execution Algorithm for UML Activity Graphs
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Peer-to-Peer Traced Execution of Composite Services
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
The M*-COMPLEX Approach to Enterprise Modeling, Engineering, and Integration
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Translation of Statecharts to Esterel
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
An Algebraic Foundation for Higraphs
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Graphical Environment for the Specification and Verification of Reactive Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Towards an Automatic Integration of Statecharts
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SPI: a system model for heterogeneously specified embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A language for multiple models of computation
Proceedings of the tenth international symposium on Hardware/software codesign
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Towards patterns of web services composition
Patterns and skeletons for parallel and distributed computing
Code synthesis for timed automata
Nordic Journal of Computing
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Risk Bands - A Novel Feature of Safecharts
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Visualizing graphical and textual formalisms
Information Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A study of current logic design practices in the automotive manufacturing industry
International Journal of Human-Computer Studies
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating text with a theorem prover
Proceedings of the workshop on Student research
Context-aware Web Information Systems
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Flattening statecharts without explosions
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
On Composite Web Services Provisioning in an Environment of Fixed and Mobile Computing Resources
Information Technology and Management
FSM--based power modeling of wireless protocols: the case of bluetooth
Proceedings of the 2004 international symposium on Low power electronics and design
A unified approach to code generation from behavioral diagrams
Languages for system specification
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Causality analysis of synchronous programs with delayed actions
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Mapping Template Semantics to SMV
Proceedings of the 19th IEEE international conference on Automated software engineering
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
UML 2.0 - Overview and Perspectives in SoC Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Toward an Agent-Based and Context-Oriented Approach for Web Services Composition
IEEE Transactions on Knowledge and Data Engineering
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Facilitating the rapid development and scalable orchestration of composite web services
Distributed and Parallel Databases
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 28th international conference on Software engineering
Aspect-oriented software design with a variant of UML/STD
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Computers and Operations Research
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Automatic generation of assumptions for modular verification of software specifications
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Introducing variable ports and multi-couplings for cell biological modeling in DEVS
Proceedings of the 38th conference on Winter simulation
Noesis: Towards a situational method engineering technique
Information Systems
StateCharts to systemc: a high level hardware simulation approach
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Guided interaction: A mechanism to enable ad hoc service interaction
Information Systems Frontiers
On the computability of agent-based workflows
Decision Support Systems
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
WSIPL: An XML scripting language for integrating web service data and applications
Web Intelligence and Agent Systems
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Formal Fault Tree Analysis - Practical Experiences
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical inheritance notation for state-based classes
Programming and Computing Software
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
STATEMATE to SCADE model translation
ISEC '08 Proceedings of the 1st India software engineering conference
Multi-formalism modelling and model transformation for the design of reactive systems
Proceedings of the 2007 Summer Computer Simulation Conference
STRATUM: A METHODOLOGY FOR DESIGNING HEURISTIC AGENT NEGOTIATION STRATEGIES
Applied Artificial Intelligence
User-centric services provisioning in wireless environments
Communications of the ACM - Remembering Jim Gray
From page-centric to portlet-centric Web development: Easing the transition using MDD
Information and Software Technology
StateML +: From Graphical State Machine Models to Thread-Safe Ada Code
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Supporting the UML State Machine Diagrams at Runtime
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
The Agent Modeling Language (AMOLA)
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Model Based Importance Analysis for Minimal Cut Sets
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Reconciling statechart semantics
Science of Computer Programming
XAL: A Web Oriented Programming Language Based on Timed-Automata
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
An Agent Modeling Language Implementing Protocols through Capabilities
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Journal of Systems and Software
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Using spreadsheets for finite state modelling
Proceedings of the 2nd India software engineering conference
A formalism for reasoning about UML activity diagrams
Nordic Journal of Computing
Web services synchronization in composition scenarios: the centralized view
Proceedings of the 2009 conference on Information Science, Technology and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical Modeling and Simulation of Learning Designs
Proceedings of the 2007 conference on Supporting Learning Flow through Integrative Technologies
Optimizing Causal Link Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Empirical Software Engineering
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Optimizing QoS-Aware Semantic Web Service Composition
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Computing SyncCharts Reactions
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Through Personalized Web Service Composition Specification: From BPEL to C-BPEL
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic test case generation through a collaborative web application
EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Proving unreachability using bounded model checking
Proceedings of the 3rd India software engineering conference
Models and tools for managing development processes
Models and tools for managing development processes
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Model-based support for specifying eService eGovernment applications
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
UML 2.0 state machines: complete formal semantics via core state machines
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Representing process variation with a process family
ICSP'07 Proceedings of the 2007 international conference on Software process
Rewrite rules and operational semantics for model checking UML statecharts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
The MOCA platform: simulating the dynamics of social networks
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Automatic Ada code generation using a model-driven engineering approach
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Model checking of extended OCL constraints on UML models in SOCLe
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A Bayesian model for predicting reliability of software systems at the architectural level
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Hybrid multiagent systems with timed synchronization: specification and model checking
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
Testing from X-machine specifications
Formal methods and testing
HieroMate: a graphical tool for specification and verification of hierarchical hybrid automata
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
A framework to coordinate web services in composition scenarios
International Journal of Web and Grid Services
Automatic generation of safe handlers for multi-task systems
Journal of Embedded Computing
Some thoughts on the semantics of biocharts
Time for verification
What is in a step: new perspectives on a classical question
Time for verification
ACM SIGSOFT Software Engineering Notes
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Constructive semantics for instantaneous reactions
Theoretical Computer Science
An executable semantics for UML 2 activity diagrams
Proceedings of the International Workshop on Formalization of Modeling Languages
On the Toyota's Throttle Control Problem
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Automated test case generation with SMT-solving and abstract interpretation
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Modeling security attacks with statecharts
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
ADDiff: semantic differencing for activity diagrams
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
QP based framework for development and formal verification of flight control software of UAV
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
Transforming UML2.0 class diagrams and statecharts to atomic DEVS
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A real-world benchmark model for testing concurrent real-time systems in the automotive domain
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Modeling portlet aggregation through statecharts
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Finite state history modeling and its precise UML-based semantics
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Behavioral programming, decentralized control, and multiple time scales
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
An automatic mapping from statecharts to verilog
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Formalization of fFSM model and its verification
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Modeling and analyzing context-aware composition of services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Graphical knowledge template of CBD meta-model
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
A design technique of CBD meta-model based on graph theory
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Model-Driven development of reactive systems with SDL
SDL'05 Proceedings of the 12th international conference on Model Driven
Specifying a mobile computing infrastructure and services
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Management of feature interactions with transactional regions
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Structure preserving data abstractions for statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Generative technologies for model animation in the topcased platform
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A multi-perspective framework for organizational patterns
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Reactive model-based control of reconfiguration in the fractal component-based model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Automatic critiques of interface modes
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Separation of concerns with transactional regions
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Communications of the ACM
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Formal semantics of extended hierarchical state transition matrix by CSP
ACM SIGSOFT Software Engineering Notes
Argos: an automaton-based synchronous language
Computer Languages
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Model-driven behavior specification for robotic teams
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
VULCAN: architecture-model-based software development workbench
Proceedings of the WICSA/ECSA 2012 Companion Volume
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
Modeling, analysis and testing of safety issues: an event-based approach and case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Ensuring well-formed conversations between control and operational behaviors of web services
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
ACM Transactions on Software Engineering and Methodology (TOSEM)
Science of Computer Programming
QoS- and resource-aware service composition and adaptation
AMT'12 Proceedings of the 8th international conference on Active Media Technology
Capacity-Driven Web Services: Concepts, Definitions, Issues, and Solutions
International Journal of Systems and Service-Oriented Engineering
Satisfying End User Constraints in Service Composition by Applying Stochastic Search Methods
International Journal of Web Services Research
Activity fragmentation in the web: empowering users to support their own webflows
Proceedings of the 24th ACM Conference on Hypertext and Social Media
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
Behavior modeling and automated verification of Web services
Information Sciences: an International Journal
Compositional approach to the development of reactive algorithms
Cybernetics and Systems Analysis
| Hi-index | 0.02 |
We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.