Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo's statecharts [491 articles]

Recent papers added to leonardo's library classified by the tag statecharts. You can also see everyone's statecharts.
  • Extending statecharts with process algebra operators
    Innovations in Systems and Software Engineering
    by Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
    posted to statecharts process_algebra 2008 by leonardo on 2008-08-20 14:55:13 as **
  • Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
    Theory and Practice of Model Transformations (2008), pp. 61-75.
    by M van Amstel, M van den Brand, Z Protić, T Verhoeff
    posted to uml transformation _to_download_springer statecharts process_algebra 2008 by leonardo on 2008-07-04 14:27:26 as *****
  • Modular Functional Descriptions
    Electronic Notes in Theoretical Computer Science, Vol. 215 (29 June 2008), pp. 23-38.
    by Bernhard Schätz
    posted to statecharts 2008 by leonardo on 2008-07-04 14:21:31 as **
  • Proof Transformation via Interpretation Functions: Results, Problems and Applications
    Electronic Notes in Theoretical Computer Science, Vol. 127, No. 3. (11 April 2005), pp. 139-145.
    by Piotr Kosiuczenko
    posted to uml transformation statecharts proof 2005 by leonardo on 2008-06-29 17:09:24 as **
  • Verification of well-formed Communicating Recursive State Machines
    Theoretical Computer Science, Vol. In Press, Accepted Manuscript (2008)
    by Laura Bozzelli, Salvatore La Torre, Adriano Peron
    posted to verification statecharts 2008 by leonardo on 2008-06-18 14:21:33 as ***
  • Component Adaptation for Correctness in Composite Systems
    Composition-Based Software Systems, 2008. ICCBSS 2008. Seventh International Conference on (2008), pp. 130-137.
    by Xabier Aretxandieta, Xabier Elkorobarrutia, Frank Barbier
    posted to statecharts composition behavior 2008 by leonardo on 2008-05-19 15:22:40 as **
  • The 2-chart Problem - Contemplating System Behavior in the Aggregate
    Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the (2008), pp. 473-482.
    by Reuven Gallant, Meir M Lehman
    posted to visual_cues system_evolution statecharts software_evolution diagrams cognition behavioral_modeling association 2008 by leonardo on 2008-05-19 15:20:15 as **
  • Verification of Architectural Refactorings by Rule Extraction
    Fundamental Approaches to Software Engineering (2008), pp. 347-361.
    by Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
    posted to uml statecharts refactoring csp 2008 by leonardo on 2008-04-27 20:06:39 as *****
  • Modular typestate checking of aliased objects
    OOPSLA '07 (2007), pp. 301-320.
    by Kevin Bierhoff, Jonathan Aldrich
    posted to 2007 statecharts by leonardo on 2008-04-20 18:59:04 as **
  • A formalism for visual security protocol modeling
    Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
    by J Mcdermott, G Allwein
    posted to statecharts petrinets lts csp 2008 by leonardo on 2008-03-31 14:15:55 as ***
  • Integration of Formal Datatypes within State Diagrams
    Fundamental Approaches to Software Engineering (2003), pp. 341-355.
    by Christian Attiogbé, Pascal Poizat, Gwen Salaün
    posted to 2003 datatypes statecharts by leonardo on 2008-03-13 18:29:40 as ****
  • Integration and Transformation of UML Models
    Object-Oriented Technology ECOOP 2002 Workshop Reader (2002), pp. 184-191.
    by Jo\, Jonathan Whittle, Ambrosio Toval, Robert France
    posted to 2002 statecharts uml by leonardo on 2008-03-13 14:36:34 as ***
  • Modelling Recursive Calls with UML State Diagrams
    Fundamental Approaches to Software Engineering (2003), pp. 135-149.
    by Jennifer Tenzer, Perdita Stevens
    posted to 2003 semantics statecharts uml by leonardo on 2008-03-13 14:27:19 as **
  • Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
    Diagrammatic Representation and Inference (2002), pp. 213-236.
    by Yan Jin, Robert Esser, Jörn Janneck
    posted to 2002 semantics statecharts uml by leonardo on 2008-03-13 14:11:44 as ***
  • Formal Verification of UML Statecharts with Real-Time Extensions
    Fundamental Approaches to Software Engineering (2002), pp. 208-241.
    by Alexandre David, M Möller, Wang Yi
    posted to 2002 statecharts uml by leonardo on 2008-03-12 23:01:17 as **
  • Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
    Graph Transformation (2002), pp. 239-253.
    by Juan de Lara, Hans Vangheluwe
    posted to 2002 petrinets statecharts by leonardo on 2008-03-11 03:13:37 as **
  • An Algorithmic Framework for Visualizing Statecharts
    Graph Drawing (2001), pp. 43-44.
    by Rodolfo Castelló, Rym Mili, Ioannis G Tollis
    posted to 2001 framework statecharts visualization by leonardo on 2008-03-11 03:11:28 as ***
  • Formalization of UML-Statecharts
    «UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 406-421.
    by Michael von der Beeck
    posted to 2001 formal _hardcopy semantics statecharts uml by leonardo on 2008-03-11 03:09:16 as ****
  • Representing Agent Interaction Protocols in UML
    Agent-Oriented Software Engineering (2001), pp. 201-218.
    by James Odell, Van Dyke, Bernhard Bauer
    posted to 2001 agents statecharts uml by leonardo on 2008-03-11 03:05:56 as **
  • Algebraic State Machines
    Algebraic Methodology and Software Technology (2000), pp. 89-118.
    by Manfred Broy, Martin Wirsing
    posted to 2000 semantics statecharts by leonardo on 2008-03-11 03:00:59 as ****
  • Behavior Consistent Inheritance in UML
    Conceptual Modeling — ER 2000 (2000), pp. 451-530.
    by Markus Stumptner, Michael Schrefl
    posted to 2000 equivalence inheritance refinement statecharts uml by leonardo on 2008-03-11 02:54:44 as ****
  • A Formal Semantics of UML Statecharts by Model Transition Systems
    Graph Transformation (2002), pp. 378-392.
    by Dániel Varró
    posted to uml statecharts semantics 2002 by leonardo on 2008-03-11 01:35:43 as *****
  • Checking General Safety Criteria on UML Statecharts
    Computer Safety, Reliability and Security (2001), pp. 46-55.
    by Zsigmond Pap, István Majzik, András Pataricza
    posted to 2001 safety statecharts uml by leonardo on 2008-03-11 01:11:56 as **
  • Slicing Hierarchical Automata for Model Checking UML Statecharts
    Formal Methods and Software Engineering (2002), pp. 435-446.
    by Ji Wang, Wei Dong, Zhi C Qi
    posted to 2002 eha _hardcopy model_checking slicing statecharts uml by leonardo on 2008-03-10 00:31:55 as ****
  • Translating Statecharts to B
    Integrated Formal Methods (2002), pp. 128-144.
    by Emil Sekerinski, Rafik Zurob
    posted to 2002 b mapping statecharts by leonardo on 2008-03-10 00:26:13 as **
  • A Design Pattern for State Machines and Concurrent Activities
    Reliable SoftwareTechnologies — Ada-Europe 2001 (2001), pp. 203-214.
    by Bo Sandén
    posted to 2001 design_patterns statecharts by leonardo on 2008-03-10 00:10:18 as ****
  • Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
    Automata, Languages and Programming (2000), pp. 163-174.
    by Gerald Lüttgen, Michael Mendler
    posted to 2000 semantics statecharts by leonardo on 2008-03-05 02:13:56 as **
  • Casl-Chart : A Combination of Statecharts and of the Algebraic Specification Language Casl
    Algebraic Methodology and Software Technology (2000), pp. 243-257.
    by Gianna Reggio, Lorenzo Repetto
    posted to 2000 statecharts by leonardo on 2008-03-05 02:12:39 as **
  • iState: A Statechart Translator
    «UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 376-390.
    by Emil Sekerinski, Rafik Zurob
    posted to 2001 statecharts by leonardo on 2008-03-05 02:03:16 as **
  • Hierarchical State Machines
    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 315-330.
    by Mihalis Yannakakis
    posted to 2000 equivalence semantics statecharts by leonardo on 2008-03-05 02:01:55 as ****
  • Communicating Hierarchical State Machines
    Automata, Languages and Programming (1999), pp. 703-703.
    by Rajeev Alur, Sampath Kannan, Mihalis Yannakakis
    posted to 1999 semantics statecharts by leonardo on 2008-03-05 01:30:30 as **
  • Statecharts via Process Algebra
    CONCUR’99 Concurrency Theory (1999), pp. 782-782.
    by Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    posted to 1999 equivalence _hardcopy semantics statecharts by leonardo on 2008-03-05 01:26:25 as ***
  • Test Case Generation for UML Statecharts
    Perspectives of System Informatics (2003), pp. 93-109.
    by Dirk Seifert, Steffen Helke, Thomas Santen
    posted to 2003 _no_doi statecharts tests uml by leonardo on 2008-03-05 00:45:14 as **
  • Towards an Automatic Integration of Statecharts
    Conceptual Modeling — ER ’99 (15--18 November 1999), pp. 430-444.
    by Heinz Frank, Johann Eder
    posted to 1999 semantics statecharts by leonardo on 2008-03-04 13:04:00 as **
  • Transforming Stream Processing Functions into State Transition Machines
    Software Engineering Research and Applications (2006), pp. 1-18.
    by Walter Dosch, Annette Stümpel
    posted to 2006 refinement statecharts _to_download_springer by leonardo on 2008-03-03 13:10:01 as **
  • QoS modelling and analysis with UML-statecharts: the StoCharts approach
    SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (March 2005), pp. 28-33.
    by David N Jansen, Holger Hermanns
    posted to 2005 qos statecharts uml by leonardo on 2008-01-30 14:33:20 as **
  • A metamodel for object-oriented statecharts
    (1998)
    by S Mann, Marcus Klar
    posted to 1998 metamodel oo statecharts by leonardo on 2008-01-30 14:27:20 as **
  • Behavior consistent inheritance with UML statecharts
    (2004)
    by Markus Stumptner, Michael Schrefl
    posted to 2004 behavior_inheritance refinement statecharts _to_download uml by leonardo on 2008-01-30 14:08:18 as ****
  • Statecharts: From Visual Syntax to Model-Theoretic Semantics
    (2001), pp. 615-621.
    by Gerald Lüttgen, Michael Mendler
    posted to 2001 semantics statecharts by leonardo on 2008-01-24 21:37:56 as **
  • Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions
    Formal Approaches to Agent-Based Systems (2002), pp. 146-161.
    by Albert Esterline
    posted to 2002 agents _no_doi statecharts by leonardo on 2008-01-24 02:36:28 as ****
  • Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
    «UML» 2000 — The Unified Modeling Language (2000), pp. 528-540.
    by Gihwon Kwon
    posted to 2000 model_checking semantics statecharts uml by leonardo on 2008-01-23 18:33:43 as **
  • Mobile UML Statecharts with Localities
    Global Computing (2005), pp. 34-58.
    by Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
    posted to _no_doi statecharts _to_download_springer by leonardo on 2008-01-23 01:46:31 as **
  • Modeling and Analysis of Exception Handling by Using UML Statecharts
    Scientific Engineering of Distributed Java Applications (2005), pp. 58-67.
    by Gergely Pintér, István Majzik
    posted to 2005 exception _no_doi statecharts uml by leonardo on 2008-01-15 13:53:20 as **
  • Completeness and Consistency in Hierarchical State-Based Requirements
    IEEE Trans. Softw. Eng., Vol. 22, No. 6. (June 1996), pp. 363-377.
    by Mats P Heimdahl, Nancy G Leveson
    posted to 1996 hierarchy semantics statecharts by leonardo on 2008-01-03 23:20:20 as **
  • Test synthesis from UML models of distributed software
    Software Engineering, IEEE Transactions on, Vol. 33, No. 4. (2007), pp. 252-269.
    by Simon Pickin, Claude Jard, Thierry Jéron, Jean M Jézéquel, Yves Le Traon
    posted to 2007 statecharts tests uml by leonardo on 2008-01-03 23:07:59 as ***
  • All Things Considered: Inspecting Statecharts by Model Transformation
    Software Engineering and Advanced Applications, 2006. 32nd EUROMICRO Conference on (2006), pp. 224-231.
    by Michael Breen
    posted to 2006 _hardcopy model_transformation statecharts by leonardo on 2008-01-03 23:02:48 as ***
  • Reverse Engineering Goal Models from Legacy Code
    Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on, (2005), pp. 363-372.
    by Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio C Leite
    posted to 2005 _hardcopy refactoring reverse_engineering statecharts by leonardo on 2008-01-03 22:27:23 as **** along with 2 people edcdave yijunyu
  • notes On Object Systems and Behavioral Inheritance
    IEEE Trans. Softw. Eng., Vol. 28, No. 9. (September 2002), pp. 889-903.
    by David Harel, Orna Kupferman
    posted to 2002 statecharts by leonardo on 2007-12-31 17:44:41 as ****
  • Matching and merging of statecharts specifications
    Software Engineering, 2007. ICSE 2007. 29th International Conference on (2007), pp. 54-63.
    by Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave
    posted to 2007 merging statecharts _to_print by leonardo on 2007-12-31 15:29:53 as **
  • An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study
    Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 254-263.
    by P Chevalley, Thevenod P Fosse
    posted to 2001 empirical statecharts statistical tests uml by leonardo on 2007-12-18 11:24:49 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/leonardo/tag/statecharts

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.