David Harel

Affiliations:
  • Weizmann Institute of Science, Israel


According to our database1, David Harel authored at least 258 papers between 1977 and 2020.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1994, "A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level.".

IEEE Fellow

IEEE Fellow 1995, "For contributions to theoretical computer science.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Autonomics: In search of a foundation for next-generation autonomous systems.
Proc. Natl. Acad. Sci. USA, 2020

Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.
CoRR, 2019

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Executing Scenario-Based Specification with Dynamic Generation of Rich Events.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Computational Music Therapy.
Proceedings of the Mathematics and Computation in Music - 7th International Conference, 2019

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea).
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Visual Formalisms.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Wise Computing: Toward Endowing System Development with Proactive Wisdom.
Computer, 2018

Languages for Programming - From Punched Cards to Wise Computing.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2018

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Embedding Scenario-based Modeling in Statecharts.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Toward Scenario-Based Algorithmics.
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

2017
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2.
Comput. Sci. Eng., 2017

Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1.
Comput. Sci. Eng., 2017

Towards Integration of Context-Based and Scenario-Based Development.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Efficient Distributed Execution of Multi-component Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Distributing Scenario-based Models: A Replicate-and-Project Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Crowd-Based Programming for Reactive Systems.
Proceedings of the 4th IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2017

2016
First Steps Towards a Wise Development Environment for Behavioral Models.
Int. J. Inf. Syst. Model. Des., 2016

Teaching Nondeterminism Through Programming.
Informatics Educ., 2016

EATCS Fellows' Advice to the Young Theoretical Computer Scientist.
Bull. EATCS, 2016

Niépce-Bell or Turing: How to Test Odor Reproduction?
CoRR, 2016

The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment.
BMC Bioinform., 2016

An Initial Wise Development Environment for Behavioral Models.
Proceedings of the MODELSWARD 2016, 2016

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Scenario-based programming for mobile applications.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015
Towards behavioral programming in distributed architectures.
Sci. Comput. Program., 2015

Wise Computing: Towards Endowing System Development with True Wisdom.
CoRR, 2015

The Effect of Concurrent Programming Idioms on Verification - A Position Paper.
Proceedings of the MODELSWARD 2015, 2015

Theory-Aided Model Checking of Concurrent Transition Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

On the Succinctness of Idioms for Concurrent Programming.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

On the Full Organism Challenge: Or, Can we Computerize an Elephant?
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.
Trans. Comput. Collect. Intell., 2014

Scenario-Based Programming, Usability-Oriented Perception.
ACM Trans. Comput. Educ., 2014

Scenario-based programming: reducing the cognitive load, fostering abstract thinking.
Proceedings of the 36th International Conference on Software Engineering, 2014

Steps towards Scenario-Based Programming with a Natural Language Interface.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation.
Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, 2014

Programming Animation Using Behavioral Programming.
Proceedings of the Behavior Modeling, 2014

Modal Scenarios as Automata.
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014

Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013
On teaching programming with nondeterminism.
Proceedings of the 8th Workshop in Primary and Secondary Computing Education, 2013

Relaxing Synchronization Constraints in Behavioral Programs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

On composing and proving the correctness of reactive behavior.
Proceedings of the International Conference on Embedded Software, 2013

2012
Multi-modal scenarios revisited: A net-based representation.
Theor. Comput. Sci., 2012

The quest for runware: on compositional, executable and intuitive models.
Softw. Syst. Model., 2012

Synthesis from scenario-based specifications.
J. Comput. Syst. Sci., 2012

Editorʼs foreword.
J. Comput. Syst. Sci., 2012

Executable Modeling of Morphogenesis: A Turing-Inspired Approach.
Fundam. Informaticae, 2012

Behavioral programming.
Commun. ACM, 2012

Some thoughts on executable visual languages and their Interfaces.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Evaluating a natural language interface for behavioral programming.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

The effect of previous programming experience on the learning of scenario-based programming.
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012

Standing on the shoulders of a giant: one person's experience of turing's impact.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Evaluating live sequence charts as a programming technique for non-programmers.
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

