Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Communications of the ACM
A comparison of techniques for the specification of external system behavior
Communications of the ACM
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A grammar-based approach to automatic generation of user-interface dialogues
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
EDGE - a graph based tool for specifying interaction
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
A lattice-structured proof of a minimum spanning
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Software process modeling: principles of entity process models
ICSE '89 Proceedings of the 11th international conference on Software engineering
Representation formalisms for software process modelling
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An operational semantics of real time design language RT-CDL
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Analysis capabilities for requirements specified in statecharts
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Graphical specification of object oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Multi-level specification and verification of real-time software
ICSE '90 Proceedings of the 12th international conference on Software engineering
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Multilevel specification of real time systems
Communications of the ACM - Special issue on software engineering
Impacts of life cycle models on software configuration management
Communications of the ACM
Building visual language parsers
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Visualizing parallel execution of FORTRAN programs
IBM Journal of Research and Development
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Early Experience with the Visual Programmer's WorkBench
IEEE Transactions on Software Engineering
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Event specification in an active object-oriented database
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Communications of the ACM - Special issue on analysis and modeling in software development
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
The process of object-oriented design
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Compiling Real-Time Specifications into Extended Automata
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Simulating reactive systems by deduction
ACM Transactions on Software Engineering and Methodology (TOSEM)
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using VHDL for simulation of SDL specifications
EURO-DAC '92 Proceedings of the conference on European design automation
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
On the purpose of object-oriented analysis
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Roles for composite objects in object-oriented analysis and design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Using statecharts to model hypertext
ECHT '92 Proceedings of the ACM conference on Hypertext
Incremental recognition in gesture-based and syntax-directed diagram editors
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)
On the power of bounded concurrency II: pushdown automata
Journal of the ACM (JACM)
Computer
A concurrent process model of software development
ACM SIGSOFT Software Engineering Notes
ACM SIGPLAN OOPS Messenger
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Case Study: Darlington Nuclear Generating Station
IEEE Software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
CIKM '94 Proceedings of the third international conference on Information and knowledge management
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Software scheduling in the co-synthesis of reactive real-time systems
DAC '94 Proceedings of the 31st annual Design Automation Conference
Hardware-software co-design and ESDA
DAC '94 Proceedings of the 31st annual Design Automation Conference
Specifying user interfaces in DisCo
ACM SIGCHI Bulletin
ADVcharts: a visual formalism for interactive systems
ACM SIGCHI Bulletin
Controlling real-time asynchronous tasks with ESTEREL synchronous language
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Extended timing diagrams as a specification language
EURO-DAC '94 Proceedings of the conference on European design automation
EURO-DAC '94 Proceedings of the conference on European design automation
100-hour design cycle: a test case
EURO-DAC '94 Proceedings of the conference on European design automation
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
GC: the data-flow graph format of synchronous programming
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
Formal specification of reusable interface objects
SSR '95 Proceedings of the 1995 Symposium on Software reusability
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software synthesis for real-time information processing systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Extending the statechart formalism: event scheduling & disposition
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
HCSM: a framework for behavior and scenario control in virtual environments
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on graphics, animation, and visualization for simulation environments
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Cosimulation of real-time control systems
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
VHDL-based communication and synchronization synthesis
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
Experiences and lessons from the analysis of TCAS II
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A logic-model semantics for SCR software requirements
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Fair transition system specification: an integrated approach
ACM SIGPLAN Notices
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
The virtual cinematographer: a paradigm for automatic real-time camera control and directing
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking large software specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Semantics-Based Inference Algorithms for Adaptive Visual Environments
IEEE Transactions on Software Engineering
DAC '96 Proceedings of the 33rd annual Design Automation Conference
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Tool support for requirements formalisation
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A system for compiling and debugging structured data processing controllers
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Mapping statechart models onto an FPGA-based ASIP architecture
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
Towards a computer aided simulation model engineering (CASME) environment
WSC '93 Proceedings of the 25th conference on Winter simulation
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Rapid prototyping of microprocessor-based systems
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Automatic verification of parameterized linear networks of processes
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Design and synthesis of array structured telecommunication processing applications
DAC '97 Proceedings of the 34th annual Design Automation Conference
Transformational partitioning for co-design of multiprocessor systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
A navigation-oriented hypertext model based on statecharts
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Improving efficiency of symbolic model checking for state-based system requirements
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
A note on state modeling through inheritance
ACM SIGSOFT Software Engineering Notes
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
XHMBS: a formal model to support hypermedia specification
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
DAC '98 Proceedings of the 35th annual Design Automation Conference
Partitioning and optimizing controllers synthesized from hierarchical high-level descriptions
DAC '98 Proceedings of the 35th annual Design Automation Conference
Design of a SPDIF receiver using protocol compiler
DAC '98 Proceedings of the 35th annual Design Automation Conference
System-level exploration with SpecSyn
DAC '98 Proceedings of the 35th annual Design Automation Conference
Kin: a high performance asynchronous processor architecture
ICS '98 Proceedings of the 12th international conference on Supercomputing
Actor-based computing: vision forestalled, vision fulfilled
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
From Centralized Workflow Specification to Distributed WorkflowExecution
Journal of Intelligent Information Systems - Special issue on workflow management systems
The Synchronous Approach to Designing Reactive Systems
Formal Methods in System Design - Special issue: industrial critical systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Checking properties of safety critical specifications using efficient decision procedures
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Multilanguage design of heterogeneous systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
A statechart based HW/SW codesign system
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Decoupling synchronization from local control for efficient symbolic model checking of statecharts
Proceedings of the 21st international conference on Software engineering
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ipChinook: an integrated IP-based design framework for distributed embedded systems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Communications of the ACM
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
IEEE Transactions on Software Engineering
Turning clockwise: using UML in the real-time domain
Communications of the ACM
Software process modeling example
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Robots: a real-time systems architectural style
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
The CIP method: component- and model-based construction of embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
PRIME—toward process-integrated modeling environments: 1
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Smart virtual prototypes: distributed 3D product simulations for Web based environments
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal
IEEE Transactions on Computers
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Modeling industrial embedded systems with UML
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Heterogeneous modeling and simulation of embedded systems in El Greco
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
BDL: A Specialized Language for Per-Object Reactive Control
IEEE Transactions on Software Engineering
A Hierarchical Test Generation Approach for Large Controllers
IEEE Transactions on Computers
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Action Language: a specification language for model checking reactive systems
Proceedings of the 22nd international conference on Software engineering
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
An algorithm for blob hierarchy layout
AVI '00 Proceedings of the working conference on Advanced visual interfaces
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering
An Implementation of Constructive Synchronous Programs in POLIS
Formal Methods in System Design
Probabilistic application modeling for system-level perfromance analysis
Proceedings of the conference on Design, automation and test in Europe
PSCP: a scalable parallel ASIP architecture for reactive systems
Proceedings of the conference on Design, automation and test in Europe
Innovative system-level design environment based on FORM for transport processing system
Proceedings of the conference on Design, automation and test in Europe
Graphical entry of FSMDs revisited: putting graphical models on a solid base
Proceedings of the conference on Design, automation and test in Europe
High-level specification and efficient implementation of pipelined circuits
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Agent-oriented modeling with graph transformation
First international workshop, AOSE 2000 on Agent-oriented software engineering
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
Formal Methods in System Design
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
A survey of object-oriented methodologies
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
System-level power/performance analysis for embedded systems design
Proceedings of the 38th annual Design Automation Conference
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A scalable formal method for design and automatic checking of user interfaces
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Policy algebras for access control: the propositional case
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Systematic validation of a relational control program for the bay area rapid transit system
High integrity software
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A visual language for sketching large and complex interactive designs
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
Agent-oriented analysis and modeling
ACM SIGSOFT Software Engineering Notes
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
Traffic analysis for on-chip networks design of multimedia applications
Proceedings of the 39th annual Design Automation Conference
Towards model based prediction of human error rates in interactive systems
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments
IEEE Transactions on Software Engineering
On the complexity of verifying concurrent transition systems
Information and Computation
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
STATEMATE: a working environment for the development of complex reactive systems
Readings in hardware/software co-design
Control generation for embedded systems based on composition of modal processes
Readings in hardware/software co-design
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Co-synthesis and co-simulation of control-dominated embedded systems
Readings in hardware/software co-design
CoWare---a design environment for heterogeneous hardware/software systems
Readings in hardware/software co-design
Ptolemy: a framework for simulating and prototyping heterogeneous systems
Readings in hardware/software co-design
Using extended positional grammars to develop visual modeling languages
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A Methodology for Architecture-Level Reliability Risk Analysis
IEEE Transactions on Software Engineering
Investigating the readability of state-based formal requirements specification languages
Proceedings of the 24th International Conference on Software Engineering
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From program languages to software languages
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
A practical approach to implementing real-time semantics
Annals of Software Engineering
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Automated class testing using threaded multi-way trees to represent the behaviour of state machines
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Mapping software: Are we nearing standardization?
Annals of Software Engineering
OPM/Web – Object-Process Methodology for Developing Web Applications
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Automated Software Engineering
A Nondeterministic Extension over Finitely Recursive ProcessModel
Discrete Event Dynamic Systems
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
A Theory of Object-Oriented Design
Information Systems Frontiers
HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing
Multimedia Tools and Applications
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
Verification of Hierarchical State/Event Systems using Reusability and Compositionality
Formal Methods in System Design
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Recent Advances in Hierarchical Reinforcement Learning
Discrete Event Dynamic Systems
Virtual Instrument Toolkit: Rapid Prototyping on the Web
IEEE Internet Computing
System Specification with the SpecCharts Language
IEEE Design & Test
Conceptual Prototyping of Scalable Embedded DSP Systems
IEEE Design & Test
Scheduling for Reactive Real-Time Systems
IEEE Micro
The Core Method for Real-Time Requirements
IEEE Software
Reduced Length Checking Sequences
IEEE Transactions on Computers
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods
IEEE Transactions on Software Engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
A comparison of Statecharts step semantics
Theoretical Computer Science
On disjunction of literals in triggers of statecharts transitions
Information Processing Letters
Biocomputation: modeling and analyzing biomolecular networks
Computing in Science and Engineering
ViSta: a tool suite for the visualization of behavioral requirements
Journal of Systems and Software
Nordic Journal of Computing
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Scenario-Based Analysis of Component Compositions
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Syntactic and Semantic Graphics Recognition: The Role of the Object-Process Methodology
GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Mobile Active Object for Highly Dynamic Distributed Computing
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
M-CODD: A Technique for the Conceptual Design of Multimedia Databases
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
Formal Verification and Hardware Design with Statecharts
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
DEALed - A Tool Suite for Distributed Real-Time Systems Development
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A Specification-Oriented Framework for Information System User Interfaces
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
And/Or Hierarchies and Round Abstraction
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Correct Real-Time Software for Programmable Logic Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
An Object-Oriented Web Test Model for Testing Web Applications
COMPSAC '00 24th International Computer Software and Applications Conference
Modeling Web Navigation by Statechart
COMPSAC '00 24th International Computer Software and Applications Conference
Towards Team-Automata-Driven Object-Oriented Collaborative Work
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Mappings and Interoperability: A Meta-modelling Approach
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Revisable Analysis and Design throughout Actors Interaction
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Visual Abstractions for Temporal Verification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
The ADORA Approach to Object-Oriented Modeling of Software
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
From User Requirements to User Interfaces: A Methodological Approach
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A State Machine Based Approach for a Process Driven Development of Web-Applications
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Communicating Hierarchical State Machines
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Transactional Computation: Overview and Discussion
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Semantic Model of Real-Time UML
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Slicing Hierarchical Automata for Model Checking UML Statecharts
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
µ-Chart-Based Specification and Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From a B Specification to UML StateChart Diagrams
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Pattern Matching and Membership for Hierarchical Message Sequence Charts
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Tool-Based Specification of Visual Languages and Graphic Editors
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
From Object-Process Diagrams to a Natural Object-Process Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Symbolic Functional Evaluation
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Specification and Verification of a Steam-Boiler with Signal-Coq
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A Structural Embedding of Ocsid in PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Specifying Rational Agents with Statecharts and Utility Functions
RoboCup 2001: Robot Soccer World Cup V
System on Chip Specification and Design Languages Standardization
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A User Oriented System for Developing Behavior Based Agents
RoboCup-98: Robot Soccer World Cup II
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Exploiting Hierarchical Structure for Efficient Formal Verification
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On the Combination of Synchronous Languages
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Heuristics for Hierarchical Partitioning with Application to Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Formal Specification of M-Agent Architecture
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Unification of the Models for Types, Classes and State Machines
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Embedded Control: From Asynchrony to Synchrony and Back
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Co-simulation of Hybrid Systems: Signal-Simulink
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Incorporation of Test Functionality into Software Components
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Integration of Analog and Discrete Synchronous Design
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Specification and Verification of Secure Business Transaction Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Representing Embedded System Sequence Diagrams as a Formal Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Executable Design Models for a Pervasive Healthcare Middleware System
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Formal Specification and Development of a Safety-Critical Train Management System
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Risk Ordering of States in Safecharts
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Safety Analysis of the Height Control System for the Elbtunnel
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Disjunctive Constraints for Interactive Graphical Applications
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
View Integration of Object Life-Cycles in Object-Oriented Design
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Specification of an Active Database System Application Using Dynamic Relation Nets
CL '00 Proceedings of the First International Conference on Computational Logic
An Algorithmic Framework for Visualizing Statecharts
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Automated Test Set Generation for Statecharts
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Enriching the Software Development Process by Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Translation of Statecharts to Esterel
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Analysis of Recursive State Machines
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Exploiting Behavioral Hierarchy for Efficient Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
An Algebraic Foundation for Higraphs
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
REFLIX: A Processor Core for Reactive Embedded Applications
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Multithreading for Logic-Centric Systems
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The Design of a Tool-Supported Graphical Notation for Timed CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Contributions for Modelling UML State-Charts in B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Reengineering C/C++ Source Code by Transforming State Machines
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
A Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
The MERLin Environment Applied to *-NFAs
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
A Graphical Environment for the Specification and Verification of Reactive Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Towards an Automatic Integration of Statecharts
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Combining Theorem Proving and Continuous Models in Synchronous Design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Models for cooperative activities over the web
Web-enabled systems integration
Evaluating real-time software specification languages
Computer Standards & Interfaces
Modeling and verification of parallel processes
Towards team-automata-driven object-oriented collaborative work
Formal and natural computing
Information processing and technology
Programming methodology
Programming methodology
Object-oriented programming and software development: a critical assessment
Programming methodology
Integrating and customizing heterogeneous e-commerce applications
The VLDB Journal — The International Journal on Very Large Data Bases
XML-enabled workflow management for e-services across heterogeneous platforms
The VLDB Journal — The International Journal on Very Large Data Bases
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Codesign-extended applications
Proceedings of the tenth international symposium on Hardware/software codesign
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
Proceedings of the tenth international symposium on Hardware/software codesign
Transformation of SDL specifications for system-level timing analysis
Proceedings of the tenth international symposium on Hardware/software codesign
Model-Based Autonomy in Deep-Space Missions
IEEE Intelligent Systems
Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
From scenarios to code: an air traffic control case study
Proceedings of the 25th International Conference on Software Engineering
Programmer I'interaction avec des machines à états hiérarchiques
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
On efficient program synthesis from statecharts
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Statecharts supervision models for reactive systems
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
On the automation of code generation for user interface models
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Statecharts Supervision Models for Soft Real-Time Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Step by Step from Specification to Realization of an Electrochemical Microsystem
EDTC '96 Proceedings of the 1996 European conference on Design and Test
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
Design and implementation of an object-oriented ATM network simulator
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Modular Code Generation from Hybrid Automata based on Data Dependency
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
The verification System by Dense Timing Constraints and Probabilitie
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Towards a User-Friendly Design and Verification Environment
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Safecharts for Specifying and Designing Safety Critical Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Extending the Concept of Mixin to Multidimensional Objects
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
The architectural specification of an avionic subsystem
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Automated modular specification and verification of real-time reactive systems
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Object-Oriented Behaviour Modelling or Real-Time Design
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A scenario language to orchestrate virtual world evolution
Proceedings of the 2003 ACM SIGGRAPH/Eurographics symposium on Computer animation
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Methodological Approach to the Requirement Specification of Embedded Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Risk Bands - A Novel Feature of Safecharts
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Formal Methods of Analysis of System Properties
Cybernetics and Systems Analysis
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Structure-preserving binary relations for program abstraction
The essence of computation
Authoring scenes for adaptive, interactive performances
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
SLuHrG: a scenario language to partially constrain autonomous agents activity
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Generating test sequences from a set of MSCs
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Proceedings of the 16th IEEE international conference on Automated software engineering
Applying Conventional Testing Techniques for Class Testing
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Extending Statecharts with Duration
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Fundamenta Informaticae - Concurrency specification and programming
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
UML for real
PX systems = P systems + X machines
Natural Computing: an international journal
Mapping concurrent applications onto architectural platforms
Networks on chip
Business modelling with UML: distilling directions for future research
Enterprise information systems IV
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Recent Advances in Hierarchical Reinforcement Learning
Discrete Event Dynamic Systems
Deterministic finite automata with recursive calls and DPDAs
Information Processing Letters
Visualizing graphical and textual formalisms
Information Systems
The priority queue as an example of hardware/software codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Conceptual modeling with the object-process methodology in software architecture
Journal of Computing Sciences in Colleges
Translating system specifications to VHDL
EURO-DAC '91 Proceedings of the conference on European design automation
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Specifying reactive systems with attributed finite state machines
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Experiences using statecharts for a system requirements specification
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Developing reactive systems in a VDM framework
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Formalizing UML class diagrams
UML and the unified process
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
An example of linking formal methods with case tools: a model checker for statecharts
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Toward flexible and fault tolerant intelligent manufacturing: Sensible agents in shop-floor control
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Use of Statechart Diagrams for Modeling of Hypertext
Programming and Computing Software
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Combining analysis and synthesis in a model of a biological cell
Proceedings of the 2004 ACM symposium on Applied computing
FSM-Hume: programming resource-limited systems using bounded automata
Proceedings of the 2004 ACM symposium on Applied computing
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model-based programming of fault-aware systems
AI Magazine
The happy marriage of architecture and application in next-generation reconfigurable systems
Proceedings of the 1st conference on Computing frontiers
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Interaction with In-Vehicle Electronic Systems: A Complete Description of a Neural Network Approach
Neural Processing Letters
Specifying and executing requirements: the play-in/play-out approach
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Action-oriented conceptual modelling
European Journal of Information Systems
On-chip traffic modeling and synthesis for MPEG-2 video applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Security check: a formal yet practical framework for secure software architecture
Proceedings of the 2003 workshop on New security paradigms
On the testability of SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Design of cataloging rules using conceptual modeling of cataloging process
Journal of the American Society for Information Science and Technology
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Flattening statecharts without explosions
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
FSM--based power modeling of wireless protocols: the case of bluetooth
Proceedings of the 2004 international symposium on Low power electronics and design
On deriving equivalent architecture model from system specification
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study
Languages for system specification
UML-based specifications of an embedded system oriented to HW/SW partitioning: a case study
Languages for system specification
Dynamic vision-based intelligence
AI Magazine
A model-based approach to integrating security policies for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
Defining and translating a "safe" subset of simulink/stateflow into lustre
Proceedings of the 4th ACM international conference on Embedded software
Cell Modeling Using Agent-Based Formalisms
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Model interchange and integration for web services
ACM SIGSOFT Software Engineering Notes
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
Modeling Web-Based Dialog Flows for Automatic Dialog Control
Proceedings of the 19th IEEE international conference on Automated software engineering
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Topiary: a tool for prototyping location-enhanced applications
Proceedings of the 17th annual ACM symposium on User interface software and technology
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
OPM vs. UML—Experimenting with Comprehension and Construction of Web Application Models
Empirical Software Engineering
Behavioral models as service descriptions
Proceedings of the 2nd international conference on Service oriented computing
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
The unless switch: adding conditional logic to concept mapping for middle school students
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Sketch-based rapid prototyping platform for hardware-software integrated interactive products
CHI '05 Extended Abstracts on Human Factors in Computing Systems
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Use-case components for interactive information systems
Science of Computer Programming - Special issue on new software composition concepts
Software composition and verification for sensor networks
Science of Computer Programming - Special issue on new software composition concepts
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture differencing for self management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Supporting the cognitive process of user interface design with reusable design cases
International Journal of Human-Computer Studies
Lightweight object specification with typestates
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Querying business processes with BP-QL
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
From statecharts to ESP: programming with events, states and predicates for embedded systems
Proceedings of the 5th ACM international conference on Embedded software
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Proceedings of the 5th ACM international conference on Embedded software
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
Skiing the embedded systems mountain
ACM Transactions on Embedded Computing Systems (TECS)
Conceptual modelling of web information systems
Data & Knowledge Engineering
Modeling biological systems: a unified approach
ACM SIGSOFT Software Engineering Notes
Generation of visual editors as eclipse plug-ins
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A framework for learning coordinated behavior
GECCO '05 Proceedings of the 7th annual workshop on Genetic and evolutionary computation
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
Quality Assurance in the Design of Web Information Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Scheduling of transactions for system-level test-case generation
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
Towards on-chip fault-tolerant communication
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
A formalism for functionality preserving system level transformations
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Static analysis and automatic code synthesis of flexible FSM model
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Cell modeling with reusable agent-based formalisms
Applied Intelligence
Research challenges in embedded and hybrid systems
ACM SIGBED Review
Research challenges in embedded and hybrid systems
ACM SIGBED Review
State chart visualization of the control flow within an ACT-R/PM user model
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
Using a script model to preserve the consistency within an UI design environment
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Heterogeneous behavioral hierarchy for system level designs
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Comfortable modeling of complex reactive systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Programming rich interactions using the hierarchical state machine toolkit
Proceedings of the working conference on Advanced visual interfaces
Concurrency in Synchronous Systems
Formal Methods in System Design
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Active capture design case study: SIMS faces
DUX '05 Proceedings of the 2005 conference on Designing for User eXperience
Ten top reasons for systems biology to get into model-driven engineering
Proceedings of the 2006 international workshop on Global integrated model management
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Computers and Operations Research
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science - Algebraic methodology and software technology
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Towards supporting the architecture design process through evaluation of design alternatives
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM
IHM 2005 Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine
INDIGO: une architecture pour la conception d'applications graphiques interactives distribuées
IHM 2005 Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine
Vers des outils pour les équipes de conception d'interfaces post-WIMP
IHM 2004 Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine
Une architecture de dialogue basée sur un modèle pour les applications web
IHM 2004 Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine
Vérification de règles ergonomiques sur un modèle de navigation des applications web
IHM 2004 Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Process modeling for simulation
Computers in Industry
Logic and refinement for charts
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Developing safety-critical systems: the role of formal methods and tools
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
High-Level Modeling and FPGA Prototyping of Produced Order Parallel Queue Processor Core
The Journal of Supercomputing
UML 2: a model-driven development tool
IBM Systems Journal - Model-driven software development
Reflective physical prototyping through integrated design, test, and analysis
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Finding a learning path: toward a swarm intelligence approach
WBE'06 Proceedings of the 5th IASTED international conference on Web-based education
Extensible control architectures
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
EPspectra: a formal toolkit for developing DSP software applications
Theory and Practice of Logic Programming
Verification of system level model transformations
International Journal of Parallel Programming
Protothreads: simplifying event-driven programming of memory-constrained embedded systems
Proceedings of the 4th international conference on Embedded networked sensor systems
ASM-based design of data warehouses and on-line analytical processing systems
Journal of Systems and Software - Special issue: Quality software
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing maintainable software: the READABLE approach
Decision Support Systems
Process modelling support for the conceptual modelling phase of a simulation project
Proceedings of the 38th conference on Winter simulation
Comprehensive and realistic modeling of biological systems
Proceedings of the 38th conference on Winter simulation
Symbolic modeling of signal transduction in pathway logic
Proceedings of the 38th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
Moving architectural description from under the technology lamppost
Information and Software Technology
Noesis: Towards a situational method engineering technique
Information Systems
Journal of Visual Languages and Computing
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
StateCharts to systemc: a high level hardware simulation approach
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Stateful aspects: the case for aspect-oriented modeling
Proceedings of the 10th international workshop on Aspect-oriented modeling
An Observational Theory for Mobile Ad Hoc Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
BUSpec: A framework for generation of verification aids for standard bus protocol specifications
Integration, the VLSI Journal
UML for ESL design: basic principles, tools, and applications
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Estimating software complexity from UML models
ACM SIGSOFT Software Engineering Notes
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
Towards a new method for the evaluation of reality based interaction
CHI '07 Extended Abstracts on Human Factors in Computing Systems
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Information Systems Research
Local Module Checking for CTL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Causal Graph Based Decomposition of Factored MDPs
The Journal of Machine Learning Research
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Feature Oriented Model Driven Development: A Case Study for Portlets
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Gaining Insight into Executable Models during Runtime: Architecture and Mappings
IEEE Distributed Systems Online
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
PeaCE: A hardware-software codesign environment for multimedia embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
Specifying and controlling multi-channel web interfaces for enterprise applications
Information Systems Frontiers
Software architecture using fine-grained event-driven reactive components
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Experience with a language for writing coherence protocols
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
BDL: a language to control the behavior of concurrent objects
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
SHIFT and SMART-AHS: a language for hybrid system engineering modeling and simulation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Pitfalls of UML 2 Activity Modeling
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Generating Code from Scenario and State Based Models to Address Crosscutting Concerns
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
HMI generation for plug-in services from semantic descriptions
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Creating and Validating Embedded Assertion Statecharts
IEEE Distributed Systems Online
A reconfigurable concurrent function block model and its implementation in real-time Java
Integrated Computer-Aided Engineering
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
An Operational Semantics and Compiler for Real-Time Specifications
Integrated Computer-Aided Engineering
Co-Testing: Granting Testability in a Codesign Environment
Integrated Computer-Aided Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
FSMC+, a tool for the generation of Java code from statecharts
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Graphical inheritance notation for state-based classes
Programming and Computing Software
Modular typestate checking of aliased objects
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
SoCDAL: System-on-chip design AcceLerator
ACM Transactions on Design Automation of Electronic Systems (TODAES)
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Towards Trace Visualization and Exploration for Reactive Systems
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Statechart Features and Pre-Release Defects in Software Maintenance
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Event-based process monitoring
Engineering Applications of Artificial Intelligence
Reliable device drivers require well-defined protocols
HotDep'07 Proceedings of the 3rd workshop on on Hot Topics in System Dependability
A language-driven approach for the design of interactive applications
Interacting with Computers
DEAL: dialogue management in SCXML for believable game characters
Future Play '07 Proceedings of the 2007 conference on Future Play
Deriving agent-centred representations of protocols described using propositional statecharts
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
GemCell: A generic platform for modeling multi-cellular biological systems
Theoretical Computer Science
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Electronic Notes in Theoretical Computer Science (ENTCS)
A formalism for visual security protocol modeling
Journal of Visual Languages and Computing
Combining micro and macro-modeling in DEVS for computational biology
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Object-oriented technologies for automated manufacturing systems development
International Journal of Computer Applications in Technology
Multi-formalism modelling and model transformation for the design of reactive systems
Proceedings of the 2007 Summer Computer Simulation Conference
Activity-based optimization of cooperative development processes in chemical engineering
Proceedings of the 2007 Summer Computer Simulation Conference
State-oriented programming for TinyOS
Proceedings of the 2007 Summer Computer Simulation Conference
The OSA project: an example of component based software engineering techniques applied to simulation
Proceedings of the 2007 Summer Computer Simulation Conference
Electronic Notes in Theoretical Computer Science (ENTCS)
Preserving coordination properties when transforming concurrent system components
Proceedings of the 2008 ACM symposium on Applied computing
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
Increasing the determinism in real-time operating systems for ERC32 architecture
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements-based test case specification by using information from model construction
Proceedings of the 3rd international workshop on Automation of software test
Journal of Visual Languages and Computing
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
Towards an integrated system model for testing and verification of automation machines
Proceedings of the 2008 international workshop on Models in software engineering
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Hybrid statecharts to model continuous and discrete behavior in engineering systems
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
EventScript: an event-processing language based on regular expressions with actions
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Artifact-centered operational modeling: lessons from customer engagements
IBM Systems Journal
Modeling human computer interactions with automata
ICECS'03 Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing
Formalising device driver interfaces
Proceedings of the 4th workshop on Programming languages and operating systems
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Querying business processes with BP-QL
Information Systems
Merging Hierarchically-Structured Documents in Workflow Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Diagnosability Analysis of a Class of Hierarchical State Machines
Discrete Event Dynamic Systems
Statechart features and pre-release maintenance defects
Journal of Visual Languages and Computing
Resource-Oriented Design Framework for Embedded System Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Model-driven design and implementation of discrete event control for a machine tool control system
International Journal of Computer Integrated Manufacturing
Verification of well-formed communicating recursive state machines
Theoretical Computer Science
SwingStates: adding state machines to Java and the Swing toolkit
Software—Practice & Experience
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Improving an interactive visualization of transition systems
Proceedings of the 4th ACM symposium on Software visualization
Transformational design of an interactive component straddling communication streams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Mathematical tool of discrete dynamic modeling of complex systems in control loop
MATH'08 Proceedings of the American Conference on Applied Mathematics
Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
Towards a Delegation Framework for Aerial Robotic Mission Scenarios
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Model-Driven Development of Reliable Automotive Services
Towards Verification of Model Transformations Via Goal-Directed Certification
Model-Driven Development of Reliable Automotive Services
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Graphical Concrete Syntax Rendering with SVG
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Supporting the UML State Machine Diagrams at Runtime
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Immune Systems and Computation: An Interdisciplinary Adventure
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Implementing Social Filter Rules in a Dialogue Manager Using Statecharts
IVA '08 Proceedings of the 8th international conference on Intelligent Virtual Agents
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Improving robustness of evolving exceptional behaviour in executable models
Proceedings of the 4th international workshop on Exception handling
Viewcharts: Syntax and Semantics
Informatica
Dynamic adaptive software components: the MOCAS approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Video analysis of hockey play in selected game situations
Image and Vision Computing
An Ontology-Based Adaptation Framework for Multimodal Interactive Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
State model extraction of a software component by observing its behavior
ACM SIGSOFT Software Engineering Notes
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker
International Journal of Artificial Intelligence and Soft Computing
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Reactive mode handling of flexible manufacturing systems
Mathematics and Computers in Simulation
Original papers: Model-checking for adventure videogames
Information and Software Technology
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
A Case for ViewPoints and Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Partial Order Hierarchical Reinforcement Learning
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reconciling statechart semantics
Science of Computer Programming
XAL: A Web Oriented Programming Language Based on Timed-Automata
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
A Rice-style theorem for parallel automata
Information and Computation
Crafting game-models using reactive system design
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Journal of Systems and Software
Tangible augmented prototyping of digital handheld products
Computers in Industry
Dialogue management for social game characters using statecharts
ACE '08 Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology
Organizing User Interface Patterns for e-Government Applications
Engineering Interactive Systems
Using spreadsheets for finite state modelling
Proceedings of the 2nd India software engineering conference
Heterogeneous composition of models of computation
Future Generation Computer Systems
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
ESPranto SDK: an adaptive programming environment for tangible applications
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Proceedings of the 4th ACM European conference on Computer systems
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Teaching skills and concepts for embedded systems design
ACM SIGBED Review
Synchronous objects with scheduling policies: introducing safe shared memory in lustre
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Experimenting statecharts for multiple experts knowledge elicitation in agriculture
Expert Systems with Applications: An International Journal
A framework for managing the life-cycle of event-driven, embedded applications
Journal of Embedded Computing - Design and Optimization for High Performance Embedded Systems
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
Modeling biological reactivity: statecharts vs. Boolean logic
Proceedings of the Working Conference on Advanced Visual Interfaces
Management and object behavior of statecharts through statechart DNA
WSEAS Transactions on Information Science and Applications
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
StateStream: a developer-centric approach towards unifying interaction models and architecture
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Implementing Reactive Systems with UML State Machines and Ada 2005
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies
Software Engineering for Self-Adaptive Systems
Domain-Specific Language for HW/SW Co-design for FPGAs
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Are Statecharts Finite Automata?
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Typestate protocol specification in JML
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Modelling composite document behaviour with concurrent hierarchical state machines
Proceedings of the 9th ACM symposium on Document engineering
Rapid Development of Scoped User Interfaces
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance
ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
A method to build information systems engineering process metamodels
Journal of Systems and Software
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Modelling Product-User Interaction for Inclusive Design
UAHCI '09 Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009
Designing a Metamodel-Based Recommender System
EC-Web 2009 Proceedings of the 10th International Conference on E-Commerce and Web Technologies
Practical API Protocol Checking with Access Permissions
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Using UML to Model EAE and Its Regulatory Network
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Empirical Software Engineering
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
A finite-state turn-taking model for spoken dialog systems
NAACL '09 Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Electronic Notes in Theoretical Computer Science (ENTCS)
SyncCharts in C: a proposal for light-weight, deterministic concurrency
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Typestate-oriented programming
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
Computational research on interaction and agency
Artificial Intelligence
Proceedings of the 2009 international conference on Multimodal interfaces
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
On the computational power of BlenX
Theoretical Computer Science
A static verification approach for architectural integration of mixed-signal integrated circuits
Integration, the VLSI Journal
Virtual prototyping of automated manufacturing systems with Geometry-driven Petri nets
Computer-Aided Design
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Interactive web environment for collaborative and extensible diagram based learning
Computers in Human Behavior
Formal verification of PLC controlled systems using sensor graphs
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
An evaluation of timed scenario notations
Journal of Systems and Software
Process modeling for simulation
Computers in Industry
Using UML Statecharts with Knowledge Logic Guards
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Intrinsic Monitoring Using Behaviour Models in IPv6 Networks
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Control in printing systems: modular reconfigurable media paths
ACC'09 Proceedings of the 2009 conference on American Control Conference
Computing SyncCharts Reactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronous Estelle: Just Another Synchronous Language?
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying Component Behavior with Port State Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse
Electronic Notes in Theoretical Computer Science (ENTCS)
UML Automatic Verification Tool with Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing Complexity in Software Development with Formally Based Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modeling Of Middleware-based Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Validation Coverage for a Component-based SDL model of a Railway Signaling System
Electronic Notes in Theoretical Computer Science (ENTCS)
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
synERJY An Object-oriented Synchronous Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Calculus For Wireless Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Operational Semantics of a UML-Kernel-Model Language
Electronic Notes in Theoretical Computer Science (ENTCS)
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Electronic Notes in Theoretical Computer Science (ENTCS)
Autonomic fault mitigation in embedded systems
Engineering Applications of Artificial Intelligence
Turing machines, transition systems, and interaction
Information and Computation
Dynamic graphical UML views from formal B specifications
Information and Software Technology
A complete testing strategy based on interacting and hierarchical FSMs
Integration, the VLSI Journal
Separation of concerns in automation of code generation
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Automatic test case generation through a collaborative web application
EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Combination of models and logs for visual analysis of data from usability evaluation
HCI '08 Proceedings of the Third IASTED International Conference on Human Computer Interaction
Implementation of supervisory control systems based on state machines
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Models and tools for managing development processes
Models and tools for managing development processes
Models for Interactive Narrative actions
Proceedings of the Sixth Australasian Conference on Interactive Entertainment
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
The specification of visual language syntax
Journal of Visual Languages and Computing
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
The JOpera visual composition language
Journal of Visual Languages and Computing
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
d.note: revising user interfaces through change tracking, annotations, and alternatives
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Constraint-guided self-adaptation
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Abstraction in reasoning about higraph-based systems
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Verifying the behaviour of virtual environment world objects
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Agent UML class diagrams revisited
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
The behavior-oriented design of modular agent intelligence
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
A framework for inter-society communication in agents
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Dialog modeling for multiple devices and multiple interaction modalities
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Model-based support for specifying eService eGovernment applications
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Comparing NiMMiT and data-driven notations for describing multimodal interaction
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
A reference architecture for situated multiagent systems
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Deriving state-based implementations of interactive components with history abstractions
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
BPM'03 Proceedings of the 2003 international conference on Business process management
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Part-whole statecharts for the explicit representation of compound behaviours
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
The MOCA platform: simulating the dynamics of social networks
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Architectural design, behavior modeling and run-time verification of network embedded systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Automatic test generation with AGATHA
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A formal specification language for agent conversations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Collaborative design prototyping tool for hardware software integrated information appliances
ICVR'07 Proceedings of the 2nd international conference on Virtual reality
Behavioural specifications from class models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Comprehensive task and dialog modelling
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
A task model proposal for web sites usability evaluation for the ErgoMonitor environment
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
Using event-driven lightweight DSC-based agents for MAS modelling
International Journal of Agent-Oriented Software Engineering
Observability and controllability of wireless software components
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Modelling protocols for multiagent interaction by F-logic
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
From task to dialog model in the UML
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Developing state diagrams using a state specialization technique
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
A Bayesian model for predicting reliability of software systems at the architectural level
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
On the correctness of model transformations in the development of embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The calculus of looping sequences
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Software architecture and mobility: A roadmap
Journal of Systems and Software
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A common core for active conceptual modeling for learning from surprises
Active conceptual modeling of learning
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
UML statecharts' PTL formal semantics
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Applying the composition filter model for runtime verification of multiple-language software
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
The reaction algebra: a formal language for event correlation
Pillars of computer science
Application-specific reuse of agent roles
Software engineering for large-scale multi-agent systems
Domain specific model-based development of software for programmable logic controllers
Computers in Industry
Using dynamic execution traces and program invariants to enhance behavioral model inference
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
International Journal of Internet Technology and Secured Transactions
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Hybrid control for embodied agents applications
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Secure information flow analysis for hardware design: using the right abstraction for the job
PLAS '10 Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Superstate identification for state machines using search-based clustering
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Improving the performance of complex agent plans through reinforcement learning
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Cybernetics and Systems Analysis
Multi-platform user interface derivation from one task model
ACE'10 Proceedings of the 9th WSEAS international conference on Applications of computer engineering
A model driven engineering design approach for developing multi-platform user interfaces
WSEAS Transactions on Computers
Automatically generating predicates and solutions for configuration troubleshooting
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Modular synthesis of mobile device applications from domain-specific models
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Rapid prototyping with HW/SW codesign tool
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Situation assessment and decision making integrated into the process centered environment
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Multi-domain surety modeling and analysis for high assurance systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
The implementation and application of statecharts in real-time system in high energy physics
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
Efficient high-level modeling in the networking domain
Proceedings of the Conference on Design, Automation and Test in Europe
Component architecture of model-based testing environment
Programming and Computing Software
WCRT algebra and interfaces for Esterel-style synchronous processing
Proceedings of the Conference on Design, Automation and Test in Europe
Simulation of fully autonomous control of unmanned air vehicles for maritime surveillance
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Exploring models of computation with ptolemy II
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Towards an open framework for conceptual knowledge in ECBS domain and information modelling
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Systems modeling, simulation and analysis using COVERS active objects
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Some thoughts on the semantics of biocharts
Time for verification
What is in a step: new perspectives on a classical question
Time for verification
Entropy and software systems: towards an information-theoretic foundation of software testing
Proceedings of the FSE/SDP workshop on Future of software engineering research
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Automata and processes on multisets of communicating objects
Natural Computing: an international journal
Proving and visualizing OCL invariant independence by automatically generated test cases
TAP'10 Proceedings of the 4th international conference on Tests and proofs
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Autonomous and Adaptive Communications Systems
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Transforming process models: executable rewrite rules versus a formalized java program
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Systematic translation rules from ASTD to event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Human centered design in the air traffic control system
Journal of Intelligent Manufacturing
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Formal Methods in System Design
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Suitability of mCRL2 for concurrent-system design: a 2 × 2 switch case study
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Clara: partially evaluating runtime monitors at compile time tutorial supplement
RV'10 Proceedings of the First international conference on Runtime verification
SIGDIAL '10 Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Running-modes of real-time systems: a case-study with mode-automata
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Modeling software requirement with timing diagram and Simulink Stateflow
Information and Software Technology
Safe controllers design for industrial automation systems
Computers and Industrial Engineering
ROCOM'11/MUSP'11 Proceedings of the 11th WSEAS international conference on robotics, control and manufacturing technology, and 11th WSEAS international conference on Multimedia systems & signal processing
Identifying properties of UML state machine diagrams that affect data and control dependence
Proceedings of the 2011 ACM Symposium on Applied Computing
Toward high-level reuse of statechart-based AI in computer games
Proceedings of the 1st International Workshop on Games and Software Engineering
Real-world semantics of conceptual models
The evolution of conceptual modeling
Semantic quality attributes for big-step modelling languages
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
How to communicate smartly with your house?
International Journal of Ad Hoc and Ubiquitous Computing
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Caisson: a hardware description language for secure information flow
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
The brave new world of design requirements
Information Systems
Cybernetics and Systems Analysis
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Modeling security attacks with statecharts
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Communications of the ACM
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Expert-sided workflow data acquisition by means of an interactive interview system
HCD'11 Proceedings of the 2nd international conference on Human centered design
Search based hierarchy generation for reverse engineered state machines
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Refitting harel statecharts for systemic mathematical models in computational immunology
ICARIS'11 Proceedings of the 10th international conference on Artificial immune systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Software and Systems Modeling (SoSyM)
UML formal semantics: lessons learned
Software and Systems Modeling (SoSyM)
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Complexity metrics for hierarchical state machines
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Emerging technologies- the base for the next goal of process control: risk and hazard control
GAVTASC'11 Proceedings of the 11th WSEAS international conference on Signal processing, computational geometry and artificial vision, and Proceedings of the 11th WSEAS international conference on Systems theory and scientific computation
From ASTD access control policies to WS-BPEL processes deployed in a SOA environment
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Monitoring aspects for the customization of automatically generated code for big-step models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
First-class state change in plaid
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Graded CTL model checking for test generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Transforming UML2.0 class diagrams and statecharts to atomic DEVS
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Information and Software Technology
Domain-specific engineering of domain-specific languages
Proceedings of the 10th Workshop on Domain-Specific Modeling
Analysis of a metamodel to estimate complexity of using a domain-specific language
Proceedings of the 10th Workshop on Domain-Specific Modeling
Modeling parallel state charts for multithreaded multimodal dialogues
ICMI '11 Proceedings of the 13th international conference on multimodal interfaces
Combining UML, ASTD and B for the formal specification of an access control filter
Innovations in Systems and Software Engineering
Feasibility study of utility-directed behaviour for computer game agents
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology
Using basic Statechart to program industrial controllers
Computer Standards & Interfaces
Actor-eUML for concurrent programming
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Generating Hierarchical State Based Representation From Event-B Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-Driven development of RTOS-Based embedded software
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
An approach for reversely generating hierarchical UML statechart diagrams
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Finite state history modeling and its precise UML-based semantics
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Constrained data acquisition for mobile citizen science applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Towards self-coordinating ubiquitous computing environments
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Formal specification of holonic multi-agent systems framework
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
A petri net based approach for process model driven deduction of BPEL code
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
29 new unclarities in the semantics of UML 2.0 state machines
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An automatic mapping from statecharts to verilog
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Static analysis of device drivers: we can do better!
Proceedings of the Second Asia-Pacific Workshop on Systems
Hierarchies, holons, and agent coordination
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
State machine based operating system architecture for wireless sensor networks
PDCAT'04 Proceedings of the 5th international conference on Parallel and Distributed Computing: applications and Technologies
Analysing user confusion in context aware mobile applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Towards the automation of e-negotiation processes based on web services – a modeling approach
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Multiple representations of biological processes
Transactions on Computational Systems Biology VI
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Type inference and type checking for queries over execution traces
The VLDB Journal — The International Journal on Very Large Data Bases
Modular artifact synthesis from domain-specific models
Innovations in Systems and Software Engineering
Refinement patterns for hierarchical UML state machines
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Performance modeling and analysis of context-aware mobile software systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Color-Blind specifications for transformations of reactive synchronous programs
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Abstract machines of systems biology
Transactions on Computational Systems Biology III
Towards timed automata and multi-agent systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
JML-Testing-Tools: a symbolic animator for JML specifications using CLP
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Persuasive dialogues in an intelligent tutoring system for medical diagnosis
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Model transformation language MOLA
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Specifying a mobile computing infrastructure and services
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Online workflow management and performance analysis with stampede
Proceedings of the 7th International Conference on Network and Services Management
An autonomic open marketplace for service management and resilience
Proceedings of the 7th International Conference on Network and Services Management
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
DE2M: An environment for developing distributed and executable enterprise models
Advances in Engineering Software
Coordinated control for highly reconfigurable systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Participation components for holding roles in multiagent systems protocols
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Proving properties of stateflow models using ISO standard z and CADiZ
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Combining state-based and scenario-based approaches in modeling biological systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Architecture composition for concurrent systems
Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture
Modular reasoning about region composition
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Management of feature interactions with transactional regions
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Turn taking for artificial conversational agents
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Developing high quality software with formal methods: what else is needed?
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Model checking for timed statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Making metamodels aware of concrete syntax
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On the combination of domain specific modeling languages
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A story about formal methods adoption by a railway signaling manufacturer
FM'06 Proceedings of the 14th international conference on Formal Methods
Modular design of man-machine interfaces with larissa
SC'06 Proceedings of the 5th international conference on Software Composition
Finding shortest witnesses to the nonemptiness of automata on infinite words
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Relating automata to other fields
Journal of Computing Sciences in Colleges
Integrating free-flow architectures with role models based on statecharts
Software Engineering for Multi-Agent Systems III
The ANote modeling language for agent-oriented specification
Software Engineering for Multi-Agent Systems III
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Video model for dynamic objects
Information Sciences: an International Journal
Multi-modal scenarios revisited: A net-based representation
Theoretical Computer Science
An enhanced composition model for conversational enterprise javabeans
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Modularity and composition in propositional statecharts
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A pedagogical view on software modeling and graph-structured diagrams
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Logic control law design for automated manufacturing systems
Engineering Applications of Artificial Intelligence
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science
A novel approach to modechart verification of real-time systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
The hierarchical compositional interchange format
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Separation of concerns with transactional regions
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Journal of Systems Architecture: the EUROMICRO Journal
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Heuristics to verify LTL properties of hierarchical systems
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Teaching formal methods in a third world country: what, why and how
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Round-trip software engineering with codedesigner RAD
BICA'12 Proceedings of the 5th WSEAS congress on Applied Computing conference, and Proceedings of the 1st international conference on Biologically Inspired Computation
Model-Driven Development with eUML-ARC
Proceedings of the 27th Annual ACM Symposium on Applied Computing
ACM SIGSOFT Software Engineering Notes
Formalizing non-concurrent UML state machines using colored petri nets
ACM SIGSOFT Software Engineering Notes
Refinement-oriented models of Stateflow charts
Science of Computer Programming
Validating Quality Attribute Requirements
Software—Practice & Experience
Argos: an automaton-based synchronous language
Computer Languages
Designing a multiway synchronization protocol
Computer Communications
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Challenges of a Validation Process Based on Models: An Industrial Case Study
Bell Labs Technical Journal
Automated computer forensics training in a virtualized environment
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Cognitive concepts in autonomous soccer playing robots
Cognitive Systems Research
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
A systematic review of code generation proposals from state machine specifications
Information and Software Technology
Task-level data model for hardware synthesis based on concurrent collections
Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology
Model translations among big-step modeling languages
Proceedings of the 34th International Conference on Software Engineering
Modeling agent-based traffic simulation properties in Alloy
Proceedings of the 2012 Symposium on Agent Directed Simulation
Modeling road traffic signals control using UML and the MARTE profile
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Calibration of deployment simulation models: a multi-paradigm modelling approach
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Automatic recovery of statecharts from procedural code
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
A novel approach to modeling context-aware and social collaboration processes
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
An integrated framework for multiprocessor, multimoded real-time applications
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Representing category and continuum: visualizing thought
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
International Journal of Human-Computer Studies
Fundamenta Informaticae
Conditioned model slicing of feature-annotated state machines
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
Semantics Of Timed Concurrent Systems
Fundamenta Informaticae
GamiCAD: a gamified tutorial system for first time autocad users
Proceedings of the 25th annual ACM symposium on User interface software and technology
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Engineering device-spanning, multimodal web applications using a model-based design approach
Proceedings of the 18th Brazilian symposium on Multimedia and the web
Declarative access policies based on objects, relationships, and states
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Executable Modeling of Morphogenesis: A Turing-Inspired Approach
Fundamenta Informaticae - Watching the Daisies Grow: from Biology to Biomathematics and Bioinformatics — Alan Turing Centenary Special Issue
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
A 'plug and play' approach to testing virtual environment interaction techniques
EG VE'00 Proceedings of the 6th Eurographics conference on Virtual Environments
Diamod: a tool for modeling dialogue applications
Proceedings of the COLING-2000 Workshop on Using Toolsets and Architectures To Build NLP Systems
IrisTK: a statechart-based toolkit for multi-party face-to-face interaction
Proceedings of the 14th ACM international conference on Multimodal interaction
A new method for describing the syntax and semantics of VIEWCHARTS
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Statechart development beyond WYSIWYG
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Joinpoint inference from behavioral specification to implementation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
An industrial application of formal model based development: the Metrô Rio ATP case
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
The coroutine model of computation
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Domain specific modeling for operations research simulation in a large industrial context
Proceedings of the 2012 workshop on Domain-specific modeling
Improving symbolic execution for statechart formalisms
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Formal semantics of modular time refinement in AutoFocus
Computer Science - Research and Development
Proceedings of the Winter Simulation Conference
Automatic generation of object-oriented code from DEVS graphical specifications
Proceedings of the Winter Simulation Conference
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Furhat: a back-projected human-like robot head for multiparty human-machine interaction
COST'11 Proceedings of the 2011 international conference on Cognitive Behavioural Systems
Prototyping domain specific languages as extensions of a general purpose language
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Polyglot: systematic analysis for multiple statechart formalisms
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Science of Computer Programming
P: safe asynchronous event-driven programming
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Science of Computer Programming
Task implementation of synchronous finite state machines
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Design and optimization of multi-clocked embedded systems using formal technique
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Frontiers of Computer Science: Selected Publications from Chinese Universities
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Reconfigurable hardware for fuzzy controller
International Journal of High Performance Systems Architecture
An object-oriented implementation of concurrent and hierarchical state machines
Information and Software Technology
The FTG+PM framework for multi-paradigm modelling: an automotive case study
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Viewpoints, formalisms, languages, and tools for cyber-physical systems
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
QoS-based approach for context-aware service selection with fuzzy preferences handling
International Journal of Computer Applications in Technology
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Model-based, event-driven programming paradigm for interactive web applications
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Journal of Systems and Software
Automated driving aids: modeling, analysis, and interface design considerations
Proceedings of the 5th International Conference on Automotive User Interfaces and Interactive Vehicular Applications
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
Characterization of adaptable Interpreted-DSML
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Comparing the multimodal interaction technique design of MINT with NiMMiT
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Compositional verification of a medical device system
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Computer Languages, Systems and Structures
Merging partial behaviour models with different vocabularies
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Reusable abstractions for modeling languages
Information Systems
Hardware implementations of software programs based on hierarchical finite state machine models
Computers and Electrical Engineering
Vibes: A visual language for specifying behavioral requirements of algorithms
Journal of Visual Languages and Computing
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
Journal of Systems Architecture: the EUROMICRO Journal
An agent-based approach for the design and analysis of content delivery networks
Journal of Network and Computer Applications
Design synthesis and optimization for automotive embedded systems
Proceedings of the 2014 on International symposium on physical design
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A granular hierarchical multiview metrics suite for statecharts quality
Advances in Software Engineering
Compositional approach to the development of reactive algorithms
Cybernetics and Systems Analysis
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Verification and enforcement of access control policies
Formal Methods in System Design
Hi-index | 0.14 |