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:
sequenc (34)
messag (23)
use (10)
model (8)
state (8)

Stem chart$ (all stems)

94 papers:

CASECASE-2015-ChenY #monitoring #process
Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CHICHI-2015-TaherHKWJHA #interactive
Exploring Interactions with Physically Dynamic Bar Charts (FT, JH, AK, CW, YJ, KH, JA), pp. 3237–3246.
HCIHIMI-IKC-2015-Porathe #fault
Human Error and e-Navigation: Developing the Nautical Chart as Resilient Decision Support (TP), pp. 129–139.
KDDKDD-2015-ZhangYL
Organizational Chart Inference (JZ, PSY, YL), pp. 1435–1444.
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.
CHICHI-2014-KongHA #crowdsourcing
Extracting references between text and charts via crowdsourcing (NK, MAH, MA), pp. 31–40.
HCIDHM-2014-MeryS #refinement #semantics
The Semantics of Refinement Chart (DM, NKS), pp. 415–426.
HCIHCI-TMT-2014-BoscarioliSPBB #education #human-computer
Charting the Landscape of HCI Education in Brazil (CB, MSS, ROP, SAB, SDJB), pp. 177–186.
HCIHCI-TMT-2014-SousaB #recommendation #statistics
Recommender System to Support Chart Constructions with Statistical Data (TAFdS, SDJB), pp. 631–642.
ICPRICPR-2014-HuynhR #image
Recovery of Spectral Sensitivity Functions from a Colour Chart Image under Unknown Spectrally Smooth Illumination (CPH, ARK), pp. 708–713.
PODSPODS-2013-Wijsen #query
Charting the tractability frontier of certain conjunctive query answering (JW), pp. 189–200.
SACSAC-2013-BakreBE #approach #interactive #uml
Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.
SACSAC-2013-BurtiniFL #adaptation #data transfer #web
Reducing data transfer for charts on adaptive web sites (GB, SF, RL), pp. 865–867.
ICTSSICTSS-2013-MauserKH #programming #towards #user interface #using
Towards a GUI Test Model Using State Charts and Programming Code (DM, AK, KH), pp. 271–276.
CSCWCSCW-2012-Pine
Fragmentation and choreography: caring for a patient and a chart during childbirth (KP), pp. 887–896.
ICPRICPR-2012-MinagawaKTH #automation #detection
A color chart detection method for automatic color correction (AM, YK, HT, YH), pp. 1912–1915.
TOOLSTOOLS-EUROPE-2012-OchoaJC #uml
Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
SACSAC-2012-Longuet #sequence chart #testing
Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
ICSTICST-2012-Nguyen #comprehension #detection #performance #scalability #using
Using Control Charts for Detecting and Understanding Performance Regressions in Large Software (THDN), pp. 491–494.
DATEDATE-2011-TraulsenAH #c #compilation
Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
ICSTICST-2011-DanH #consistency #sequence chart #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
CHICHI-2010-BatemanMGGMB #comprehension #visual notation
Useful junk?: the effects of visual embellishment on comprehension and memorability of charts (SB, RLM, CG, AG, DM, CAB), pp. 2573–2582.
MODELSMoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml
Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
ASEASE-2009-ZhangGTL #probability #sequence chart #syntax
A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
TACASTACAS-2009-KuglerS #composition #sequence chart #specification #synthesis
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
LATALATA-2009-LopatkovaH #segmentation
Segmentation Charts for Czech — Relations among Segments in Complex Sentences (ML, TH), pp. 542–553.
CHICHI-2009-HeerKA #visual notation #visualisation
Sizing the horizon: the effects of chart size and layering on the graphical perception of time series visualizations (JH, NK, MA), pp. 1303–1312.
HCIHIMI-DIE-2009-MistrzykR #industrial #modelling
Practical Use of Task Models for Building and Modeling Operations Chart in the Industrial Production (TM, AR), pp. 140–148.
HCIOCSC-2009-EgertJB #social #social media
When Social Worlds Collide: Charting the Intersection of Social Media and Courseware/Course Management Systems (CAE, SJ, SBB), pp. 452–461.
VISSOFTVISSOFT-2009-MoretBAV #visualisation
Visualizing Calling Context profiles with Ring Charts (PM, WB, DA, AV), pp. 33–36.
FoSSaCSFoSSaCS-2008-DarondeauGH #sequence chart
Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
GT-VMTGT-VMT-2008-KumarM #automaton #sequence chart #verification
Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
RERE-2008-Kof #generative #sequence chart
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
ICSEICSE-2008-SibayUB #revisited #sequence chart
Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.
CASECASE-2007-FalkmanLA #specification #using
Specification of Production Systems using PPN and Sequential Operation Charts (PF, BL, KA), pp. 20–25.
ICDARICDAR-2007-HuangLT #image #visual notation
Extraction of Vectorized Graphical Information from Scientific Chart Images (WH, RL, CLT), pp. 521–525.
ICDARICDAR-2007-HuangT #documentation
Locating Charts from Scanned Document Pages (WH, CLT), pp. 307–311.
TACASTACAS-2007-ElkindGP #detection #sequence chart
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
ESEC-FSEESEC-FSE-2007-RoychoudhuryGS #sequence chart
Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
FASEFASE-2006-WestphalT #sequence chart
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
RERE-2006-WhittleJ #case study #generative #state machine
Generating Hierarchical State Machines from Use Case Charts (JW, PKJ), pp. 16–25.
CAVCAV-2006-KloseTWW #performance #sequence chart #verification
Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.
CASECASE-2005-KimD #metric #process #quality #using
Quality measurement of production process plan using tolerance chart (IHK, ZD), pp. 25–30.
ICDARICDAR-2005-HuangTL #comprehension
Associating Text and Graphics for Scientific Chart Understanding (WH, CLT, WKL), pp. 580–584.
FoSSaCSFoSSaCS-2005-BontempsS #complexity #sequence chart
The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.
TACASTACAS-2005-Genest #composition #sequence chart
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
DocEngDocEng-2004-Dymetman #authoring #documentation #editing #predict
Chart-parsing techniques and the prediction of valid editing moves in structured document authoring (MD), pp. 229–238.
CSEETCSEET-2004-Bagert #education #named #re-engineering #roadmap
SEER: Charting a Roadmap for Software Engineering Education (DJB), pp. 158–161.
ICEISICEIS-v3-2004-BonacinBL #analysis #design #diagrams #ontology #semantics
From Ontology Charts to Class Diagrams: Semantic Analysis Aiding Systems Design (RB, MCCB, KL), pp. 389–395.
SEFMSEFM-2003-GoldsonR #semantics
Semantic Properties of μ-Charts (DG, GR), pp. 148–155.
RERE-2003-SenguptaC #modelling #requirements #sequence chart #using
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
CAVCAV-2003-SenguptaC #named #sequence chart
TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.
IFMIFM-2002-LedangS #modelling #uml
Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.
SEKESEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing
Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
OOPSLAOOPSLA-2002-MarellyHK #execution #multi #sequence chart
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
FSEFSE-2002-SenguptaC #sequence chart
Triggered message sequence charts (BS, RC), pp. 167–176.
ICSEICSE-2002-BlausteinOB #graph #sequence chart
Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
HTHT-2001-ToyodaK #community #navigation #web
Creating a Web community chart for navigating related communities (MT, MK), pp. 103–112.
ICDARICDAR-2001-AntonacopoulosK #information management
Information Extraction from Complex Circular Charts (AA, DPK), pp. 784–789.
ICDARICDAR-2001-Smith #estimation #parametricity #using
Scanner Parameter Estimation Using Bilevel Scans of Star Charts (EHBS), pp. 1164–1168.
ICDARICDAR-2001-ZhouT #analysis #documentation #image #recognition
Chart Analysis and Recognition in Document Images (YPZ, CLT), pp. 1055–1058.
FoSSaCSFoSSaCS-2001-Morin #on the #sequence chart #traceability
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
TACASTACAS-2001-GunterMP #composition #sequence chart
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
TACASTACAS-2001-KloseW #automaton #sequence chart
An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.
ICALPICALP-2001-MuschollP #communication #finite #protocol #sequence chart
From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
ICFPICFP-2001-AnandCK
Charting Patterns on Price History (SA, WNC, SCK), pp. 134–145.
CHICHI-2001-KierasMB #execution #modelling #towards
Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.
FSEESEC-FSE-2001-UchitelKM #detection #sequence chart #specification
Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
IFMIFM-2000-ReeveR
μ-Charts and Z: Hows, Whys, and Wherefores (GR, SR), pp. 255–276.
ICSEICSE-2000-AlurEY #sequence chart
Inference of message sequence charts (RA, KE, MY), pp. 304–313.
ICSEICSE-2000-Rifkin #diagrams #precedence
When the project absolutely must get done: marrying the organization chart with the precedence diagram (SR), pp. 588–596.
FoSSaCSFoSSaCS-1999-Muscholl #sequence chart #specification
Matching Specifications for Message Sequence Charts (AM), pp. 273–287.
HCIHCI-EI-1999-HuangWC #learning #programming
A Flow-chart Based Learning System for Computer Programming (KHH, KW, SYC), pp. 1298–1302.
ASEASE-1998-LeueMR #architecture #sequence chart #specification
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
FoSSaCSFoSSaCS-1998-MuschollPS #sequence chart
Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
CIAAWIA-1998-LHerPM #automaton #proving #source code #using
Proving Sequential Function Chart Programs Using Automata (DL, PLP, LM), pp. 149–163.
UMLUML-1998-KhrissEK #automation #collaboration #diagrams #multi #statechart #synthesis #uml
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams (IK, ME, RKK), pp. 132–147.
CAVCAV-1998-Peled98a #sequence chart #tool support
A Toolset for Message Sequence Charts (DP), pp. 532–536.
TACASTACAS-1997-Ben-AbdallahL #detection #process #sequence chart
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
HCIHCI-CC-1997-ItohMGA #behaviour #process
Analyzing Qualitative Data with SPROT (Structural Process Chart of a Task Oriented Behavior) (MI, YM, SG, TA), pp. 541–544.
TACASTACAS-1996-AlurHP #sequence chart
An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.
WPCWPC-1996-EickW #interactive #sequence chart #visualisation
An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.
ICPRICPR-1996-MullotOBLC #approach
An original approach for extracting circular shapes from technical charts (RM, JMO, FB, YL, MFC), pp. 813–817.
ASF+SDFASF+SDF-1995-MauwMa #sequence chart #specification #tool support
Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.
CHICHI-1994-MyersGG94a
Creating charts by demonstration (BAM, JG, MAG), pp. 106–111.
ICDARICDAR-1993-HongH #parsing #probability #recognition
Text recognition enhancement with a probabilistic lattice chart parser (TH, JJH), pp. 222–225.
HCIHCI-SHI-1993-Marshall #quality
Improving the Quality of Computer-Generated Charts (RJM), pp. 597–602.
ECOOPECOOP-1993-GangopadhyayM #behaviour #named #specification
ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.
TOOLSTOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation
ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.
ICLPJICSCP-1988-TrehanW88 #commit #logic #nondeterminism #parallel #parsing
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages (RT, PFW), pp. 212–232.
ICSEICSE-1984-Chyou #correctness #proving
Structure Charts and Program Correctness Proofs (SCC), pp. 486–498.
ICSEICSE-1982-Ito #automation #documentation #image
Automatic Input of Flow Chart in Document Image (SI), pp. 319–329.
PLDISCC-1979-CordyHW #approach #diagrams #semantics
Semantic charts: A diagrammatic approach to semantic processing (JRC, RCH, DBW), pp. 39–49.
STOCSTOC-1970-Strong #equation #recursion
Translating Recursion Equations into Flow Charts (HRSJ), pp. 184–197.

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.