|
СТ |
Some Results on the Expressive Power and Complexity of LSCs |
2008 |
Harel D., Maoz Sh., Segall I. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
15.04.2008 |
|
СТ |
The RHAPSODY Semantics of Statecharts (or, On the Executable Core of the UML) |
2004 |
Harel D., Kugler H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.11.2004 |
|
СТ |
Reactive Animation |
2003 |
Harel D., Efroni S., Cohen I. R. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
П |
The Play-In/Play-Out Approach: Capturing and Analyzing Reactive Behavior |
2002 |
Harel D. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
Rhapsody: A Complete Life-Cycle Model-Based Development System |
2002 |
Gery E., Harel D., Palachi E. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
М |
Dynamic Logic |
2000 |
Harel D., Kozen D., Tiuryn J. |
|
|
|
|
11.07.2001 |
|
СТ |
From Play-In Scenarios to Code: An Achievable Dream |
2000 |
Harel D. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
П |
How Hard Is It to Reason about Propositional Programs? |
1992 |
Harel D. |
|
|
Techn.Univ.Munchen |
|
04.12.1999 |
|
СТ |
On the Behavior of Complex Object-Oriented Systems |
1999 |
Harel D. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
Executable Object Modeling with Statecharts |
1996 |
Harel D., Gery E. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
|
СТ |
Towards a Theory of Recursive Structures |
1995 |
Harel D. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engeneering |
1995 |
Harel D. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
On the Power of Bounded Concurrency I: Finite Automata |
1994 |
Drusinsky D., Harel D. |
|
|
|
J. of the ACM |
18.08.1994 |
|
СТ |
On the Power of Bounded Concurrency II: Pushdown Automata |
1994 |
Hirst T., Harel D. |
|
|
|
J. of the ACM |
18.08.1994 |
|
СТ |
On Statecharts with Overlapping |
1992 |
Harel D., Kahana C. -A. |
|
|
|
ACM Trans. Software Engineering and Methodology |
04.02.1993 |
