2025
Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies.
CoRR, February, 2025
Data and System Perspectives of Sustainable Artificial Intelligence.
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, January, 2025
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model.
,
,
,
,
,
,
,
,
,
,
CoRR, January, 2025
Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, January, 2025
An infrastructure software perspective toward computation offloading between executable specifications and foundation models.
Sci. China Inf. Sci., 2025
Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems.
Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025
Distributed Speculative Inference (DSI): Speculation Parallelism for Provably Faster Lossless Language Model Inference.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025
2024
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter.
Commun. ACM, June, 2024
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems.
CoRR, 2024
Distributed Speculative Inference of Large Language Models.
CoRR, 2024
Non-verbal information in spontaneous speech - towards a new framework of analysis.
CoRR, 2024
Categorizing methods for integrating machine learning with executable specifications.
Sci. China Inf. Sci., 2024
On Augmenting Scenario-Based Modeling with Generative AI.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
2023
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.
SN Comput. Sci., March, 2023
Trustworthy Autonomous System Development.
ACM Trans. Embed. Comput. Syst., 2023
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models.
CoRR, 2023
Human or Machine: Reflections on Turing-Inspired Testing for the Everyday.
CoRR, 2023
Verifying Learning-Based Robotic Navigation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales.
Proceedings of the Model-Driven Engineering and Software Development, 2023
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
2022
Creating a Foundation for Next-Generation Autonomous Systems.
IEEE Des. Test, 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.
CoRR, 2022
Scenario-assisted Deep Reinforcement Learning.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
2021
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.
IEEE Des. Test, 2021
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns.
Computer, 2021
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
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
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
J. Comput. Syst. Sci., 2012
Executable Modeling of Morphogenesis: A Turing-Inspired Approach.
Fundam. Informaticae, 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
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 SPLASH'11 Workshops, 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
Some Thoughts on Behavioral Programming.
Proceedings of the FM 2011: Formal Methods, 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
2009
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
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
Concurrency in Biological Modeling: Behavior, Execution and Visualization.
Proceedings of the First Workshop "From Biology To Concurrency and back", 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
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
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
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
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
1997
Executable Object Modeling with Statecharts.
Computer, 1997
On the Aesthetics of Diagrams.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 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
Towards a Theory of Recursive Structures.
Proceedings of the STACS 94, 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
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
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
Logic and databases: a critique.
SIGACT News, 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
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