Non-intrusive Repair of Reactive Programs.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture).
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

On Behavioral Programming.
Proceedings of the Hardware and Software: Verification and Testing, 2012

A software engineering framework for switched fuzzy systems.
Proceedings of the FUZZ-IEEE 2012, 2012

Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.
Proceedings of the Logic and Program Semantics, 2012

2011
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ.
ACM Trans. Softw. Eng. Methodol., 2011

On tracing reactive systems.
Softw. Syst. Model., 2011

Biology as reactivity.
Commun. ACM, 2011

Programming with the user in mind.
Proceedings of the 23rd Annual Workshop of the Psychology of Programming Interest Group, 2011

Behavioral programming, decentralized control, and multiple time scales.
Proceedings of the Conference on Systems, 2011

On Visualization and Comprehension of Scenario-Based Programs.
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011

Adaptive Behavioral Programming.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Model-checking behavioral programs.
Proceedings of the 11th International Conference on Embedded Software, 2011

Can we Computerize an Elephant?
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011

2010
Predicting Odor Pleasantness with an Electronic Nose.
PLoS Comput. Biol., 2010

Modeling Biology using Generic Reactive Animation.
Fundam. Informaticae, 2010

Amir Pnueli - A Gentle Giant: Lord of the <i>phi</i>'s and the <i>psi</i>'s.
Formal Aspects Comput., 2010

Semantic Navigation Strategies for Scenario-Based Programming.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Accelerating Smart Play-Out.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

PlayGo: towards a comprehensive tool for scenario based programming.
Proceedings of the ASE 2010, 2010

Programming Coordinated Behavior in Java.
Proceedings of the ECOOP 2010, 2010

On the Power of Play-Out for Scenario-Based Programs.
Proceedings of the Concurrency, 2010

Some Thoughts on the Semantics of Biocharts.
Proceedings of the Time for Verification, 2010

Some Thoughts on Behavioral Programming.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
Visual Formalisms.
Proceedings of the Encyclopedia of Database Systems, 2009

On Teaching Visual Formalisms.
IEEE Softw., 2009

Statecharts in the making: a personal account.
Commun. ACM, 2009

Can We Verify an Elephant?
Proceedings of the Hardware and Software: Verification and Testing, 2009

Generating Executable Scenarios from Natural Language.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2009

On Using Divide and Conquer in Modeling Natural Systems.
Proceedings of the Algorithmic Bioprocesses, 2009

2008
GemCell: A generic platform for modeling multi-cellular biological systems.
Theor. Comput. Sci., 2008

Toward Verified Biological Models.
IEEE ACM Trans. Comput. Biol. Bioinform., 2008

Assert and negate revisited: Modal semantics for UML sequence diagrams.
Softw. Syst. Model., 2008

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.
Softw. Syst. Model., 2008

Predicting the Receptive Range of Olfactory Receptors.
PLoS Comput. Biol., 2008

The Lymph Node B Cell Immune Response: Dynamic Analysis <i>In-Silico</i>.
Proc. IEEE, 2008

Concurrency in Biological Modeling: Behavior, Execution and Visualization.
Electron. Notes Theor. Comput. Sci., 2008

Can Programming Be Liberated, Period?
Computer, 2008

Visualizing inter-dependencies between scenarios.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Crafting game-models using reactive system design.
Proceedings of the 2008 Conference on Future Play: Research, Play, Share, 2008

Generic Reactive Animation: Realistic Modeling of Complex Natural Systems.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Object Composition in Scenario-Based Programming.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Some Results on the Expressive Power and Complexity of LSCs.
Proceedings of the Pillars of Computer Science, 2008

2007
Emergent Dynamics of Thymocyte Development and Lineage Determination.
PLoS Comput. Biol., 2007

Towards Trace Visualization and Exploration for Reactive Systems.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs<sup>, </sup>.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Using LSCs for scenario authoring in tactical simulators.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

S2A: A Compiler for Multi-modal UML Sequence Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.
IEEE Trans. Software Eng., 2006

