Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Ira Diethelm, Leif Geiger, Albert Zündorf |
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Holger Giese, Florian Klein 0001, Sven Burmester |
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Walter Cazzola, Ahmed Ghoneim, Gunter Saake |
Software Evolution through Dynamic Adaptation of Its OO Desgin. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
Consistency Validation, UML, Reflection, Software Evolution, Dynamic Reconfiguration, XMI |
10 | Subash Shankar, Sinan Asa |
Formal Semantics of UML with Real-Time Constructs. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
10 | David Harel |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Alur |
Formal Analysis of Hierarchical State Machines. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
10 | John Power, Konstantinos Tourlas |
Abstraction in Reasoning about Higraph-Based Systems. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Matthias Tichy, Holger Giese |
Seamless UML Support for Service-Based Software Architectures. |
FIDJI |
2003 |
DBLP DOI BibTeX RDF |
Development methodologies for UML, service-based architectures, design of distributed Java applications |
10 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Real-Time Systems Development Using Hierarchical State Machines. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
Specifying and Validating Reactive Systems with CommonKADS Methodology. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings |
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. |
PROMAS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon |
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
10 | David Harel, Orna Kupferman |
On Object Systems and Behavioral Inheritance. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design |
10 | David Harel, Gregory Yashchin |
An algorithm for blob hierarchy layout. |
Vis. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Higraph, Hierarchy, Layout, Statechart, Aesthetics |
10 | Rajeev Alur, Michael McDougall, Zijiang Yang |
Exploiting Behavioral Hierarchy for Efficient Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Boualem Benatallah, Quan Z. Sheng, Anne H. H. Ngu, Marlon Dumas |
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services. |
ICDE |
2002 |
DBLP DOI BibTeX RDF |
Web services interoperation, peer-to-peer provisioning, service communities, Web services, service composition |
10 | Vincent Hilaire, Abder Koukam, Pablo Gruer |
A Mechanism for Dynamic Role Playing. |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services |
2002 |
DBLP DOI BibTeX RDF |
Multi-agent systems, formal specification, methodology |
10 | Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline |
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | 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 |
|
10 | Gregor Engels, Luuk Groenewegen |
Towards Team-Automata-Driven Object-Oriented Collaborative Work. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Walter Cazzola, Ahmed Ghoneim, Gunter Saake |
Reflective Analysis and Design for Adapting Object Run-Time Behavior. |
OOIS |
2002 |
DBLP DOI BibTeX RDF |
Meta-Objects, UML, Design Pattern, Reflection, Software Evolution |
10 | Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
A Case Study Using the Round-Trip Strategy for State-Based Class Testing. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Nasreddine Aoumeur, Gunter Saake |
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Rakesh Mohan, Mitchell A. Cohen, Josef Schiefer |
A State Machine Based Approach for a Process Driven Development of Web-Applications. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Tom Holvoet, Elke Steegmans |
Application-Specific Reuse of Agent Roles. |
SELMAS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day |
Composable semantics for model-based notations. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
model-based notations, communication, concurrency, composition, operational semantics, formal analysis |
10 | István Majzik, Gábor Huszerl |
Towards Dependability Modeling of FT-CORBA Architectures. |
EDCC |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Phillip J. Brooke, Richard F. Paige |
The Design of a Tool-Supported Graphical Notation for Timed CSP. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
process algebra, tool support, graphical notation, Timed CSP |
10 | Franz-Josef Rammig |
Synthesis Aspects of the PARADISE Design Environment. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Martin Gogolla, Mark Richters |
Development of UML Descriptions with USE. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Joseph Gil, John Howse, Stuart Kent 0001 |
Advanced visual modelling: beyond UML. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
UML |
10 | Blaise Genest, Anca Muscholl |
Pattern Matching and Membership for Hierarchical Message Sequence Charts. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
Model Checking UML Specifications of Real Time Software. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jochen Malte Küster, Joachim Stroop |
Consistent Design of Embedded Real-Time Systems with UML-RT. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault |
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Analysis of Recursive State Machines. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Steffen Helke, Florian Kammüller |
Representing Hierarchical Automata in Interactive Theorem Provers. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam |
A Formal Specification of M-Agent Architecture. |
CEEMAS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Xiaojun Liu 0001, Yuhong Xiong, Edward A. Lee |
The Ptolemy II Framework for Visual Languages. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Raimondas Lencevicius, Edu Metz, Alexander Ran |
Tracing Execution of Software for Design Coverage. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Harold W. Thimbleby |
Affordance and Symmetry. |
DSV-IS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | John Power, Konstantinos Tourlas |
An Algebraic Foundation for Higraphs. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou |
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Rik Eshuis, Roel J. Wieringa |
A Real-Time Execution Semantics for UML Activity Diagrams. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Nanette Bauer, Ralf Huuck |
Towards Automatic Verification of Embedded Control Software. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Mor Peleg, Dov Dori |
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology |
10 | Günter Graw, Peter Herrmann, Heiko Krumm |
Verification of UML-Based Real-Time System Designs by Means of cTLA. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Alur, Radu Grosu |
Modular Refinement of Hierarchic Reactive Machines. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Florence Maraninchi, Yann Rémond, Yannick Raoul |
MATOU: An Implementation of Mode-Automata. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Radu Grosu |
And/Or Hierarchies and Round Abstraction. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jan Murray, Oliver Obst, Frieder Stolzenburg |
RoboLog Koblenz 2000. |
RoboCup |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Lynette van Zijl, John-Paul Harper, Frank Olivier |
The MERLin Environment Applied to *-NFAs. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Nimal Nissanke, Hamdan Dammag |
Risk Bands - A Novel Feature of Safecharts. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
Modeling the Dynamics of UML State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Alur |
Exploiting Hierarchical Structure for Efficient Formal Verification. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos, Pauline Kan |
Invariant-Based Synthesis of Fault-Tolerant Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
10 | David Harel, Orna Kupferman |
On the Behavioral Inheritance of State-Based Objects. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Kevin Lano, Kelly Androutsopoulos, David Clark 0001 |
Structuring and Design of Reactive Systems Using RSDS and B. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alain Girault, Bilung Lee, Edward A. Lee |
Hierarchical finite state machines with multiple concurrency models. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Leue, Gerard J. Holzmann |
v-Promela: A Visual, Object-Oriented Language for SPIN. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jörg Niere, Albert Zündorf |
Testing and Simulating Production Control Systems Using the Fujaba Environment. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jörg Niere, Albert Zündorf |
Using FUJABA for the Development of Production Control Systems. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Nancy A. Lynch |
High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Baufreton |
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Vered Gafni |
Robots: A Real-Time Systems Architectural Style. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Antonio Mendes da Silva Filho |
Toward More Reliable Telecom Systems. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Gennaro Costagliola, Filomena Ferrucci, Giuseppe Polese, Giuliana Vitiello |
The Development of Hierarchical Visual Languages. |
ICIAP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Hamdan Dammag, Nimal Nissanke |
Safecharts for Specifying and Designing Safety Critical Systems. |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Kirsten Winter, Thomas Santen, Maritta Heisel |
An Agenda for Specifying Software Components with Complex Data Models. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Bilung Lee, Edward A. Lee |
Hierarchical Concurrent Finite State Machines in Ptolemy. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
concurrency, finite state machine, heterogeneity, hierarchy |
10 | René Klösch, Johannes Weidl, Georg Trausmuth, Harald C. Gall |
Facilitating Program Comprehension via Generic Components for State Machines. |
WPC |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Müller-Wipperfürth |
Extensions and Semantics of Controller State Diagrams for Practical Applications. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov |
COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems. |
DIS-RT |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken |
The SEA Language for System Engineering and Animation. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Rosângela A. D. Penteado, Fernão Stella R. Germano, Paulo César Masiero |
An Overall Process Based on Fusion to Reverse Engineer Legacy Code. |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
legacy code reverse engineering, object-oriented systems development, Fusion/RE, statechart editing, statechart simulation, application documentation, conversion effort, reverse engineering, metrics, heuristics, tools, fusion method, data reverse engineering |
10 | C. Murray Woodside |
A Three-View Model for Performance Engineering of Concurrent Software. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
software dynamics, paths in software, Software design, software performance engineering |
10 | Kevin Lano |
Reactive System Specification and Refinement. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages |
10 | Andrew C. Uselton |
Structured Operational Semantics for Concurrency and Hierarchy. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena |
ADVcharts: a graphical specification for abstract data views. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
10 | Tirza Hirst, David Harel |
On the Power of Bounded Concurrency II: The Pushdown Automata Level. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko |
Modular Verification of Petri Nets: The Temporal Logic Approach. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
modular system design, verification, Petri nets, specification, temporal logic, computer architecture |
10 | Florence Maraninchi |
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
10 | John L. Gustafson |
Reevaluating Amdahl's Law. |
Commun. ACM |
1988 |
DBLP DOI BibTeX RDF |
|