A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the development of reactive systems
Logics and models of concurrent systems
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
An Behavior-based Robotics
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Proceedings of the Workshop on Object-Oriented Technology
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
IEEE Transactions on Software Engineering
Using LSCs for scenario authoring in tactical simulators
Proceedings of the 2007 Summer Computer Simulation Conference
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
PlayGo: towards a comprehensive tool for scenario based programming
Proceedings of the IEEE/ACM international conference on Automated software engineering
Coordinating and visualizing independent behaviors in erlang
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Programming coordinated behavior in java
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Synthesizing biological theories
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Model-checking behavioral programs
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On Visualization and Comprehension of Scenario-Based Programs
ICPC '11 Proceedings of the 2011 IEEE 19th International Conference on Program Comprehension
Adaptive Behavioral Programming
ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
Behavioral programming, decentralized control, and multiple time scales
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Synthesis from scenario-based specifications
Journal of Computer and System Sciences
Spaghetti for the main course?: observations on the naturalness of scenario-based programming
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Non-intrusive Repair of Reactive Programs
ICECCS '12 Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Behavioral programming, decentralized control, and multiple time scales
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
AGERE!: programming based on actors, agents, and decentralized control
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
A decentralized approach for programming interactive applications with JavaScript and blockly
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
TRANSIT: specifying protocols with concolic snippets
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Game programming by demonstration
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
On composing and proving the correctness of reactive behavior
Proceedings of the Eleventh ACM International Conference on Embedded Software
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Hi-index | 48.22 |
A novel paradigm for programming reactive systems centered on naturally specified modular behavior.