The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for statecharts with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1991 (19) 1992-1993 (24) 1994-1995 (22) 1996 (22) 1997 (22) 1998 (27) 1999 (31) 2000 (44) 2001 (38) 2002 (46) 2003 (47) 2004 (62) 2005 (38) 2006 (43) 2007 (34) 2008 (46) 2009 (21) 2010-2011 (19) 2012-2013 (22) 2014-2015 (15) 2016-2018 (19) 2019-2020 (15) 2021-2023 (10)
Publication types (Num. hits)
article(134) book(2) incollection(4) inproceedings(529) phdthesis(17)
Venues (Conferences, Journals, ...)
IEEE Trans. Software Eng.(16) ICSE(11) Softw. Syst. Model.(11) APSEC(10) SAFECOMP(8) UML(8) CONCUR(7) ECBS(7) FASE(7) COMPSAC(6) CoRR(6) FTRTFT(6) ICFEM(6) ISSRE(6) MoDELS(6) SBES(6) More (+10 of total 381)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 727 occurrences of 366 keywords

Results
Found 686 publication records. Showing 686 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
108Junyan Qian, Baowen Xu Model Checking for Timed Statecharts. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
104Hanlin Lu, Sheng Yu 0001 Are Statecharts Finite Automata? Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interaction machines, statecharts, finite automata
90Yan Jin, Robert Esser, Jörn W. Janneck A method for describing the syntax and semantics of UML statecharts. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
88Sun Meng, Zhang Naixiao, Luís Soares Barbosa On Semantics and Refinement of UML Statecharts: A Coalgebraic View. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Semantics, Refinement, Statechart, Coalgebra
84Zhaoxia Hu, Sol M. Shatz Explicit modeling of semantics associated with composite states in UML statecharts. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Composite states, State-transition notation, UML, Petri nets, Statecharts
84Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu Reasoning about real-time statecharts in the presence of semantic variations. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, semantics, temporal logics, theorem proving, statecharts
84David N. Jansen, Holger Hermanns, Joost-Pieter Katoen A Probabilistic Extension of UML Statecharts. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model checking, semantics, probabilities, Markov decision processes, UML statecharts
78Vugranam C. Sreedhar, Maria-Cristina V. Marinescu From statecharts to ESP: programming with events, states and predicates for embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multiple classification, statechart, predicate dispatch
78Karl R. P. H. Leung Extending Statecharts with ad lib and multi-thread features. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
74Liuying Li, Zhichang Qi Test Selection from UML Statecharts. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Wp-method, concurrency, test case selection, UML Statecharts
70Michael von der Beeck A structured operational semantics for UML-statecharts. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
68Moria Abadi, Yishai A. Feldman Refactoring of Statecharts. Search on Bibsonomy NGITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
68Jenny Brusk Implementing Social Filter Rules in a Dialogue Manager Using Statecharts. Search on Bibsonomy IVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
68Wei Dong 0006, Ji Wang 0001, Xuan Qi, Zhichang Qi Model Checking UML Statecharts. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
68Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg Horizontal and Vertical Structuring Techniques for Statecharts. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
64Marcello Mura, Marco Paolieri, Luca Negri, Mariagiovanna Sami StateCharts to systemc: a high level hardware simulation approach. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulators, StateCharts, systemC
64Shengchao Qin, Wei-Ngan Chin, Jifeng He 0001, Zongyan Qiu From Statecharts to Verilog: a formal approach to hardware/software co-specification. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws
64Shengchao Qin, Wei-Ngan Chin Mapping Statecharts to Verilog for Hardware/Software Co-specification. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF operational semantics, Statecharts, homomorphism, Verilog
64Gerald Lüttgen, Michael Mendler The intuitionism behind Statecharts steps. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
64Rik Eshuis, David N. Jansen, Roel J. Wieringa Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Search on Bibsonomy Requir. Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Execution semantics, Model checking, Statecharts
60Hywel R. Dunn-Davies, Jim Cunningham Deriving agent-centred representations of protocols described using propositional statecharts. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF propositional statecharts, statecharts, interaction protocols
58Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing Mobile UML Statecharts with Localities. Search on Bibsonomy Global Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58David Harel, Hillel Kugler The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Christian Denger, Marcus Ciolkowski High Quality Statecharts through Tailored, Perspective-Based Inspections. Search on Bibsonomy EUROMICRO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
58Simona Bernardi 0001, Susanna Donatelli, José Merseguer From UML sequence diagrams and statecharts to analysable petrinet models. Search on Bibsonomy Workshop on Software and Performance The full citation details ... 2002 DBLP  DOI  BibTeX  RDF modeling, UML, compositionality, GSPN
58Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang Modeling statecharts and activitycharts as signal equations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
58Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar A Translation of Statecharts to Esterel. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland Statecharts Via Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Kirill Bogdanov 0002, Mike Holcombe, Harbhajan Singh Automated Test Set Generation for Statecharts. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
58Francesca Levi A Process Language for Statecharts. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
58Nancy A. Day An example of linking formal methods with case tools: a model checker for statecharts. Search on Bibsonomy CASCON The full citation details ... 1993 DBLP  BibTeX  RDF
56P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan Test ready UML statechart models. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model based testing, context-free grammar, UML statecharts
56Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF stochasic reward nets, Embedded systems, statecharts, dependability analysis
54Hassan Reza, Kirk Ogaard, Amarnath Malge A Model Based Testing Technique to Test Web Applications Using Statecharts. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web applications, model-based testing, Statecharts, test coverage, GUI testing
54Hallvard Trætteberg Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. Search on Bibsonomy DSV-IS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF UML, Statecharts, user interface model, dialog model
54David Harel, Chaim-Arie Kahana On Statecharts with Overlapping. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF higraphs, visual language, statecharts, reactive systems
53Carlos Renato Lisboa Francês, Marcos José Santana, Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, Regina Helena Carlucci Santana Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts. Search on Bibsonomy SBES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
50Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott Performance Analysis Of Multiagent Industrial System. Search on Bibsonomy CIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu A Supervisor of Traffic Light Systems Using Statecharts. Search on Bibsonomy ICNSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Oscar Díaz, Arantza Irastorza, Maider Azanza, Felipe M. Villoria Modeling Portlet Aggregation Through Statecharts. Search on Bibsonomy WISE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48A. W. Roscoe 0001, Zhenzhong Wu Verifying Statemate Statecharts Using CSP and FDR. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Valdivino Alexandre de Santiago Jr., Ana Silvia Martins do Amaral, Nandamudi L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes A Practical Approach for Automated Test Case Generation using Statecharts. Search on Bibsonomy COMPSAC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin An Automatic Mapping from Statecharts to Verilog. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Xuede Zhan, Huaikou Miao An Approach to Formalizing the Semantics of UML Statecharts. Search on Bibsonomy ER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon Modeling and Testing Agent Systems Based on Statecharts. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Shuhao Li, Ji Wang 0001, Zhi-Chang Qi Property-Oriented Test Generation from UML Statecharts. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Dirk Seifert, Steffen Helke, Thomas Santen Test Case Generation for UML Statecharts. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Emil Sekerinski, Rafik Zurob Translating Statecharts to B. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Gerald Lüttgen, Michael Mendler Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48S. Ramesh Efficient Translation of Statecharts to Hardware Circuits. Search on Bibsonomy VLSI Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Franco Fummi, Mariagiovanna Sami, F. Tartarini Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48Karl R. P. H. Leung, Daniel Kim Chung Chan Extending Statecharts with Duration. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Andrew C. Uselton, Scott A. Smolka A Compositional Semantics for Statecharts using Labeled Transition Systems. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
46Gergely Pintér, István Majzik Runtime Verification of Statechart Implementations. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF temporal logic, Runtime verification, UML statecharts
46Maria Cristina Ferreira de Oliveira, Marcelo Augusto Santos Turine, Paulo César Masiero A statechart-based model for hypermedia applications. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF HMBS, hypermedia specification, statecharts, navigational model, browsing semantics
46Ayaz Isazadeh, David Alex Lamb, Terry Shepard Behavioural Views for Software Requirements Engineering. Search on Bibsonomy Requir. Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Visual languages Correspondence and offprint requests to : D.A. Lamb, Computing and Information Science, Queen’s University, Kingston, Ontario, Canada K7L 3N6. Email: dalamb@qucis.queensu.ca->, Formal methods, Specification languages, Statecharts
46Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen Behavioral Views for Software Requirements Engineering. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Formal Methods, Statecharts, Requirements Specifications
46Ayaz Isazadeh, David Alex Lamb An Algorithmic Semantics for Viewcharts. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Formal Methods, Specification Languages, Statecharts
44Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis Extending statecharts with process algebra operators. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF EB3, Information systems, Process algebras, Statecharts, State transition diagrams
44Liang Guo, Abhik Roychoudhury Debugging Statecharts Via Model-Code Traceability. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Debugging, Traceability, Statecharts, Slicing
44Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam Verification Framework for Detecting Safety Violations in UML Statecharts. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model Checking, Verification, UML Statecharts
44Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web-based tool, software tests, statecharts, test case, verification and validation, collaborative applications
44Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi FSMC+, a tool for the generation of Java code from statecharts. Search on Bibsonomy PPPJ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF evoting, model checking, code generation, statecharts
44Hye Yeon Kim, Frederick T. Sheldon Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
44Andrzej Wasowski Flattening statecharts without explosions. Search on Bibsonomy LCTES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF semantics, embedded, statecharts, program synthesis, automatic code generation
44Toshiaki Arai, Frieder Stolzenburg Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF design implementation, methodologies for specification, robotic soccer (RoboCup), validation standards for agents and multiagent systems, unified modeling language, multiagent systems, statecharts, agent-based software engineering, intelligent manufacturing
44William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner Optimizing Symbolic Model Checking for Statecharts. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
44Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira Hypercharts: Extended Statecharts to Support Hypermedia Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hypermedia applications, hypercharts, semantics, statecharts, requirement specification
44Arcot Sowmya, S. Ramesh 0001 Extending Statecharts with Temporal Logic. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
44Luca Pazzi Extending statecharts for representing parts and wholes. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts
44David Harel, Eran Gery Executable Object Modeling with Statecharts. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects
40Christian Prehofer Plug-and-play composition of features and feature interactions with statechart diagrams. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams
40Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott Performance Evaluation of Multiagent Personalized Information System. Search on Bibsonomy ICAISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 Visual Modeling and Verification of Distributed Reactive Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Emil Sekerinski, Rafik Zurob iState: A Statechart Translator. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Andreas Windisch Search-based test data generation from stateflow statecharts. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF signal generation, optimization, coverage, automation, test data generation, structural testing, simulink, search-based testing, stateflow, model testing
38David Harel Statecharts in the making: a personal account. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Rik Eshuis Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Doron Drusinsky, Man-tak Shing Using UML Statecharts with Knowledge Logic Guards. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
38Marcello Mura, Mariagiovanna Sami Code Generation from Statecharts: Simulation of Wireless Sensor Networks. Search on Bibsonomy DSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38K. R. Jayaram, Aditya P. Mathur On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TLS protocol, MC/DC coverage, Security protocol, Statechart, Security Vulnerability
38Jenny Brusk Dialogue management for social game characters using statecharts. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF believable characters, game design, dialogue management
38David Harel Statecharts in the making: a personal account. Search on Bibsonomy HOPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave Matching and Merging of Statecharts Specifications. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Tilo Mücke, Michaela Huhn Generation of Optimized Testsuites for UML Statecharts with Time. Search on Bibsonomy TestCom The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Xuede Zhan, Huaikou Miao, Ling Liu Formalizing the Semantics of UML Statecharts with Z*. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, formal semantics, Z, UML statechart
38Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif Interactive Verification of Statecharts. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Quan Long, Zongyan Qiu, Shengchao Qin The Equivalence of Statecharts. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Frieder Stolzenburg, Toshiaki Arai From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. Search on Bibsonomy MATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Diego Latella, Mieke Massink On Mobility Extensions of UML Statecharts. A Pragmatic Approach. Search on Bibsonomy FMOODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Ji Wang 0001, Wei Dong 0006, Zhichang Qi Slicing Hierarchical Automata for Model Checking UML Statecharts. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Juan de Lara, Hans Vangheluwe Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Dániel Varró A Formal Semantics of UML Statecharts by Model Transition Systems. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Michael von der Beeck Formalization of UML-Statecharts. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Modeling, Embedded Systems, DEVS
38Luca Pazzi Part-Whole Statecharts for the Explicit Representation of Compound Behaviors. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Gihwon Kwon Rewrite rules and Operational Semantics for Model Checking UML Statecharts. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann Implementing Statecharts in PROMELA/SPIN. Search on Bibsonomy WIFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier A Translation of Statecharts into Signal Approach of Time, Interoperability. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Jan Philipps, Peter Scholz Formal Verification and Hardware Design with Statecharts. Search on Bibsonomy Prospects for Hardware Foundations The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 686 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license