Challenges for modeling and simulation methods in systems biology.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Comprehensive and realistic modeling of biological systems.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

From multi-modal scenarios to code: compiling LSCs into aspectJ.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

06351 Summary -- Methods for Modelling Software Systems (MMOSS).
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Algorithmik - die Kunst des Rechnens.
Springer, ISBN: 978-3-540-24342-7, 2006

2005
Reactive Animation: Realistic Modeling of Complex Dynamic Systems.
Computer, 2005

One-dimensional layout optimization, with applications to graph drawing by axis separation.
Comput. Geom., 2005

Temporal Logic for Scenario-Based Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Combining Hierarchy and Energy Drawing Directed Graphs.
IEEE Trans. Vis. Comput. Graph., 2004

Graph Drawing by High-Dimensional Embedding.
J. Graph Algorithms Appl., 2004

Meaningful Modeling: What's the Semantics of "Semantics"?.
Computer, 2004

Smart Play-Out Extended: Time and Forbidden Elements.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Algorithmics - the spirit of computing (3. ed.).
Addison-Wesley, ISBN: 978-0-321-11784-7, 2004

2003
Response to "Comments on 'On Object Systems and Behavior Inheritance'".
IEEE Trans. Software Eng., 2003

Specifying and executing behavioral requirements: the play-in/play-out approach.
Softw. Syst. Model., 2003

Drawing Huge Graphs by Algebraic Multigrid Optimization.
Multiscale Model. Simul., 2003

A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal.
Bull. EATCS, 2003

Towards an odor communication system.
Comput. Biol. Chem., 2003

Smart play-out.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

A two-way visualization method for clustered data.
Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24, 2003

A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Axis-by-Axis Stress Minimization.
Proceedings of the Graph Drawing, 11th International Symposium, 2003

On the Visualization and Aesthetics of Large Graphs: Short Abstract.
Proceedings of the Perspectives of Systems Informatics, 2003

Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.
Proceedings of the Scenarios: Models, 2003

Formal Modeling of C. elegans Development: A Scenario-Based Approach.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

Message Sequence Charts.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine.
Springer, ISBN: 978-3-642-19029-2, 2003

Computers Ltd - what they really can't do.
Oxford University Press, ISBN: 978-0-19-860442-6, 2003

Come, let's play - scenario-based programming using LSCs and the play-engine.
Springer, ISBN: 978-3-540-00787-6, 2003

2002
An algorithm for blob hierarchy layout.
Vis. Comput., 2002

On Object Systems and Behavioral Inheritance.
IEEE Trans. Software Eng., 2002

A Fast Multi-Scale Method for Drawing Large Graphs.
J. Graph Algorithms Appl., 2002

Synthesizing State-Based Object Systems from LSC Specifications.
Int. J. Found. Comput. Sci., 2002

On the Complexity of Verifying Concurrent Transition Systems.
Inf. Comput., 2002

A Multi-scale Algorithm for the Linear Arrangement Problem.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002

Specifying and executing requirements: the play-in/play-out approach.
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

Multiple instances and symbolic variables in executable sequence charts.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Playing with Time: On the Specification and Execution of Time-Enriched LSCs.
Proceedings of the 10th International Workshop on Modeling, 2002

ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs.
Proceedings of the 2002 IEEE Symposium on Information Visualization (InfoVis 2002), 27 October, 2002

Rhapsody: A Complete Life-Cycle Model-Based Development System.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Drawing Directed Graphs Using One-Dimensional Optimization.
Proceedings of the Graph Drawing, 10th International Symposium, 2002

Reactive Animation.
Proceedings of the Formal Methods for Components and Objects, 2002

Smart Play-out of Behavioral Requirements.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).
Proceedings of the Embedded Software, Second International Conference, 2002

Modeling biological reactivity: statecharts vs. Boolean logic.
Proceedings of the Working Conference on Advanced Visual Interfaces, 2002

Drawing graphs with non-uniform vertices.
Proceedings of the Working Conference on Advanced Visual Interfaces, 2002

