On statecharts with overlapping
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
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
Model checking large software specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Mapping statechart models onto an FPGA-based ASIP architecture
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Model Checking Large Software Specifications
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
Structuring and Design of Reactive Systems Using RSDS and B
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
RoboCup 2001: Robot Soccer World Cup V
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th 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
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Semantics and Correctness of Reactive Rule-Based Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Risk Ordering of States in Safecharts
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
Safecharts for Specifying and Designing Safety Critical Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Risk Bands - A Novel Feature of Safecharts
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Extending Statecharts with Duration
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
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
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge engineering in the communication of Information for safety critical systems
The Knowledge Engineering Review
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Static analysis and automatic code synthesis of flexible FSM model
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
StateCharts to systemc: a high level hardware simulation approach
Proceedings of the 17th ACM Great Lakes symposium on VLSI
BUSpec: A framework for generation of verification aids for standard bus protocol specifications
Integration, the VLSI Journal
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Constructing customized process views
Data & Knowledge Engineering
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
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
Model Checking Hybrid Multiagent Systems for the RoboCup
RoboCup 2007: Robot Soccer World Cup XI
Reconciling statechart semantics
Science of Computer Programming
Embedded systems programming: accessing databases from Esterel
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines, transition systems, and interaction
Information and Computation
Towards UML-based formal specifications of component-based real-time software
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hybrid multiagent systems with timed synchronization: specification and model checking
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
What is in a step: new perspectives on a classical question
Time for verification
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
Constructive semantics for instantaneous reactions
Theoretical Computer Science
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
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
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
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
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
Formal methods and human communication
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd 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
Argos: an automaton-based synchronous language
Computer Languages
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |