The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
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
Modeling reactive systems in Java
Proceedings of the 6th international workshop on Hardware/software codesign
Modeling reactive systems in Java
ACM Transactions on Design Automation of Electronic Systems (TODAES)
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
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Heterogeneous modeling and simulation of embedded systems in El Greco
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
YAPI: application modeling for signal processing systems
Proceedings of the 37th Annual Design Automation Conference
Synthesis and optimization of coordination controllers for distributed embedded systems
Proceedings of the 37th Annual Design Automation Conference
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
A comparison of Statecharts step semantics
Theoretical Computer Science
On disjunction of literals in triggers of statecharts transitions
Information Processing Letters
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
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th 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
Representing Hierarchical Automata in Interactive Theorem Provers
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th 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
A Probabilistic Extension of UML Statecharts
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
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Developing Control Systems Components
IFM '00 Proceedings of the Second 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
Object-oriented programming and software development: a critical assessment
Programming methodology
PCC: a modeling technique for mixed control/data flow systems
EDTC '97 Proceedings of the 1997 European conference on Design and Test
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
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
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
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
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
AutoMoDe - Model-Based Development of Automotive Software
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
From statecharts to ESP: programming with events, states and predicates for embedded systems
Proceedings of the 5th ACM international conference on Embedded software
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Static analysis and automatic code synthesis of flexible FSM model
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Model driven security: From UML models to access control infrastructures
ACM Transactions on Software Engineering and Methodology (TOSEM)
Environmental modeling with UML
Formal methods for embedded distributed systems
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
IEEE Design & Test
A timing model for synchronous language implementations in simulink
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
StateCharts to systemc: a high level hardware simulation approach
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
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
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Verification of Model Transformations Via Goal-Directed Certification
Model-Driven Development of Reliable Automotive Services
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Reconciling statechart semantics
Science of Computer Programming
Experimenting statecharts for multiple experts knowledge elicitation in agriculture
Expert Systems with Applications: An International Journal
StateStream: a developer-centric approach towards unifying interaction models and architecture
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
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
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)
The function block model in embedded control and automation from IEC61131 to IEC61499
WSEAS Transactions on Computers
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
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
What is in a step: new perspectives on a classical question
Time for verification
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Models of reactive systems: communication, concurrency, and causality
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
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
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
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
UML formal semantics: lessons learned
Software and Systems Modeling (SoSyM)
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
Modeling parallel state charts for multithreaded multimodal dialogues
ICMI '11 Proceedings of the 13th international conference on multimodal interfaces
Using basic Statechart to program industrial controllers
Computer Standards & Interfaces
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
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
Journal of Systems Architecture: the EUROMICRO Journal
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
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Argos: an automaton-based synchronous language
Computer Languages
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
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
Science of Computer Programming
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |