Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Marcelo Augusto Santos Turine, Maria Cristina Ferreira de Oliveira, Paulo César Masiero |
HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing. |
Multim. Tools Appl. |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis |
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
stochasic reward nets, Embedded systems, statecharts, dependability analysis |
21 | I. D. Bates, E. Graeme Chester, David J. Kinniment |
A statechart based HW/SW codesign system. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
CFSMs, POLIS, statecharts |
21 | S. Hadji, Joël Favrel |
Statechart and automations in the supervisory robust control. |
APMS |
1999 |
DBLP BibTeX RDF |
|
21 | Diego Latella, István Majzik, Mieke Massink |
Towards a Formal Operational Semantics of UML Statechart Diagrams. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
21 | Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. Keller |
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Claude Ackad |
Statechart-Based HW/SW-Codesign of a Multi-FPGA-Board and a Microprocessor. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Claude Ackad |
Software Synthesis from Statechart Models for Real Time Systems. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
21 | Rakefet Kol, Ran Ginosar, Goel Samuel |
Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems. |
ASYNC |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Christian Veith, Klaus Buchenrieder, Andreas Pyttel |
Mapping statechart models onto an FPGA-based ASIP architecture. |
EURO-DAC |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Arthur Allen, Dennis de Champeaux |
Extending the Statechart Formalism: Event Scheduling & Disposition. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Y. Maillot, S. Wendling |
A Method for Translating Automatically Statechart Models into VHDL Code. |
EUROSIM |
1995 |
DBLP BibTeX RDF |
|
21 | Thomas A. Mück |
Design Support for Initiatives and Policies in Conceptual Models of Information Systems - A Statechart Approach. |
HICSS (4) |
1994 |
DBLP BibTeX RDF |
|
21 | Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan |
Completeness in Statechart Models for Reactive Systems. |
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems |
1993 |
DBLP BibTeX RDF |
|
20 | Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl |
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
test case generation, LOTOS, UML Statechart |
20 | Lirong Qiu, Liang Chang 0003, Fen Lin, Zhongzhi Shi |
Context optimization of AI planning for semantic Web services composition. |
Serv. Oriented Comput. Appl. |
2007 |
DBLP DOI BibTeX RDF |
SOA, Context-aware, Statechart, AI planning |
20 | Boualem Benatallah, Marlon Dumas, Quan Z. Sheng |
Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services. |
Distributed Parallel Databases |
2005 |
DBLP DOI BibTeX RDF |
dynamic provider selection, peer-to-peer interaction, Web service, Web service composition, statechart, Web service orchestration |
20 | Vugranam C. Sreedhar, Maria-Cristina V. Marinescu |
From statecharts to ESP: programming with events, states and predicates for embedded systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
multiple classification, statechart, predicate dispatch |
20 | Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán |
Formalization of UML state machines using temporal logic. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
UML, specification, formal semantics, interval temporal logic, Statechart diagrams |
20 | Sun Meng, Zhang Naixiao, Luís Soares Barbosa |
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Statechart, Coalgebra |
20 | David Harel, Gregory Yashchin |
An algorithm for blob hierarchy layout. |
Vis. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Higraph, Hierarchy, Layout, Statechart, Aesthetics |
20 | Andreas Pyttel, Alexander Sedlmeier, Christian Veith |
PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
FPGA, modular, statechart, application-specific |
20 | David Harel, Amnon Naamad |
The STATEMATE Semantics of Statecharts. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
semantics, statechart, reactive system, behavioral modeling, STATEMATE |
12 | Mathew Hall |
Search based hierarchy generation for reverse engineered state machines. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui |
Transforming UML models to colored petri nets models using graph grammars. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jirí Hýsek, Milan Ceska 0001, Vladimír Janousek |
Model-Based Design and Verification of Reactive Systems. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
formal verification, reactive systems, model-based design, state charts |
12 | Hywel R. Dunn-Davies, Jim Cunningham |
Verifying realizability and reachability in recursive interaction protocol specifications. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
propositional statecharts, verification, interaction protocols |
12 | Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo |
Implementing Reactive Systems with UML State Machines and Ada 2005. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005 |
12 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Interface Generation and Compositional Verification in JavaPathfinder. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel |
Toward Verified Biological Models. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
modeling, verification, statecharts, C. elegans |
12 | Jongmyung Choi, Chae-Woo Yoo |
Connect with Things through Instant Messaging. |
IOT |
2008 |
DBLP DOI BibTeX RDF |
Human-Thing Communication, Thing-Thing Communication, Instant Messaging |
12 | Rafal Mrowka, Tomasz Szmuc |
UML Statecharts Compositional Semantics in LOTOS. |
ISPDC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mikhail Auguston, Mark B. Trakhtenbrot |
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam |
Verification Framework for Detecting Safety Violations in UML Statecharts. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Verification, UML Statecharts |
12 | Jenny Brusk |
Implementing Social Filter Rules in a Dialogue Manager Using Statecharts. |
IVA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Hendrik Voigt, Thomas Ruhroth |
A Quality Circle Tool for Software Models. |
ER |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jun Kong, Dianxiang Xu |
A UML-Based Framework for Design and Analysis of Dependable Software. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Yang Su, Xuan-Wu Zhou, Min-Qing Zhang |
Research on Modeling Traversing Features in Concurrent Software System. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Precise Semantics of EMF Model Transformations by Graph Transformation. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development |
12 | Alexander Pretschner, Wolfgang Prenninger |
Computing refactorings of state machines. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Michelle L. Crane, Jürgen Dingel |
UML vs. classical vs. rhapsody statecharts: not all models are created equal. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Fintan Culwin |
Learning beans: design, implementation & evaluation. |
BCS HCI (2) |
2007 |
DBLP DOI BibTeX RDF |
learning activity management systems (lams), learning beans, learning frameworks, usability, learning objects |
12 | Stefan Sauer 0001, Gregor Engels |
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
prototype generation, capture-replay, user interface, Model-driven development, meta-design |
12 | Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb |
Implementation of a Finite State Machine with Active Libraries in C++. |
GTTSE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger |
Model-Driven Construction of Certified Binaries. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Fei He 0001, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Zhaoxia Hu, Sol M. Shatz |
Explicit modeling of semantics associated with composite states in UML statecharts. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Composite states, State-transition notation, UML, Petri nets, Statecharts |
12 | Rik Eshuis |
Symbolic model checking of UML activity diagrams. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Unified Modeling Language, activity diagrams |
12 | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally |
Modularity and Composition in Propositional Statecharts. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Steffen Prochnow, Reinhard von Hanxleden |
Comfortable modeling of complex reactive systems. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Zoltán Micskei, István Majzik |
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. |
DepCoS-RELCOMEX |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael Breen |
All Things Considered: Inspecting Statecharts by Model Transformation. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael von der Beeck |
A Formal Semantics of UML-RT. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Björn Hartmann, Scott R. Klemmer, Michael S. Bernstein, Leith Abdulla, Brandon Burr, Avi Robinson-Mosher, Jennifer Gee |
Reflective physical prototyping through integrated design, test, and analysis. |
UIST |
2006 |
DBLP DOI BibTeX RDF |
integrating physical & digital, prototyping, toolkits, design tools, information appliances, design thinking |
12 | Fredrik Kronlid |
Turn Taking for Artificial Conversational Agents. |
CIA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sahobimaholy Ravelomanana, Silvia C. S. Bianchi, Chibili Joumaa, Michelle Sibilla |
A Contextual GRID Monitoring by a Model Driven Approach. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Leif Geiger, Albert Zündorf |
Story driven testing - SDT. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
test-first principle, code generation, scenarios |
12 | Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc |
An Experimental Investigation of Formality in UML-Based Development. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Comprehension of software models, software engineering experimentation, UML, OCL |
12 | Alexander Pretschner, Wolfgang Prenninger |
Computing Refactorings of Behavior Models. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Tetsuro Katayama, Yusuke Yabuya |
Proposal of a Method to Support Testing for Java Programs with UML. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
test items, Java, Unified Modeling Language (UML), software testing, functional testing |
12 | Yijun Yu, Yiqiao Wang 0001, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio César Sampaio do Prado Leite |
Reverse Engineering Goal Models from Legacy Code. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Albert C. Esterline, Chafic BouSaba, Barbara Pioro, Abdollah Homaifar |
Hierarchies, Holons, and Agent Coordination. |
WRAC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Juan de Lara, Gabriele Taentzer |
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation |
12 | Leif Geiger, Albert Zündorf |
Developing Tools with Fujaba XProM. |
GTTSE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Holger Hermanns, David N. Jansen, Yaroslav S. Usenko |
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems |
12 | Mark B. Trakhtenbrot |
Use of Verification for Testing and Debugging of Complex Reactive Systems. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
12 | David N. Jansen, Holger Hermanns |
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Pierre Kelsen |
A Simple Static Model for Understanding the Dynamic Behavior of Programs. |
IWPC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gergely Pintér, István Majzik |
Modeling and Analysis of Exception Handling by Using UML Statecharts. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
model checking, UML, formal methods, Exception handling |
12 | Danny Weyns, Elke Steegmans, Tom Holvoet |
Integrating Free-Flow Architectures with Role Models Based on Statecharts. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Thouraya Bouabana-Tebibel, Mounira Belmesk |
Formalization of UML object dynamics and behavior. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Doron Drusinsky, Man-tak Shing |
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Karsten Diethers, Michaela Huhn |
Vooduu: Verification of Object-Oriented Designs Using UPPAAL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jari Peltonen, Samuel Lahtinen, Kai Koskimies |
A Specification Technique for Model Based Derivation of Speech Interfaces. |
VL/HCC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Juan-Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
12 | Lionel C. Briand, Yvan Labiche, H.-D. Yan, Massimiliano Di Penta |
A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Vitus S. W. Lam, Julian A. Padget |
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. |
CEC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande Berbers |
A Design Process for Adaptive Behavior of Situated Agents. |
AOSE |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm |
A Semantics for Distributed Execution of Statemate. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Distributed systems, Semantics, Statemate |
12 | Dirk Seifert, Steffen Helke, Thomas Santen |
Test Case Generation for UML Statecharts. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Franck Barbier, Nicolas Belloir |
Component Behavior Prediction and Monitoring through Built-In Test. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Andrzej Wasowski |
On efficient program synthesis from statecharts. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
embedded systems, statecharts, program synthesis, automatic code generation |
12 | Toyoaki Tomura, Satoshi Kanai, Takeshi Kishinami |
A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Pattern. |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Nguyen Truong Thang, Takuya Katayama |
Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. |
IWPSE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | R. Geoff Dromey |
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Subash Shankar, Sinan Asa |
Formal Semantics of UML with Real-Time Constructs. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ye Wu, Mei-Hwa Chen, Jeff Offutt |
UML-Based Integration Testing for Component-Based Software. |
ICCBSS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jan Murray |
Specifying Agent Behaviors with UML Statecharts and StatEdit. |
RoboCup |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Diego Latella, Mieke Massink |
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ping Jiang 0001, Quentin Mair, Julian Newman |
Using UML to Design Distributed Collaborative Workflows: from UML to XPDL. |
WETICE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Doug Goldson, Greg Reeve |
Semantic Properties of mu-Charts. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Michael von der Beeck |
A structured operational semantics for UML-statecharts. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts |
12 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
12 | Huaikou Miao, Ling Liu, Li Li |
Formalizing UML Models with Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jan Jürjens |
A UML statecharts semantics with message-passing. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications |
12 | Albert C. Esterline |
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
12 | João Araújo 0001, Jonathan Whittle 0001, José Ambrosio Toval Álvarez, Robert B. France |
Integration and Transformation of UML Models. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
12 | István Majzik, Gábor Huszerl |
Towards Dependability Modeling of FT-CORBA Architectures. |
EDCC |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Stephan Flake, Wolfgang Müller 0003 |
An OCL Extension for Real-Time Constraints. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
The Use of the GXL Approach for Supporting Visual Language Specification and Interchanging. |
HCC |
2002 |
DBLP DOI BibTeX RDF |
Visual Programming Environments Generators, UML, Visual Languages, Statecharts, GXL |