David Harel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Generating Executable Scenarios from Natural LanguageMichal Gordon, David Harel. cicling 2009: 456-467 [doi]

Statecharts in the making: a personal accountDavid Harel. CACM, 52(3):67-75, 2009. [doi]

On Teaching Visual FormalismsDavid Harel, Michal Gordon-Kiwkowitz. IEEE Software, 26(3):87-95, 2009. [doi]

2008

GemCell: A generic platform for modeling multi-cellular biological systemsHila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel. TCS, 391(3):276-290, 2008. [doi]

Object Composition in Scenario-Based ProgrammingYoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz. FASE 2008: 301-316 [doi]

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine toolPierre Combes, David Harel, Hillel Kugler. SoSyM, 7(2):157-175, 2008. [doi]

Some Results on the Expressive Power and Complexity of LSCsDavid Harel, Shahar Maoz, Itai Segall. birthday 2008: 351-366 [doi]

Visualizing inter-dependencies between scenariosDavid Harel, Itai Segall. softvis 2008: 145-153 [doi]

Assert and negate revisited: Modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. SoSyM, 7(2):237-252, 2008. [doi]

Can Programming Be Liberated, Period?David Harel. Computer, 41(1):28-37, 2008. [doi]

Crafting game-models using reactive system designDavid Harel, Itai Segall, Hillel Kugler, Yaki Setty. fplay 2008: 121-128 [doi]

Generic Reactive Animation: Realistic Modeling of Complex Natural SystemsDavid Harel, Yaki Setty. fmsb 2008: 1-16 [doi]

Concurrency in Biological Modeling: Behavior, Execution and VisualizationDavid Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen. ENTCS, 194(3):119-131, 2008. [doi]

Toward Verified Biological ModelsAvital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel. tcbb, 5(2):223-234, 2008. [doi]

2007

2006

InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based ProgrammingDan Barak, David Harel, Rami Marelly. TSE, 32(7):467-485, 2006. [doi]

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. dagstuhl 2007: [doi]

06351 Summary -- Methods for Modelling Software Systems (MMOSS)Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. dagstuhl 2007: [doi]

Assert and negate revisited: modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. scesm 2006: 13-20 [doi]

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based ProgramsDavid Harel. cav 2006: 3-4 [doi]

Comprehensive and realistic modeling of biological systemsDavid Harel. wsc 2006: 1625-1627 [doi]

From multi-modal scenarios to code: compiling LSCs into aspectJShahar Maoz, David Harel. ESEC/FSE 2006: 219-230 [doi]

Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, ProceedingsOscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Volume 4199 of Lecture Notes in Computer Science, Springer, 2006.

Challenges for modeling and simulation methods in systems biologyHerbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson. wsc 2006: 1720-1730 [doi]

2005

2004

Combining Hierarchy and Energy Drawing Directed GraphsLiran Carmel, David Harel, Yehuda Koren. tvcg, 10(1):46-57, 2004. [doi]

Combining State-Based and Scenario-Based Approaches in Modeling Biological SystemsJasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin. cmsb 2005: 236-241 [doi]

Smart Play-Out Extended: Time and Forbidden ElementsDavid Harel, Hillel Kugler, Amir Pnueli. qsic 2004: 2-10 [doi]

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary VersionDavid Harel, Hillel Kugler. dfg 2004: 325-354 [doi]

Graph Drawing by High-Dimensional EmbeddingDavid Harel, Yehuda Koren. jgaa, 8(2):195-214, 2004. [doi]

A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular AnimalDavid Harel. vmcai 2004: 323-324 [doi]

Meaningful Modeling: What s the Semantics of Semantics ?David Harel, Bernhard Rumpe. Computer, 37(10):64-72, 2004. [doi]

2003

Formal Modeling of C. elegans Development: A Scenario-Based ApproachNa aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. cmsb 2003: 4-20 [doi]

InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based ProgrammingDan Barak, David Harel, Rami Marelly. ac 2004: 66-86 [doi]

Towards an odor communication systemDavid Harel, Liran Carmel, Doron Lancet. CANDC, 27(2):121-133, 2003. [doi]

Smart play-outDavid Harel, Hillel Kugler, Rami Marelly, Amir Pnueli. OOPSLA 2003: 68-69 [doi]

Specifying and executing behavioral requirements: the play-in/play-out approachDavid Harel, Rami Marelly. SoSyM, 2(2):82-107, 2003. [doi]

Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out ApproachDavid Harel, Hillel Kugler, Gera Weiss. dagstuhl 2005: 26-42 [doi]

On the Visualization and Aesthetics of Large Graphs: Short AbstractDavid Harel. ershov 2003: 120 [doi]