Das Affenpuzzle - und weitere bad news aus der Computerwelt.
Springer, ISBN: 978-3-540-42307-2, 2002

2001
Dynamic logic.
SIGACT News, 2001

LSCs: Breathing Life into Message Sequence Charts.
Formal Methods Syst. Des., 2001

A multi-scale algorithm for drawing graphs nicely.
Discret. Appl. Math., 2001

From Play-In Scenarios to Code: An Achievable Dream.
Computer, 2001

The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

On the Behavior of Complex Object-Oriented Systems.
Proceedings of the OMER, 2001

Clustering spatial data using random walks.
Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, 2001

On Clustering Using Random Walks.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

2000
On the Behavioral Inheritance of State-Based Objects.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1999
Curriculum and Course Syllabi for a High-School CS Program.
Comput. Sci. Educ., 1999

Computation Paths Logic: An Expressive, yet Elementary, Process Logic.
Ann. Pure Appl. Log., 1999

1998
What (Else) Should CS Educators Know?
Commun. ACM, 1998

An Algorithm for Straight-Line Drawing of Planar Graphs.
Algorithmica, 1998

On the Aesthetics of Diagrams (Summary of Talk).
Proceedings of the Mathematics of Program Construction, 1998

Towards a Theory of Recursive Structures.
Proceedings of the International Colloquium Universal Machines and Computations, 1998

1997
Executable Object Modeling with Statecharts.
Computer, 1997

Keynotes.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

On the Aesthetics of Diagrams.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '97), Third International Workshop, Neve Ilan, Israel, June 30, 1997

Towards a Theory of Recursive Structures (extended abstract).
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Some Thoughts on Statecharts, 13 Years Later.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
The STATEMATE Semantics of Statecharts.
ACM Trans. Softw. Eng. Methodol., 1996

Drawing Graphs Nicely Using Simulated Annealing.
ACM Trans. Graph., 1996

Complexity Results for Two-Way and Multi-Pebble Automata and their Logics.
Theor. Comput. Sci., 1996

Taking It to the Limit: On Infinite Variants of NP-Complete Problems.
J. Comput. Syst. Sci., 1996

Completeness Results for Recursive Data Bases.
J. Comput. Syst. Sci., 1996

More on Nonregular PDL: Finite Models and Fibonacci-Like Programs.
Inf. Comput., 1996

Statecharts: Past, Present and Future (abstract).
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

More About Recursive Structures: Descriptive Complexity and Zero-One Laws.
Proceedings of the Proceedings, 1996

Statecharts in Use: Structured Analysis and Object-Orientation.
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Some Thoughts on Statecharts, 13 Years Later (Abstract).
Proceedings of the Concurrency and Parallelism, 1996

1995
Randomized Graph Drawing with Heavy-Duty Preprocessing.
J. Vis. Lang. Comput., 1995

Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering.
SIGACT News, 1995

A High School Program in Computer Science.
Computer, 1995

More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs.
Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995

Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

Towards a theory of Recursive Structures.
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994
Deciding Emptiness for Stack Automata on Infinite Trees
Inf. Comput., September, 1994

On the Solvability of Domino Snake Problems.
Theor. Comput. Sci., 1994

On the Power of Bounded Concurrency II: Pushdown Automata.
J. ACM, 1994

On the Power of Bounded Concurrency I: Finite Automata.
J. ACM, 1994

Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary).
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Complexity Results for Multi-Pebble Automata and their Logics.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993
Deciding Properties of Nonregular Programs.
SIAM J. Comput., 1993

Computers are not Omnipotent (Abstract).
Proceedings of the Software Engineering, 1993

1992
On Statecharts with Overlapping.
ACM Trans. Softw. Eng. Methodol., 1992

Biting the Silver Bullet - Toward a Brighter Future for System Development.
Computer, 1992

1991
Hamiltonian Paths in Infinite Graphs
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

1990
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.
IEEE Trans. Software Eng., 1990

On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

How Hard Is It to Reason about Propositional Programs?
Proceedings of the Logic Programming, 1990

