| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Harel, Itai Segall |
Synthesis from scenario-based specifications.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, David Harel, Lenore D. Zuck |
Editorʼs foreword. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, David Harel |
On tracing reactive systems. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, David Harel, Asaf Kleinbort |
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. |
ACM Trans. Softw. Eng. Methodol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, David Harel, Thomas A. Henzinger |
Biology as reactivity. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
Model-checking behavioral programs. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss |
On Visualization and Comprehension of Scenario-Based Programs. |
ICPC |
2011 |
DBLP DOI BibTeX RDF |
behavioral programming, BPJ, visualization, scenario-based programming |
| 1 | David Harel |
Some Thoughts on Behavioral Programming. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Assaf Marron, Guy Wiener, Gera Weiss |
Behavioral programming, decentralized control, and multiple time scales. |
SPLASH Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Eitan, David Harel |
Adaptive Behavioral Programming. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Some Thoughts on Behavioral Programming. |
BPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel |
Predicting Odor Pleasantness with an Electronic Nose. |
PLoS Computational Biology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaki Setty, Irun R. Cohen, David Harel |
Modeling Biology using Generic Reactive Animation. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Some Thoughts on Behavioral Programming. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Gordon, David Harel |
Semantic Navigation Strategies for Scenario-Based Programming. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan |
PlayGo: towards a comprehensive tool for scenario based programming. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler |
Some Thoughts on the Semantics of Biocharts. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Amir Kantor, Shahar Maoz |
On the Power of Play-Out for Scenario-Based Programs. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Assaf Marron, Gera Weiss |
Programming Coordinated Behavior in Java. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
Accelerating Smart Play-Out. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Michal Gordon-Kiwkowitz |
On Teaching Visual Formalisms. |
IEEE Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Statecharts in the making: a personal account. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Shahar Maoz |
Visual Formalisms. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Can we computerize an elephant? |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Can We Verify an Elephant? |
Haifa Verification Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Gordon, David Harel |
Generating Executable Scenarios from Natural Language. |
CICLing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
| 1 | Pierre Combes, David Harel, Hillel Kugler |
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
Live sequence charts (LSCs), Verification, Requirements engineering, Telecommunication |
| 1 | Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel |
GemCell: A generic platform for modeling multi-cellular biological systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafi Haddad, Liran Carmel, Noam Sobel, David Harel |
Predicting the Receptive Range of Olfactory Receptors. |
PLoS Computational Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen |
Concurrency in Biological Modeling: Behavior, Execution and Visualization. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Can Programming Be Liberated, Period? |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
software programming, scenario-based programming |
| 1 | Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel |
Toward Verified Biological Models. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
modeling, verification, statecharts, C. elegans |
| 1 | David Harel, Yaki Setty |
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Itai Segall |
Visualizing inter-dependencies between scenarios. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz |
Object Composition in Scenario-Based Programming. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Shahar Maoz, Itai Segall |
Some Results on the Expressive Power and Complexity of LSCs. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Itai Segall, Hillel Kugler, Yaki Setty |
Crafting game-models using reactive system design. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
simulators, game design, statecharts, systems biology, live sequence charts |
| 1 | Sol Efroni, David Harel, Irun R. Cohen |
Emergent Dynamics of Thymocyte Development and Lineage Determination. |
PLoS Computational Biology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Asaf Kleinbort, David Harel |
Towards Trace Visualization and Exploration for Reactive Systems. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Itai Segall |
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (eds.) |
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 |
MMOSS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yoram Atir, David Harel |
Using LSCs for scenario authoring in tactical simulators. |
SCSC |
2007 |
DBLP DOI BibTeX RDF |
live sequence charts (LSCs), scenario authoring, tactical simulators, end-user programming, behavioral specification |
| 1 | David Harel, Asaf Kleinbort, Shahar Maoz |
S2A: A Compiler for Multi-modal UML Sequence Diagrams. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Statecharts in the making: a personal account. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
InterPlay, play-engine, intraobject, interobject, transition to design, Modeling methodologies, LSCs, scenario-based programming |
| 1 | David Harel, Yishai A. Feldman |
Algorithmik - die Kunst des Rechnens. |
|
2006 |
DOI RDF |
|
| 1 | Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa |
06351 Summary -- Methods for Modelling Software Systems (MMOSS). |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa |
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Harel, Shahar Maoz |
Assert and negate revisited: modal semantics for UML sequence diagrams. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms |
| 1 | Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (eds.) |
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings |
MoDELS |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Harel |
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Comprehensive and realistic modeling of biological systems. |
Winter Simulation Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson |
Challenges for modeling and simulation methods in systems biology. |
Winter Simulation Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, David Harel |
From multi-modal scenarios to code: compiling LSCs into aspectJ. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, aspect oriented programming, code generation, scenarios, live sequence charts, visual formalisms, UML sequence diagrams, scenario-based programming |
| 1 | Sol Efroni, David Harel, Irun R. Cohen |
Reactive Animation: Realistic Modeling of Complex Dynamic Systems. |
IEEE Computer |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehuda Koren, David Harel |
One-dimensional layout optimization, with applications to graph drawing by axis separation. |
Comput. Geom. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps |
Temporal Logic for Scenario-Based Specifications. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Combes, David Harel, Hillel Kugler |
Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler, Amir Pnueli |
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Bernhard Rumpe |
Meaningful Modeling: What's the Semantics of "Semantics"?. |
IEEE Computer |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Yehuda Koren |
Graph Drawing by High-Dimensional Embedding. |
J. Graph Algorithms Appl. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Liran Carmel, David Harel, Yehuda Koren |
Combining Hierarchy and Energy Drawing Directed Graphs. |
IEEE Trans. Vis. Comput. Graph. |
2004 |
DBLP DOI BibTeX RDF |
Directed graph drawing, hierarchy energy, Fiedler vector, minimum linear arrangement, force directed layout |
| 1 | David Harel, Yishai A. Feldman |
Algorithmics - the spirit of computing (3. ed.). |
|
2004 |
RDF |
|
| 1 | Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin |
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler, Amir Pnueli |
Smart Play-Out Extended: Time and Forbidden Elements. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler |
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Rami Marelly |
Specifying and executing behavioral requirements: the play-in/play-out approach. |
Software and System Modeling |
2003 |
DBLP DOI BibTeX RDF |
Live sequence charts (LSCs), System modeling and execution, UML, Testing, Requirements engineering, Scenarios |
| 1 | Orna Kupferman, David Harel |
Response to "Comments on 'On Object Systems and Behavior Inheritance'". (PDF / PS) |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | David Harel, Liran Carmel, Doron Lancet |
Towards an odor communication system. |
Computational Biology and Chemistry |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Computers Ltd - what they really can't do. |
|
2003 |
RDF |
|
| 1 | David Harel |
Come, let's play - scenario-based programming using LSCs and the play-engine. |
|
2003 |
RDF |
|
| 1 | David Harel |
On the Visualization and Aesthetics of Large Graphs: Short Abstract. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler, Gera Weiss |
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern |
Formal Modeling of C. elegans Development: A Scenario-Based Approach. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
Smart play-out. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs |
| 1 | David Harel |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehuda Koren, David Harel |
Axis-by-Axis Stress Minimization. |
Graph Drawing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehuda Koren, David Harel |
A two-way visualization method for clustered data. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
information visualization, hierarchical clustering, dendrogram |
| 1 | David Harel, Gregory Yashchin |
An algorithm for blob hierarchy layout. |
The Visual Computer |
2002 |
DBLP DOI BibTeX RDF |
Higraph, Hierarchy, Layout, Statechart, Aesthetics |
| 1 | David Harel, Orna Kupferman |
On Object Systems and Behavioral Inheritance. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design |
| 1 | David Harel, Hillel Kugler |
Synthesizing State-Based Object Systems from LSC Specifications. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Harel, Orna Kupferman, Moshe Y. Vardi |
On the Complexity of Verifying Concurrent Transition Systems. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Yehuda Koren |
A Fast Multi-Scale Method for Drawing Large Graphs. |
J. Graph Algorithms Appl. |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Harel |
Das Affenpuzzle - und weitere bad news aus der Computerwelt. |
|
2002 |
RDF |
|
| 1 | David Harel |
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehuda Koren, David Harel |
A Multi-scale Algorithm for the Linear Arrangement Problem. |
WG |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
Smart Play-out of Behavioral Requirements. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehuda Koren, Liran Carmel, David Harel |
ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. |
INFOVIS |
2002 |
DBLP DOI BibTeX RDF |
multiscale/multilevel optimization, Fiedler vector, the Hall energy, graph drawing, algebraic multigrid, generalized eigenvalue problem, force directed layout |
| 1 | David Harel, Sol Efroni, Irun R. Cohen |
Reactive Animation. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Rami Marelly |
Playing with Time: On the Specification and Execution of Time-Enriched LSCs. |
MASCOTS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Gery, David Harel, Eldad Palachi |
Rhapsody: A Complete Life-Cycle Model-Based Development System. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rami Marelly, David Harel, Hillel Kugler |
Multiple instances and symbolic variables in executable sequence charts. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")