A Grand Challenge: Full Reactive Modeling of a Multi-cellular AnimalDavid Harel. hybrid 2003: 2 [doi]

A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular AnimalDavid Harel. eatcs, 81:226-235, 2003.

Axis-by-Axis Stress MinimizationYehuda Koren, David Harel. gd 2004: 450-459 [doi]

A two-way visualization method for clustered dataYehuda Koren, David Harel. kdd 2003: 589-594 [doi]

Response to Comments on On Object Systems and Behavior Inheritance Orna Kupferman, David Harel. TSE, 29(6):576, 2003. [doi]

2002

Drawing Directed Graphs Using One-Dimensional OptimizationLiran Carmel, David Harel, Yehuda Koren. gd 2002: 193-206 [doi]

Rhapsody: A Complete Life-Cycle Model-Based Development SystemEran Gery, David Harel, Eldad Palachi. IFM 2002: 1-10 [doi]

Smart Play-out of Behavioral RequirementsDavid Harel, Hillel Kugler, Rami Marelly, Amir Pnueli. FMCAD 2002: 378-398 [doi]

On the Complexity of Verifying Concurrent Transition SystemsDavid Harel, Orna Kupferman, Moshe Y. Vardi. iandc, 173(2):143-161, 2002. [doi]

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)David Harel. emsoft 2002: 30-31 [doi]

Playing with Time: On the Specification and Execution of Time-Enriched LSCsDavid Harel, Rami Marelly. mascots 2002: 193-202 [doi]

Reactive AnimationDavid Harel, Sol Efroni, Irun R. Cohen. FMCO 2003: 136-153 [doi]

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)David Harel. gg 2002: 6-7 [doi]

An algorithm for blob hierarchy layoutDavid Harel, Gregory Yashchin. vc, 18(3):164-185, 2002. [doi]

Synthesizing State-Based Object Systems from LSC SpecificationsDavid Harel, Hillel Kugler. ijfcs, 13(1):5-51, 2002. [doi]

Graph Drawing by High-Dimensional EmbeddingDavid Harel, Yehuda Koren. gd 2002: 207-219 [doi]

A Fast Multi-Scale Method for Drawing Large GraphsDavid Harel, Yehuda Koren. jgaa, 6(3):179-202, 2002. [doi]

On Object Systems and Behavioral InheritanceDavid Harel, Orna Kupferman. TSE, 28(9):889-903, 2002. [doi]

A Multi-scale Algorithm for the Linear Arrangement ProblemYehuda Koren, David Harel. criwg 2002: 296-309 [doi]

ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge GraphsYehuda Koren, Liran Carmel, David Harel. infovis 2002: 137-144 [doi]

Multiple instances and symbolic variables in executable sequence chartsRami Marelly, David Harel, Hillel Kugler. OOPSLA 2002: 83-100 [doi]

2001

2000

1999

LSCs: Breathing Life into Message Sequence ChartsWerner Damm, David Harel. fmoods 1999:

A Multi-Scale Algorithm for Drawing Graphs NicelyRonny Hadany, David Harel. criwg 1999: 262-277 [doi]

Computation Paths Logic: An Expressive, yet Elementary, Process LogicDavid Harel, Eli Singerman. APAL, 96(1-3):167-186, 1999.

1998

What (Else) Should CS Educators Know?Judith Gal-Ezer, David Harel. CACM, 41(9):77-84, 1998.

Towards a Theory of Recursive StructuresDavid Harel. mcu 1998: 93-114

Towards a Theory of Recursive StructuresDavid Harel. mfcs 1998: 36-53 [doi]

On the Aesthetics of Diagrams (Summary of Talk)David Harel. mpc 1998: 1-5 [doi]

An Algorithm for Straight-Line Drawing of Planar GraphsDavid Harel, Meir Sardas. algorithmica, 20(2):119-135, 1998.

1997

KeynotesJames Coplien, Joseph Gil, David Harel, Bertrand Meyer. TOOLS 1998: 2 [doi]

Towards a Theory of Recursive Structures (extended abstract)David Harel. lfcs 1997: 141-144

On the Complexity of Verifying Concurrent Transition SystemsDavid Harel, Orna Kupferman, Moshe Y. Vardi. concur 1997: 258-272

Some Thoughts on Statecharts, 13 Years LaterDavid Harel. cav 1997: 226-231

Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems EngineeringDavid Harel. RE 1997: 184 [doi]

On the Aesthetics of DiagramsDavid Harel. ngits 1997:

On the Aesthetics of DiagramsDavid Harel. vl 1997: 128-130

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)David Harel, Eli Singerman. icalp 1997: 408-418

Executable Object Modeling with StatechartsDavid Harel, Eran Gery. Computer, 30(7):31-42, 1997.

PreviousNext