Deciding Properties of Nonregular Programs (Preliminary Version)
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

On the Power of Bounded Concurrency II: The Pushdown Automata Level.
Proceedings of the CAAP '90, 1990

1989
Using statecharts for hardware description and synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

A Thesis for Bounded Concurrency.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

The science of computing - exploring the nature and power of algorithms.
Addison-Wesley, ISBN: 978-0-201-51723-1, 1989

1988
On Visual Formalisms.
Commun. ACM, 1988

STATEMATE; A Working Environment for the Development of Complex Reactive Systems.
Proceedings of the Proceedings, 1988

On the Power of Cooperative Concurrency.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987
Logic and databases: a critique.
ACM SIGPLAN Notices, 1987

Statecharts: A Visual Formalism for Complex Systems.
Sci. Comput. Program., 1987

On the Formal Semantics of Statecharts (Extended Abstract)
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Algorithmics - the spirit of computing (2. ed.).
Addison-Wesley, ISBN: 978-0-201-19240-7, 1987

1986
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.
J. ACM, 1986

DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis.
Comput. Appl. Biosci., 1986

1985
Process Logic with Regular Formulas.
Theor. Comput. Sci., 1985

Horn Clauses Queries and Generalizations.
J. Log. Program., 1985

More on Looping vs. Repeating in Dynamic Logic.
Inf. Process. Lett., 1985

Propositional Dynamic Logic of Flowcharts
Inf. Control., 1985

1984
Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL.
SIAM J. Comput., 1984

Undecidability of PDL with L={a^(2i)|i>=0}.
J. Comput. Syst. Sci., 1984

A Probabilistic Dynamic Logic.
J. Comput. Syst. Sci., 1984

On Static Logics, Dynamic Logics, and Complexity Classes
Inf. Control., 1984

A Programming Language for the Inductive Sets, and Applications
Inf. Control., 1984

A General Result on Infinite Trees and Its Applications (Preliminary Report)
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

On the Development of Reactive Systems.
Proceedings of the Logics and Models of Concurrent Systems, 1984

1983
Propositional Dynamic Logic of Nonregular Programs.
J. Comput. Syst. Sci., 1983

Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report).
Proceedings of the Fundamentals of Computation Theory, 1983

1982
Process Logic: Expressiveness, Decidability, Completeness.
J. Comput. Syst. Sci., 1982

Structure and Complexity of Relational Queries.
J. Comput. Syst. Sci., 1982

Looping vs. Repeating in Dynamic Logic
Inf. Control., 1982

Horn Clauses and the Fixpoint Query Hierarchy.
Proceedings of the ACM Symposium on Principles of Database Systems, 1982

1981
On the Total Correctness of Nondeterministic Programs.
Theor. Comput. Sci., 1981

Further Results on Propositional Dynamic Logic of Nonregular Programs.
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Propositional Dynamic Logic of Context-Free Programs
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1980
And/Or Programs: A New Approach to Structured Programming.
ACM Trans. Program. Lang. Syst., 1980

Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic.
Theor. Comput. Sci., 1980

"do considered od" considered odder than "do considered ob".
ACM SIGPLAN Notices, 1980

Computable Queries for Relational Data Bases.
J. Comput. Syst. Sci., 1980

On Folk Theorems.
Commun. ACM, 1980

on And/Or Schemes.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
Characterizing Second Order Logic with First Order Quantifiers.
Math. Log. Q., 1979

Two Results on Process Logic.
Inf. Process. Lett., 1979

Computable Queries for Relational Data Bases (Preliminary Report)
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

Recursion in Logics of Programs.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

First-Order Dynamic Logic
Lecture Notes in Computer Science 68, Springer, ISBN: 3-540-09237-4, 1979

1978
Nondeterminism in Logics of Programs.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

Arithmetical Completeness in Logics of Programs.
Proceedings of the Automata, 1978

1977
A Complete Axiomatic System for Proving Deductions about Recursive Programs
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

Computability and Completeness in Logics of Programs (Preliminary Report)
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977


  Loading...