BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
uml (21)
model (17)
semant (11)
formal (11)
diagram (10)

Stem statechart$ (all stems)

79 papers:

PLDIPLDI-2014-HanxledenDMSMAMO #named #safety
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
SACSAC-2014-PimentelCMAS #design #refinement #requirements
From requirements to statecharts via design refinement (JP, JC, JM, KA, VESS), pp. 995–1000.
TACASTACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart
Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
ASEASE-2012-AbadiF #automation
Automatic recovery of statecharts from procedural code (MA, YAF), pp. 238–241.
SACSAC-2012-TiwariG #case study #validation
Statechart-based use case requirement validation of event-driven systems (ST, AG), pp. 1091–1093.
ICSTICST-2012-PasareanuB #analysis #statechart
Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
QoSAQoSA-ISARCS-2011-ArissX #modelling #security
Modeling security attacks with statecharts (OeA, DX), pp. 123–132.
GCMGCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
ISSTAISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart
Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
CIAACIAA-2009-LuY #automaton #finite #question
Are Statecharts Finite Automata? (HL, SY), pp. 258–261.
FMFM-2009-Eshuis #petri net
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.
MODELSMoDELS-2009-DrusinskyS #logic #uml #using
Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
MODELSMoDELS-2009-DrusinskyS #logic #uml #using
Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
SACSAC-2008-BelliH #generative #testing
Test generation and minimization with “basic” statecharts (FB, AH), pp. 718–723.
SACSAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #uml #using
Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
MODELSMoDELS-2007-ProchnowH #development #statechart
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
MODELSMoDELS-2007-ProchnowH #development #statechart
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
ICSEICSE-2007-NejatiSCEZ #specification
Matching and Merging of Statecharts Specifications (SN, MS, MC, SME, PZ), pp. 54–64.
ASEASE-2005-ShankarASX #realtime #reasoning #semantics
Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
IFMIFM-2005-LamP #consistency #diagrams #sequence chart #statechart #using #π-calculus
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
MODELSMoDELS-2005-CraneD #modelling #uml
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
MODELSMoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
MODELSMoDELS-2005-CraneD #modelling #uml
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
MODELSMoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.
ECOOPECOOP-2005-LamP #consistency #diagrams #statechart
Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
ASEASE-2004-LiWQ #generative #testing #uml
Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.
SEFMSEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml
On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
SEKESEKE-2004-Cruz-LemusGORP #diagrams #fuzzy #predict #statechart #uml #using
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques (JACL, MG, JAO, FPR, MP), pp. 238–245.
ICSEICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
ICSEICSE-2004-ZiadiHJ #algebra #approach #statechart #synthesis
Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.
LCTESLCTES-2004-Wasowski
Flattening statecharts without explosions (AW), pp. 257–266.
ICTSSTestCom-2004-MuckeH #generative #uml
Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.
FMFME-2003-QinC #hardware
Mapping Statecharts to Verilog for Hardware/Software Co-specification (SQ, WNC), pp. 282–300.
ICEISICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #statechart #uml #validation
Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
SEKESEKE-2003-DongFH #diagrams #statechart
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.
UMLUML-2003-BriandCL #automation #testing #towards #uml
Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.
UMLUML-2003-JansenHK #uml
A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.
LCTESLCTES-2003-Wasowski #on the #performance #synthesis
On efficient program synthesis from statecharts (AW), pp. 163–170.
FASEFASE-2002-DavidMY #realtime #uml #verification
Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
IFMIFM-2002-SekerinskiZ
Translating Statecharts to B (ES, RZ), pp. 128–144.
ICGTICGT-2002-LaraV #modelling #multi #petri net #process
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
ICGTICGT-2002-Varro #semantics #uml
A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.
SACSAC-2002-Jurjens #message passing #semantics #uml
A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
ISSTAISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml
On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
WICSAWICSA-2001-EgyedW #architecture #modelling #statechart
Statechart Simulator for Modeling Architectural Dynamics (AE, DSW), p. 87–?.
FASEFASE-J-1998-GrieskampHD01 #component #embedded #specification
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components (WG, MH, HD), pp. 31–57.
FASEFASE-J-1998-Scholz01 #design #incremental #specification #statechart
Incremental design of statechart specifications (PS), pp. 119–145.
UMLUML-2001-Beeck #formal method #uml
Formalization of UML-Statecharts (MvdB), pp. 406–421.
UMLUML-2001-SekerinskiZ #named #statechart
iState: A Statechart Translator (ES, RZ), pp. 376–390.
ICALPICALP-2000-LuttgenM #modelling #semantics
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models (GL, MM), pp. 163–174.
ICEISICEIS-2000-LauderK #modelling #process
Statecharts for Business Process Modelling (AL, SK), pp. 310–314.
UMLUML-2000-Kwon #model checking #semantics #uml
Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.
UMLUML-2000-Pazzi #behaviour #representation
Part-Whole Statecharts for the Explicit Representation of Compound Behaviors (LP), pp. 541–555.
FSEFSE-2000-LuttgenBC #approach #composition #semantics
A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.
ICSEICSE-2000-WhittleS #design #generative #statechart
Generating statechart designs from scenarios (JW, JS), pp. 314–323.
FMFM-v2-1999-SeshiaSBD
A Translation of Statecharts to Esterel (SAS, RKS, AKB, SDD), pp. 983–1007.
IFMIFM-1999-Deiss #approach
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA (TD), pp. 231–250.
TOOLSTOOLS-ASIA-1999-LiQ #testing #uml
Test Selection from UML Statecharts (LL, ZQ), pp. 273–281.
ICSEICSE-1999-ChanABJNW #model checking #performance
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.
FASEFASE-1998-BussowGK #case study #embedded #safety #specification
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (RB, RG, MK), pp. 71–87.
FASEFASE-1998-Scholz #calculus #refinement
A Refinement Calculus for Statecharts (PS), pp. 285–301.
FMFM-1998-BogdanovHS #automation #generative #testing
Automated Test Set Generation for Statecharts (KB, MH, HS), pp. 107–121.
HTHT-1997-TurineOM #hypermedia #modelling
A Navigation-Oriented Hypertext Model Based on Statecharts (MAST, MCFdO, PCM), pp. 102–111.
TACASTACAS-1997-PhilippsS #verification
Formal Verification of Statecharts with Instantaneous Chain Reaction (JP, PS), pp. 224–238.
FMFME-1997-PetersohnU #implementation #semantics
A Timed Semantics for the STATEMATE Implementation of Statecharts (CP, LU), pp. 553–572.
TOOLSTOOLS-ASIA-1997-StobartPT #case study #object-oriented #polymorphism #source code #testing #using
Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study (SS, NP, BYT), pp. 96–103.
CAVCAV-1997-Harel #years after
Some Thoughts on Statecharts, 13 Years Later (DH), pp. 226–231.
FMFME-1996-Weber #design #safety
Combining Statecharts and Z for the Design of Safety-Critical Control Systems (MW), pp. 307–326.
REICRE-1996-NobeW #lessons learnt #modelling #requirements #using
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts (CRN, WEW), pp. 86–93.
ICSEICSE-1996-HarelG #execution #modelling
Executable Object Modeling with Statecharts (DH, EG), pp. 246–257.
SEKESEKE-1995-Junkermann #design #process
A Dedicated Process Design Language based on EER-models, Statecharts and Tables (GJ), pp. 487–496.
OOPSLAOOPSLA-1995-AllenC #scheduling #statechart
Extending the Statechart Formalism: Event Scheduling & Disposition (AA, DdC), pp. 1–16.
ESECESEC-1995-Glinz #formal method
An Integrated Formal Model of Scenarios Based on Statecharts (MG), pp. 254–271.
DATEEDAC-1994-HelbigK
An OBDD-Representation of Statecharts (JH, PK), pp. 142–149.
ICGTTAGT-1994-Maggiolo-SchettiniP #framework #graph grammar #semantics
A Graph Rewriting Framework for Statecharts Semantics (AMS, AP), pp. 107–121.
ESECESEC-1993-Beeck #analysis #concurrent #integration #realtime #specification
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification (MvdB), pp. 313–328.
HTHT-ECHT-1992-ZhengP #hypermedia #using
Using Statecharts to Model Hypertext (YZ, MCP), pp. 242–250.
CHICHI-1989-Wellner #implementation #named #prototype
Statemaster: A UIMS based on statecharts for prototyping and target implementation (PDW), pp. 177–182.
LICSLICS-1987-HarelPSS #on the #semantics
On the Formal Semantics of Statecharts (Extended Abstract) (DH, AP, JPS, RS), pp. 54–64.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.