publications: - title: "Keynotes" author: - name: "James Coplien" link: "https://researchr.org/alias/james-coplien" - name: "Joseph Gil" link: "https://researchr.org/alias/joseph-gil" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" year: "1997" doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018" researchr: "https://researchr.org/publication/CoplienGHM97" cites: 0 citedby: 0 pages: "2" booktitle: "TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA, USA" publisher: "IEEE Computer Society" isbn: "0-8186-8383-X" kind: "inproceedings" key: "CoplienGHM97" - title: "Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910030.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910030.htm" researchr: "https://researchr.org/publication/Harel02" cites: 0 citedby: 0 pages: "30-31" booktitle: "Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings" editor: - name: "Alberto L. Sangiovanni-Vincentelli" link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli" - name: "Joseph Sifakis" link: "https://researchr.org/alias/joseph-sifakis" volume: "2491" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44307-X" kind: "inproceedings" key: "Harel02" - title: "Graph Drawing by High-Dimensional Embedding" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280207.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280207.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelK02%3A1" cites: 0 citedby: 0 pages: "207-219" booktitle: "Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers" editor: - name: "Stephen G. Kobourov" link: "https://researchr.org/alias/stephen-g.-kobourov" - name: "Michael T. Goodrich" link: "https://researchr.org/alias/michael-t.-goodrich" volume: "2528" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00158-1" kind: "inproceedings" key: "HarelK02:1" - title: "Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool" author: - name: "Pierre Combes" link: "https://researchr.org/alias/pierre-combes" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" year: "2005" doi: "http://dx.doi.org/10.1007/11562948_31" links: doi: "http://dx.doi.org/10.1007/11562948_31" tags: - "modeling" researchr: "https://researchr.org/publication/CombesHK05" cites: 0 citedby: 0 pages: "414-428" booktitle: "Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings" editor: - name: "Doron Peled" link: "https://researchr.org/alias/doron-peled" - name: "Yih-Kuen Tsay" link: "https://researchr.org/alias/yih-kuen-tsay" volume: "3707" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29209-8" kind: "inproceedings" key: "CombesHK05" - title: "DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis" author: - name: "Ron Unger" link: "https://researchr.org/alias/ron-unger" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Joel L. Sussman" link: "https://researchr.org/alias/joel-l.-sussman" year: "1986" tags: - "analysis" researchr: "https://researchr.org/publication/UngerHS86" cites: 0 citedby: 0 journal: "Bioinformatics" volume: "2" number: "4" pages: "283-289" kind: "article" key: "UngerHS86" - title: "And/Or Programs: A New Approach to Structured Programming" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" doi: "http://doi.acm.org/10.1145/357084.357085" links: doi: "http://doi.acm.org/10.1145/357084.357085" tags: - "programming" - "systematic-approach" researchr: "https://researchr.org/publication/Harel80" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "2" number: "1" pages: "1-17" kind: "article" key: "Harel80" - title: "Using statecharts for hardware description and synthesis" author: - name: "Doron Drusinsky" link: "https://researchr.org/alias/doron-drusinsky" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1989" doi: "http://doi.ieeecomputersociety.org/10.1109/43.31537" links: doi: "http://doi.ieeecomputersociety.org/10.1109/43.31537" researchr: "https://researchr.org/publication/DrusinskyH89" cites: 0 citedby: 0 journal: "IEEE Trans. on CAD of Integrated Circuits and Systems" volume: "8" number: "7" pages: "798-807" kind: "article" key: "DrusinskyH89" - title: "Towards a theory of Recursive Structures" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1995" researchr: "https://researchr.org/publication/Harel95" cites: 0 citedby: 0 pages: "374-391" booktitle: "Computer Science Today: Recent Trends and Developments" editor: - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" volume: "1000" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-60105-8" kind: "incollection" key: "Harel95" - title: "A Programming Language for the Inductive Sets, and Applications" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" year: "1984" month: "October/November" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/HarelK84" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "63" number: "1/2" pages: "118-139" kind: "article" key: "HarelK84" - title: "Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1983" researchr: "https://researchr.org/publication/Harel83" cites: 0 citedby: 0 pages: "177-194" booktitle: "Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983" editor: - name: "Marek Karpinski" link: "https://researchr.org/alias/marek-karpinski" volume: "158" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-12689-9" kind: "inproceedings" key: "Harel83" - title: "Structure and Complexity of Relational Queries" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" researchr: "https://researchr.org/publication/ChandraH80%3A1" cites: 0 citedby: 0 pages: "333-347" booktitle: "21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA" publisher: "IEEE" kind: "inproceedings" key: "ChandraH80:1" - title: "From Play-In Scenarios to Code: An Achievable Dream" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2001" doi: "http://computer.org/computer/co2001/r1053abs.htm" links: doi: "http://computer.org/computer/co2001/r1053abs.htm" researchr: "https://researchr.org/publication/Harel01%3A0" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "34" number: "1" pages: "53-60" kind: "article" key: "Harel01:0" - title: "Complexity Results for Multi-Pebble Automata and their Logics" author: - name: "Noa Globerman" link: "https://researchr.org/alias/noa-globerman" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1994" tags: - "logic" researchr: "https://researchr.org/publication/GlobermanH94" cites: 0 citedby: 0 pages: "73-82" booktitle: "Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings" editor: - name: "Serge Abiteboul" link: "https://researchr.org/alias/serge-abiteboul" - name: "Eli Shamir" link: "https://researchr.org/alias/eli-shamir" volume: "820" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58201-0" kind: "inproceedings" key: "GlobermanH94" - title: "LSCs: Breathing Life into Message Sequence Charts" author: - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1999" researchr: "https://researchr.org/publication/DammH99" cites: 0 citedby: 0 booktitle: "Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy" editor: - name: "Paolo Ciancarini" link: "https://researchr.org/alias/paolo-ciancarini" - name: "Alessandro Fantechi" link: "https://researchr.org/alias/alessandro-fantechi" - name: "Roberto Gorrieri" link: "https://researchr.org/alias/roberto-gorrieri" volume: "139" series: "IFIP Conference Proceedings" publisher: "Kluwer" isbn: "0-7923-8429-6" kind: "inproceedings" key: "DammH99" - title: "Completeness Results for Recursive Data Bases" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1993" doi: "http://doi.acm.org/10.1145/153850.153905" links: doi: "http://doi.acm.org/10.1145/153850.153905" tags: - "completeness" - "data-flow" researchr: "https://researchr.org/publication/HirstH93%3A0" cites: 0 citedby: 0 pages: "244-252" booktitle: "Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC" publisher: "ACM Press" isbn: "0-89791-593-3" kind: "inproceedings" key: "HirstH93:0" - title: "Randomized Graph Drawing with Heavy-Duty Preprocessing" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Meir Sardas" link: "https://researchr.org/alias/meir-sardas" year: "1995" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelS95%3A0" cites: 0 citedby: 0 journal: "Journal of Computer Languages" volume: "6" number: "3" pages: "233-253" kind: "article" key: "HarelS95:0" - title: "Propositional Dynamic Logic of Flowcharts" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" year: "1985" month: "January/February/March" tags: - "logic" researchr: "https://researchr.org/publication/HarelS85" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "64" number: "1-3" pages: "119-135" kind: "article" key: "HarelS85" - title: "On the Complexity of Verifying Concurrent Transition Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Orna Kupferman" link: "https://researchr.org/alias/orna-kupferman" - name: "Moshe Y. Vardi" link: "https://researchr.org/alias/moshe-y.-vardi" year: "2002" doi: "http://www.idealibrary.com/links/doi/10.1006/inco.2001.2920" links: doi: "http://www.idealibrary.com/links/doi/10.1006/inco.2001.2920" researchr: "https://researchr.org/publication/HarelKV02" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "173" number: "2" pages: "143-161" kind: "article" key: "HarelKV02" - title: "Computers are not Omnipotent (Abstract)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1993" researchr: "https://researchr.org/publication/Harel93" cites: 0 citedby: 0 pages: "10" booktitle: "Software Engineering - ESEC 93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings" editor: - name: "Ian Sommerville" link: "https://researchr.org/alias/ian-sommerville" - name: "Manfred Paul" link: "https://researchr.org/alias/manfred-paul" volume: "717" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57209-0" kind: "inproceedings" key: "Harel93" - title: "On the Behavioral Inheritance of State-Based Objects" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Orna Kupferman" link: "https://researchr.org/alias/orna-kupferman" year: "2000" doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868961" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868961" tags: - "rule-based" - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HarelK00%3A0" cites: 0 citedby: 0 pages: "83-94" booktitle: "TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA" editor: - name: "Qizoyan Li" link: "https://researchr.org/alias/qizoyan-li" - name: "Donald Firesmith" link: "https://researchr.org/alias/donald-firesmith" - name: "Richard Riehle" link: "https://researchr.org/alias/richard-riehle" - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" publisher: "IEEE Computer Society" isbn: "0-7695-0774-3" kind: "inproceedings" key: "HarelK00:0" - title: "Completeness Results for Recursive Data Bases" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" tags: - "completeness" - "data-flow" researchr: "https://researchr.org/publication/HirstH96" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "52" number: "3" pages: "522-536" kind: "article" key: "HirstH96" - title: "Challenges for modeling and simulation methods in systems biology" author: - name: "Herbert M. Sauro" link: "https://researchr.org/alias/herbert-m.-sauro" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Marta Z. Kwiatkowska" link: "https://researchr.org/alias/marta-z.-kwiatkowska" - name: "Clifford A. Shaffer" link: "https://researchr.org/alias/clifford-a.-shaffer" - name: "Adelinde M. Uhrmacher" link: "https://researchr.org/alias/adelinde-m.-uhrmacher" - name: "Michael Hucka" link: "https://researchr.org/alias/michael-hucka" - name: "Pedro Mendes" link: "https://researchr.org/alias/pedro-mendes" - name: "Lena Strömbäck" link: "https://researchr.org/alias/lena-str%C3%B6mb%C3%A4ck" - name: "John J. Tyson" link: "https://researchr.org/alias/john-j.-tyson" year: "2006" doi: "http://doi.acm.org/10.1145/1218112.1218425" links: doi: "http://doi.acm.org/10.1145/1218112.1218425" tags: - "modeling" researchr: "https://researchr.org/publication/SauroHKSUHMST06" cites: 0 citedby: 0 pages: "1720-1730" booktitle: "Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006" editor: - name: "L. Felipe Perrone" link: "https://researchr.org/alias/l.-felipe-perrone" - name: "Barry Lawson" link: "https://researchr.org/alias/barry-lawson" - name: "Jason Liu" link: "https://researchr.org/alias/jason-liu" - name: "Frederick P. Wieland" link: "https://researchr.org/alias/frederick-p.-wieland" publisher: "WSC" isbn: "1-4244-0501-7" kind: "inproceedings" key: "SauroHKSUHMST06" - title: "Generic Reactive Animation: Realistic Modeling of Complex Natural Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yaki Setty" link: "https://researchr.org/alias/yaki-setty" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-68413-8_1" links: doi: "http://dx.doi.org/10.1007/978-3-540-68413-8_1" tags: - "modeling" researchr: "https://researchr.org/publication/HarelS08%3A0" cites: 0 citedby: 0 pages: "1-16" booktitle: "Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings" editor: - name: "Jasmin Fisher" link: "https://researchr.org/alias/jasmin-fisher" volume: "5054" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-68410-7" kind: "inproceedings" key: "HarelS08:0" - title: "Temporal Logic for Scenario-Based Specifications" author: - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Yuan Lu" link: "https://researchr.org/alias/yuan-lu" - name: "Yves Bontemps" link: "https://researchr.org/alias/yves-bontemps" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=445" tags: - "rule-based" - "logic" researchr: "https://researchr.org/publication/KuglerHPLB05" cites: 0 citedby: 0 pages: "445-460" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings" editor: - name: "Nicolas Halbwachs" link: "https://researchr.org/alias/nicolas-halbwachs" - name: "Lenore D. Zuck" link: "https://researchr.org/alias/lenore-d.-zuck" volume: "3440" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25333-5" kind: "inproceedings" key: "KuglerHPLB05" - title: "Undecidability of PDL with L={a^(2i)|i>=0}" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Mike Paterson" link: "https://researchr.org/alias/mike-paterson" year: "1984" researchr: "https://researchr.org/publication/HarelP84%3A0" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "29" number: "3" pages: "359-365" kind: "article" key: "HarelP84:0" - title: "Clustering spatial data using random walks" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2001" doi: "http://portal.acm.org/citation.cfm?id=502512.502552" links: doi: "http://portal.acm.org/citation.cfm?id=502512.502552" tags: - "data-flow" researchr: "https://researchr.org/publication/HarelK01%3A0" cites: 0 citedby: 0 pages: "281-286" booktitle: "KDD" kind: "inproceedings" key: "HarelK01:0" - title: "InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming" author: - name: "Dan Barak" link: "https://researchr.org/alias/dan-barak" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=66" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=66" tags: - "rule-based" - "programming" - "design" researchr: "https://researchr.org/publication/BarakHM03" cites: 0 citedby: 0 pages: "66-86" booktitle: "Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona" editor: - name: "Jörg Desel" link: "https://researchr.org/alias/j%C3%B6rg-desel" - name: "Wolfgang Reisig" link: "https://researchr.org/alias/wolfgang-reisig" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "3098" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22261-8" kind: "inproceedings" key: "BarakHM03" - title: "A Multi-Scale Algorithm for Drawing Graphs Nicely" author: - name: "Ronny Hadany" link: "https://researchr.org/alias/ronny-hadany" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1665/16650262.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1665/16650262.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HadanyH99" cites: 0 citedby: 0 pages: "262-277" booktitle: "Graph-Theoretic Concepts in Computer Science, 25th International Workshop, WG 99, Ascona, Switzerland, June 17-19, 1999, Proceedings" editor: - name: "Peter Widmayer" link: "https://researchr.org/alias/peter-widmayer" - name: "Gabriele Neyer" link: "https://researchr.org/alias/gabriele-neyer" - name: "Stephan Eidenbenz" link: "https://researchr.org/alias/stephan-eidenbenz" volume: "1665" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66731-8" kind: "inproceedings" key: "HadanyH99" - title: "GemCell: A generic platform for modeling multi-cellular biological systems" author: - name: "Hila Amir-Kroll" link: "https://researchr.org/alias/hila-amir-kroll" - name: "Avital Sadot" link: "https://researchr.org/alias/avital-sadot" - name: "Irun R. Cohen" link: "https://researchr.org/alias/irun-r.-cohen" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2008" doi: "http://dx.doi.org/10.1016/j.tcs.2007.11.014" links: doi: "http://dx.doi.org/10.1016/j.tcs.2007.11.014" tags: - "modeling" researchr: "https://researchr.org/publication/Amir-KrollSCH08" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "391" number: "3" pages: "276-290" kind: "article" key: "Amir-KrollSCH08" - title: "Reactive Animation: Realistic Modeling of Complex Dynamic Systems" author: - name: "Sol Efroni" link: "https://researchr.org/alias/sol-efroni" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Irun R. Cohen" link: "https://researchr.org/alias/irun-r.-cohen" year: "2005" doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2005.31" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2005.31" tags: - "modeling" researchr: "https://researchr.org/publication/EfroniHC05" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "38" number: "1" pages: "38-47" kind: "article" key: "EfroniHC05" - title: "Horn Clauses Queries and Generalizations" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1985" researchr: "https://researchr.org/publication/ChandraH85" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "2" number: "1" pages: "1-15" kind: "article" key: "ChandraH85" - title: "Object Composition in Scenario-Based Programming" author: - name: "Yoram Atir" link: "https://researchr.org/alias/yoram-atir" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Asaf Kleinbort" link: "https://researchr.org/alias/asaf-kleinbort" - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_23" links: doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_23" tags: - "object-oriented programming" - "rule-based" - "meta programming" - "composition" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/AtirHKM08" cites: 0 citedby: 0 pages: "301-316" booktitle: "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Paola Inverardi" link: "https://researchr.org/alias/paola-inverardi" volume: "4961" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78742-6" kind: "inproceedings" key: "AtirHKM08" - title: "Process Logic: Expressiveness, Decidability, Completeness" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" - name: "Rohit Parikh" link: "https://researchr.org/alias/rohit-parikh" year: "1982" tags: - "completeness" - "logic" researchr: "https://researchr.org/publication/HarelKP82" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "25" number: "2" pages: "144-170" kind: "article" key: "HarelKP82" - title: "On the Power of Bounded Concurrency II: Pushdown Automata" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1994" doi: "http://doi.acm.org/10.1145/176584.176588" links: doi: "http://doi.acm.org/10.1145/176584.176588" researchr: "https://researchr.org/publication/HirstH94" cites: 0 citedby: 0 journal: "Journal of the ACM" volume: "41" number: "3" pages: "540-554" kind: "article" key: "HirstH94" - title: "On the Power of Bounded Concurrency II: The Pushdown Automata Level" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1990" researchr: "https://researchr.org/publication/HirstH90" cites: 0 citedby: 0 pages: "1-17" booktitle: "CAAP 90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings" editor: - name: "André Arnold" link: "https://researchr.org/alias/andr%C3%A9-arnold" volume: "431" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-52590-4" kind: "inproceedings" key: "HirstH90" - title: "A Probabilistic Dynamic Logic" author: - name: "Yishai A. Feldman" link: "https://researchr.org/alias/yishai-a.-feldman" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1982" tags: - "logic" researchr: "https://researchr.org/publication/FeldmanH82" cites: 0 citedby: 0 pages: "181-195" booktitle: "Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, 5-7 May 1982, San Francisco, California, USA" publisher: "ACM" kind: "inproceedings" key: "FeldmanH82" - title: "Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2006" doi: "http://dx.doi.org/10.1007/11817963_3" links: doi: "http://dx.doi.org/10.1007/11817963_3" tags: - "rule-based" - "program verification" researchr: "https://researchr.org/publication/Harel06" cites: 0 citedby: 0 pages: "3-4" booktitle: "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" editor: - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Robert B. Jones" link: "https://researchr.org/alias/robert-b.-jones" volume: "4144" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37406-X" kind: "inproceedings" key: "Harel06" - title: "A Fast Multi-Scale Method for Drawing Large Graphs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2000" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelK00%3A1" cites: 0 citedby: 0 pages: "282-285" booktitle: "Advanced Visual Interfaces" kind: "inproceedings" key: "HarelK00:1" - title: "Nondeterminism in Logics of Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Vaughan R. Pratt" link: "https://researchr.org/alias/vaughan-r.-pratt" year: "1978" tags: - "logic programming" - "logic" researchr: "https://researchr.org/publication/HarelP78" cites: 0 citedby: 0 pages: "203-213" booktitle: "POPL" kind: "inproceedings" key: "HarelP78" - title: "On Visual Formalisms" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1988" researchr: "https://researchr.org/publication/Harel88" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "31" number: "5" pages: "514-530" kind: "article" key: "Harel88" - title: "Taking it to the Limit: On Infinite Variants of NP-Complete Problems" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1993" tags: - "completeness" researchr: "https://researchr.org/publication/HirstH93" cites: 0 citedby: 0 pages: "292-304" booktitle: "Structure in Complexity Theory Conference" kind: "inproceedings" key: "HirstH93" - title: "Deciding Properties of Nonregular Programs (Preliminary Version)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Danny Raz" link: "https://researchr.org/alias/danny-raz" year: "1990" researchr: "https://researchr.org/publication/HarelR90" cites: 0 citedby: 0 pages: "652-661" booktitle: "31st Annual Symposium on Foundations of Computer Science, 22-24 October 1990, St. Louis, Missouri, USA" volume: "II" publisher: "IEEE" kind: "inproceedings" key: "HarelR90" - title: "A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2623/26230002.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2623/26230002.htm" tags: - "modeling" researchr: "https://researchr.org/publication/Harel03%3A0" cites: 0 citedby: 0 pages: "2" booktitle: "Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings" editor: - name: "Oded Maler" link: "https://researchr.org/alias/oded-maler" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" volume: "2623" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00913-2" kind: "inproceedings" key: "Harel03:0" - title: "Formal Modeling of C. elegans Development: A Scenario-Based Approach" author: - name: "Na aman Kam" link: "https://researchr.org/alias/na-aman-kam" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "E. Jane Albert Hubbard" link: "https://researchr.org/alias/e.-jane-albert-hubbard" - name: "Michael J. Stern" link: "https://researchr.org/alias/michael-j.-stern" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm" tags: - "rule-based" - "meta-model" - "modeling" - "model-driven development" - "C++" - "Meta-Environment" - "systematic-approach" researchr: "https://researchr.org/publication/KamHKMPHS03" cites: 0 citedby: 0 pages: "4-20" booktitle: "Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings" editor: - name: "Corrado Priami" link: "https://researchr.org/alias/corrado-priami" volume: "2602" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00605-2" kind: "inproceedings" key: "KamHKMPHS03" - title: "Playing with Time: On the Specification and Execution of Time-Enriched LSCs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" year: "2002" doi: "http://csdl.computer.org/comp/proceedings/mascots/2002/1840/00/18400193abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/mascots/2002/1840/00/18400193abs.htm" researchr: "https://researchr.org/publication/HarelM02" cites: 0 citedby: 0 pages: "193-202" booktitle: "10th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 11-16 October 2002, Fort Worth, Texas, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1840-0" kind: "inproceedings" key: "HarelM02" - title: "Statecharts in the making: a personal account" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2009" doi: "http://doi.acm.org/10.1145/1467247.1467274" links: doi: "http://doi.acm.org/10.1145/1467247.1467274" researchr: "https://researchr.org/publication/Harel09" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "52" number: "3" pages: "67-75" kind: "article" key: "Harel09" - title: "A two-way visualization method for clustered data" author: - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2003" doi: "http://doi.acm.org/10.1145/956750.956824" links: doi: "http://doi.acm.org/10.1145/956750.956824" tags: - "data-flow" researchr: "https://researchr.org/publication/KorenH03%3A0" cites: 0 citedby: 0 pages: "589-594" booktitle: "Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003" editor: - name: "Lise Getoor" link: "https://researchr.org/alias/lise-getoor" - name: "Ted E. Senator" link: "https://researchr.org/alias/ted-e.-senator" - name: "Pedro Domingos" link: "https://researchr.org/alias/pedro-domingos" - name: "Christos Faloutsos" link: "https://researchr.org/alias/christos-faloutsos" publisher: "ACM" isbn: "1-58113-737-0" kind: "inproceedings" key: "KorenH03:0" - title: "Using LSCs for scenario authoring in tactical simulators" author: - name: "Yoram Atir" link: "https://researchr.org/alias/yoram-atir" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2007" doi: "http://doi.acm.org/10.1145/1357910.1357979" links: doi: "http://doi.acm.org/10.1145/1357910.1357979" researchr: "https://researchr.org/publication/AtirH07" cites: 0 citedby: 0 pages: "437-442" booktitle: "Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007" editor: - name: "Gabriel Andrés Wainer" link: "http://www.sce.carleton.ca/faculty/wainer" publisher: "Simulation Councils, Inc." isbn: "1-56555-316-0" kind: "inproceedings" key: "AtirH07" - title: "On Teaching Visual Formalisms" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Michal Gordon-Kiwkowitz" link: "https://researchr.org/alias/michal-gordon-kiwkowitz" year: "2009" doi: "http://dx.doi.org/10.1109/MS.2009.76" links: doi: "http://dx.doi.org/10.1109/MS.2009.76" tags: - "teaching" researchr: "https://researchr.org/publication/HarelG09" cites: 0 citedby: 0 journal: "IEEE Software" volume: "26" number: "3" pages: "87-95" kind: "article" key: "HarelG09" - title: "Concurrency in Biological Modeling: Behavior, Execution and Visualization" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yaki Setty" link: "https://researchr.org/alias/yaki-setty" - name: "Sol Efroni" link: "https://researchr.org/alias/sol-efroni" - name: "Naamah Swerdlin" link: "https://researchr.org/alias/naamah-swerdlin" - name: "Irun R. Cohen" link: "https://researchr.org/alias/irun-r.-cohen" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2007.12.009" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.12.009" tags: - "modeling" researchr: "https://researchr.org/publication/HarelSESC08" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "194" number: "3" pages: "119-131" kind: "article" key: "HarelSESC08" - title: "Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" tags: - "survey" - "logic programming" - "logic" researchr: "https://researchr.org/publication/Harel80%3A2" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "12" pages: "61-81" kind: "article" key: "Harel80:2" - title: "Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL" author: - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1982" tags: - "translation" - "logic" researchr: "https://researchr.org/publication/ShermanPH82" cites: 0 citedby: 0 pages: "347-360" booktitle: "POPL" kind: "inproceedings" key: "ShermanPH82" - title: "An Algorithm for Straight-Line Drawing of Planar Graphs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Meir Sardas" link: "https://researchr.org/alias/meir-sardas" year: "1998" tags: - "planar graph" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelS98" cites: 0 citedby: 0 journal: "Algorithmica" volume: "20" number: "2" pages: "119-135" kind: "article" key: "HarelS98" - title: "A multi-scale algorithm for drawing graphs nicely" author: - name: "Ronny Hadany" link: "https://researchr.org/alias/ronny-hadany" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2001" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HadanyH01" cites: 0 citedby: 0 journal: "Discrete Applied Mathematics" volume: "113" number: "1" pages: "3-21" kind: "article" key: "HadanyH01" - title: "On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Roni Rosner" link: "https://researchr.org/alias/roni-rosner" - name: "Moshe Y. Vardi" link: "https://researchr.org/alias/moshe-y.-vardi" year: "1990" researchr: "https://researchr.org/publication/HarelRV90" cites: 0 citedby: 0 pages: "478-488" booktitle: "Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "HarelRV90" - title: "Arithmetical Completeness in Logics of Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1978" tags: - "completeness" - "logic programming" - "logic" researchr: "https://researchr.org/publication/Harel78" cites: 0 citedby: 0 pages: "268-288" booktitle: "Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings" editor: - name: "Giorgio Ausiello" link: "https://researchr.org/alias/giorgio-ausiello" - name: "Corrado Böhm" link: "https://researchr.org/alias/corrado-b%C3%B6hm" volume: "62" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-08860-1" kind: "inproceedings" key: "Harel78" - title: "Biting the Silver Bullet - Toward a Brighter Future for System Development" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1992" researchr: "https://researchr.org/publication/Harel92" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "25" number: "1" pages: "8-20" kind: "article" key: "Harel92" - title: "From multi-modal scenarios to code: compiling LSCs into aspectJ" author: - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2006" doi: "http://doi.acm.org/10.1145/1181775.1181802" links: doi: "http://doi.acm.org/10.1145/1181775.1181802" tags: - "AspectJ" - "compiler" researchr: "https://researchr.org/publication/MaozH06" cites: 0 citedby: 0 pages: "219-230" booktitle: "Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006" editor: - name: "Michal Young" link: "https://researchr.org/alias/michal-young" - name: "Premkumar T. Devanbu" link: "https://researchr.org/alias/premkumar-t.-devanbu" publisher: "ACM" isbn: "1-59593-468-5" kind: "inproceedings" key: "MaozH06" - title: "on And/Or Schemes" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" researchr: "https://researchr.org/publication/Harel80%3A0" cites: 0 citedby: 0 pages: "246-260" booktitle: "Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980" editor: - name: "Piotr Dembinski" link: "https://researchr.org/alias/piotr-dembinski" volume: "88" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10027-X" kind: "inproceedings" key: "Harel80:0" - title: "Smart Play-out of Behavioral Requirements" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2517/25170378.htm" researchr: "https://researchr.org/publication/HarelKMP02" cites: 0 citedby: 0 pages: "378-398" booktitle: "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings" editor: - name: "Mark Aagaard" link: "https://researchr.org/alias/mark-aagaard" - name: "John W. O Leary" link: "https://researchr.org/alias/john-w.-o-leary" volume: "2517" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00116-6" kind: "inproceedings" key: "HarelKMP02" - title: "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming" author: - name: "Dan Barak" link: "https://researchr.org/alias/dan-barak" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2006.67" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2006.67" tags: - "rule-based" - "programming" - "design" researchr: "https://researchr.org/publication/BarakHM06" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "32" number: "7" pages: "467-485" kind: "article" key: "BarakHM06" - title: "More on Nonregular PDL: Finite Models and Fibonacci-Like Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eli Singerman" link: "https://researchr.org/alias/eli-singerman" year: "1996" researchr: "https://researchr.org/publication/HarelS96" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "128" number: "2" pages: "109-118" kind: "article" key: "HarelS96" - title: "On Object Systems and Behavioral Inheritance" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Orna Kupferman" link: "https://researchr.org/alias/orna-kupferman" year: "2002" doi: "http://www.computer.org:80/tse/ts2002/e0889abs.htm" links: doi: "http://www.computer.org:80/tse/ts2002/e0889abs.htm" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HarelK02%3A0" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "28" number: "9" pages: "889-903" kind: "article" key: "HarelK02:0" - title: "Specifying and executing behavioral requirements: the play-in/play-out approach" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" year: "2003" doi: "http://dx.doi.org/10.1007/s10270-002-0015-5" links: doi: "http://dx.doi.org/10.1007/s10270-002-0015-5" tags: - "systematic-approach" researchr: "https://researchr.org/publication/HarelM03" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "2" number: "2" pages: "82-107" kind: "article" key: "HarelM03" - title: "Structure and Complexity of Relational Queries" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1982" researchr: "https://researchr.org/publication/ChandraH82" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "25" number: "1" pages: "99-128" kind: "article" key: "ChandraH82" - title: "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=309" tags: - "rule-based" researchr: "https://researchr.org/publication/HarelKP05" cites: 0 citedby: 0 pages: "309-324" booktitle: "Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday" editor: - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" volume: "3393" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-24936-2" kind: "inproceedings" key: "HarelKP05" - title: "A Programming Language for the Inductive Sets, and Applications" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" year: "1982" tags: - "programming languages" - "programming" researchr: "https://researchr.org/publication/HarelK82" cites: 0 citedby: 0 pages: "313-329" booktitle: "Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings" editor: - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Erik Meineche Schmidt" link: "https://researchr.org/alias/erik-meineche-schmidt" volume: "140" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-11576-5" kind: "inproceedings" key: "HarelK82" - title: "ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs" author: - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" - name: "Liran Carmel" link: "https://researchr.org/alias/liran-carmel" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2002" doi: "http://computer.org/proceedings/infovis/1751/17510137abs.htm" links: doi: "http://computer.org/proceedings/infovis/1751/17510137abs.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/KorenCH02" cites: 0 citedby: 0 pages: "137-144" booktitle: "2002 IEEE Symposium on Information Visualization (InfoVis 2002), 27 October - 1 November 2002, Boston, MA, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1751-X" kind: "inproceedings" key: "KorenCH02" - title: "Horn Clauses and the Fixpoint Query Hierarchy" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1982" doi: "http://doi.acm.org/10.1145/588111.588137" links: doi: "http://doi.acm.org/10.1145/588111.588137" researchr: "https://researchr.org/publication/ChandraH82%3A0" cites: 0 citedby: 0 pages: "158-163" booktitle: "Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California" publisher: "ACM" kind: "inproceedings" key: "ChandraH82:0" - title: "Towards a Theory of Recursive Structures" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1998" researchr: "https://researchr.org/publication/Harel98" cites: 0 citedby: 0 pages: "93-114" booktitle: "International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I" editor: - name: "Maurice Margenstern" link: "https://researchr.org/alias/maurice-margenstern" publisher: "IUT Metz" isbn: "2-9511539-2-9" kind: "inproceedings" key: "Harel98" - title: "Meaningful Modeling: What s the Semantics of Semantics ?" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" year: "2004" doi: "http://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm" links: doi: "http://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm" tags: - "semantics" - "modeling" researchr: "https://researchr.org/publication/HarelR04" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "37" number: "10" pages: "64-72" kind: "article" key: "HarelR04" - title: "Synthesizing State-Based Object Systems from LSC Specifications" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/2088/20880001.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2088/20880001.htm" tags: - "rule-based" researchr: "https://researchr.org/publication/HarelK00" cites: 0 citedby: 0 pages: "1-33" booktitle: "Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers" editor: - name: "Sheng Yu" link: "https://researchr.org/alias/sheng-yu" - name: "Andrei Paun" link: "https://researchr.org/alias/andrei-paun" volume: "2088" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42491-1" kind: "inproceedings" key: "HarelK00" - title: "Assert and negate revisited: Modal semantics for UML sequence diagrams" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" year: "2008" doi: "http://dx.doi.org/10.1007/s10270-007-0054-z" links: doi: "http://dx.doi.org/10.1007/s10270-007-0054-z" tags: - "semantics" - "UML" - "sequence diagrams" researchr: "https://researchr.org/publication/HarelM08" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "7" number: "2" pages: "237-252" kind: "article" key: "HarelM08" - title: "Recursion in Logics of Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1979" doi: "http://doi.acm.org/10.1145/567752.567760" abstract: " The problem of reasoning about recursive programs is considered. Utilizing a simple analogy between iterative and recursive programs viewed as unfinite unions of finite terms, we carry out an investigation analogous to that carried out recently for iterative programs. The main results are the arithmetical completeness of axiom systems for (1) context-free dynamic logic and (2) its extension for dealing with infinite computations. Having the power of expression of these logics in mind, these results can be seen to supply (as corollaries) complete proof methods for the various kinds of correctness of recursive programs. " links: doi: "http://doi.acm.org/10.1145/567752.567760" tags: - "completeness" - "logic programming" - "programming" - "context-aware" - "logic" researchr: "https://researchr.org/publication/Harel79%3A0" cites: 0 citedby: 0 pages: "81-92" booktitle: "Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language" editor: - name: "Barry K. Rosen" link: "https://researchr.org/alias/barry-k.-rosen" - name: "Alfred V. Aho" link: "http://www1.cs.columbia.edu/~aho/" - name: "Stephen N. Zilles " link: "https://researchr.org/alias/stephen-n.-zilles%09" publisher: "ACM" kind: "inproceedings" key: "Harel79:0" - title: "06351 Summary -- Methods for Modelling Software Systems (MMOSS)" author: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Angelika Mader" link: "https://researchr.org/alias/angelika-mader" - name: "Perdita Stevens" link: "https://researchr.org/alias/perdita-stevens" - name: "Roel Wieringa" link: "http://wwwhome.cs.utwente.nl/~roelw/" year: "2006" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/957" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2007/957" researchr: "https://researchr.org/publication/BrinksmaHMSW06" cites: 0 citedby: 0 booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006" editor: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Angelika Mader" link: "https://researchr.org/alias/angelika-mader" - name: "Perdita Stevens" link: "http://homepages.inf.ed.ac.uk/perdita/" - name: "Roel Wieringa" link: "http://wwwhome.cs.utwente.nl/~roelw/" volume: "06351" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "BrinksmaHMSW06" - title: "On the Solvability of Domino Snake Problems" author: - name: "Yael Etzion-Petruschka" link: "https://researchr.org/alias/yael-etzion-petruschka" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Dale Myers" link: "https://researchr.org/alias/dale-myers" year: "1994" researchr: "https://researchr.org/publication/Etzion-PetruschkaHM94" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "131" number: "2" pages: "243-269" kind: "article" key: "Etzion-PetruschkaHM94" - title: "On the Power of Cooperative Concurrency" author: - name: "Doron Drusinsky" link: "https://researchr.org/alias/doron-drusinsky" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1988" researchr: "https://researchr.org/publication/DrusinskyH88" cites: 0 citedby: 0 pages: "74-103" booktitle: "Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings" editor: - name: "Friedrich H. Vogt" link: "https://researchr.org/alias/friedrich-h.-vogt" volume: "335" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-50403-6" kind: "inproceedings" key: "DrusinskyH88" - title: "Toward Verified Biological Models" author: - name: "Avital Sadot" link: "https://researchr.org/alias/avital-sadot" - name: "Jasmin Fisher" link: "https://researchr.org/alias/jasmin-fisher" - name: "Dan Barak" link: "https://researchr.org/alias/dan-barak" - name: "Yishai Admanit" link: "https://researchr.org/alias/yishai-admanit" - name: "Michael J. Stern" link: "https://researchr.org/alias/michael-j.-stern" - name: "E. Jane Albert Hubbard" link: "https://researchr.org/alias/e.-jane-albert-hubbard" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2008" doi: "http://doi.acm.org/10.1145/1371585.1371591" links: doi: "http://doi.acm.org/10.1145/1371585.1371591" tags: - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/SadotFBASHH08" cites: 0 citedby: 0 journal: "IEEE/ACM Trans. Comput. Biology Bioinform." volume: "5" number: "2" pages: "223-234" kind: "article" key: "SadotFBASHH08" - title: "Rhapsody: A Complete Life-Cycle Model-Based Development System" author: - name: "Eran Gery" link: "https://researchr.org/alias/eran-gery" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eldad Palachi" link: "https://researchr.org/alias/eldad-palachi" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2335/23350001.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2335/23350001.htm" tags: - "rule-based" - "completeness" - "meta-model" - "model-driven development" - "Meta-Environment" researchr: "https://researchr.org/publication/GeryHP02" cites: 0 citedby: 0 pages: "1-10" booktitle: "Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings" editor: - name: "Michael J. Butler" link: "https://researchr.org/alias/michael-j.-butler" - name: "Luigia Petre" link: "https://researchr.org/alias/luigia-petre" - name: "Kaisa Sere" link: "https://researchr.org/alias/kaisa-sere" volume: "2335" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43703-7" kind: "inproceedings" key: "GeryHP02" - title: "Synthesizing State-Based Object Systems from LSC Specifications" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" year: "2002" doi: "http://www.worldscinet.com/ijfcs/13/1301/S0129054102000935.html" links: doi: "http://www.worldscinet.com/ijfcs/13/1301/S0129054102000935.html" tags: - "rule-based" researchr: "https://researchr.org/publication/HarelK02%3A2" cites: 0 citedby: 0 journal: "Int. J. Found. Comput. Sci." volume: "13" number: "1" pages: "5-51" kind: "article" key: "HarelK02:2" - title: "The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts" author: - name: "Na aman Kam" link: "https://researchr.org/alias/na-aman-kam" - name: "Irun R. Cohen" link: "https://researchr.org/alias/irun-r.-cohen" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm" tags: - "modeling" researchr: "https://researchr.org/publication/KamCH01" cites: 0 citedby: 0 pages: "15-22" booktitle: "2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy" publisher: "IEEE Computer Society" kind: "inproceedings" key: "KamCH01" - title: "06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)" author: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Angelika Mader" link: "https://researchr.org/alias/angelika-mader" - name: "Perdita Stevens" link: "http://homepages.inf.ed.ac.uk/perdita/" - name: "Roel Wieringa" link: "http://wwwhome.cs.utwente.nl/~roelw/" year: "2006" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958" researchr: "https://researchr.org/publication/BrinksmaHMSW06a" cites: 0 citedby: 0 booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006" editor: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Angelika Mader" link: "https://researchr.org/alias/angelika-mader" - name: "Perdita Stevens" link: "http://homepages.inf.ed.ac.uk/perdita/" - name: "Roel Wieringa" link: "http://wwwhome.cs.utwente.nl/~roelw/" volume: "06351" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "BrinksmaHMSW06a" - title: "A Complete Axiomatic System for Proving Deductions about Recursive Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Jonathan Stavi" link: "https://researchr.org/alias/jonathan-stavi" year: "1977" tags: - "completeness" researchr: "https://researchr.org/publication/HarelPS77" cites: 0 citedby: 0 pages: "249-260" booktitle: "Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA" publisher: "ACM" kind: "inproceedings" key: "HarelPS77" - title: "Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1986" doi: "http://doi.acm.org/10.1145/4904.4993" links: doi: "http://doi.acm.org/10.1145/4904.4993" tags: - "transformation" researchr: "https://researchr.org/publication/Harel86" cites: 0 citedby: 0 journal: "Journal of the ACM" volume: "33" number: "1" pages: "224-248" kind: "article" key: "Harel86" - title: "Crafting game-models using reactive system design" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Itai Segall" link: "https://researchr.org/alias/itai-segall" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Yaki Setty" link: "https://researchr.org/alias/yaki-setty" year: "2008" doi: "http://doi.acm.org/10.1145/1496984.1497005" links: doi: "http://doi.acm.org/10.1145/1496984.1497005" tags: - "design" researchr: "https://researchr.org/publication/HarelSKS08" cites: 0 citedby: 0 pages: "121-128" booktitle: "Proceedings of the 2008 Conference on Future Play: Research, Play, Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008" editor: - name: "Bill Kapralos" link: "https://researchr.org/alias/bill-kapralos" - name: "Michael Katchabaw" link: "https://researchr.org/alias/michael-katchabaw" - name: "Jay Rajnovich" link: "https://researchr.org/alias/jay-rajnovich" publisher: "ACM" isbn: "978-1-60558-218-4" kind: "inproceedings" key: "HarelSKS08" - title: "On the Aesthetics of Diagrams (Summary of Talk)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220001.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220001.htm" researchr: "https://researchr.org/publication/Harel98%3A1" cites: 0 citedby: 0 pages: "1-5" booktitle: "Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings" editor: - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" volume: "1422" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64591-8" kind: "inproceedings" key: "Harel98:1" - title: "Hamiltonian Paths in Infinite Graphs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1991" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Harel91" cites: 0 citedby: 0 pages: "220-229" booktitle: "Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, 6-8 May 1991, New Orleans, Louisiana, USA" publisher: "ACM" kind: "inproceedings" key: "Harel91" - title: "Can Programming Be Liberated, Period?" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2008" doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2008.10" abstract: "The author describes his dream about freeing ourselves from the straightjackets of programming, making the process of getting computers to do what we want intuitive, natural, and also fun. He recommends harnessing the great power of computing and transforming a natural and almost playful means of programming so that it becomes fully operational and machine-doable." links: doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2008.10" tags: - "programming" researchr: "https://researchr.org/publication/Harel08" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "41" number: "1" pages: "28-37" kind: "article" key: "Harel08" - title: "Comprehensive and realistic modeling of biological systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2006" doi: "http://doi.acm.org/10.1145/1218112.1218408" links: doi: "http://doi.acm.org/10.1145/1218112.1218408" tags: - "modeling" researchr: "https://researchr.org/publication/Harel06%3A0" cites: 0 citedby: 0 pages: "1625-1627" booktitle: "Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006" editor: - name: "L. Felipe Perrone" link: "https://researchr.org/alias/l.-felipe-perrone" - name: "Barry Lawson" link: "https://researchr.org/alias/barry-lawson" - name: "Jason Liu" link: "https://researchr.org/alias/jason-liu" - name: "Frederick P. Wieland" link: "https://researchr.org/alias/frederick-p.-wieland" publisher: "WSC" isbn: "1-4244-0501-7" kind: "inproceedings" key: "Harel06:0" - title: "Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1995" researchr: "https://researchr.org/publication/Harel95%3A0" cites: 0 citedby: 0 pages: "264-268" booktitle: "CONCUR 95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings" editor: - name: "Insup Lee" link: "https://researchr.org/alias/insup-lee" - name: "Scott A. Smolka" link: "https://researchr.org/alias/scott-a.-smolka" volume: "962" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-60218-6" kind: "inproceedings" key: "Harel95:0" - title: "A General Result on Infinite Trees and Its Applications (Preliminary Report)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1984" researchr: "https://researchr.org/publication/Harel84" cites: 0 citedby: 0 pages: "418-427" booktitle: "Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA" publisher: "ACM" kind: "inproceedings" key: "Harel84" - title: "Looping vs. Repeating in Dynamic Logic" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" year: "1982" month: "October/November/December" tags: - "logic" researchr: "https://researchr.org/publication/HarelS82" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "55" number: "1-3" pages: "175-192" kind: "article" key: "HarelS82" - title: "Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050006.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050006.htm" researchr: "https://researchr.org/publication/Harel02%3A0" cites: 0 citedby: 0 pages: "6-7" booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "2505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44310-X" kind: "inproceedings" key: "Harel02:0" - title: "Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs:::, :::" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Itai Segall" link: "https://researchr.org/alias/itai-segall" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_37" links: doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_37" tags: - "rule-based" - "traversal" researchr: "https://researchr.org/publication/HarelS07" cites: 0 citedby: 0 pages: "485-499" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi" editor: - name: "Orna Grumberg" link: "https://researchr.org/alias/orna-grumberg" - name: "Michael Huth" link: "https://researchr.org/alias/michael-huth" volume: "4424" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71208-4" kind: "inproceedings" key: "HarelS07" - title: "Statecharts in Use: Structured Analysis and Object-Orientation" author: - name: "Bruce Powel Douglass" link: "https://researchr.org/alias/bruce-powel-douglass" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Mark B. Trakhtenbrot" link: "https://researchr.org/alias/mark-b.-trakhtenbrot" year: "1996" tags: - "meta-model" - "analysis" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/DouglassHT96" cites: 0 citedby: 0 pages: "368-394" booktitle: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996" editor: - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Frits W. Vaandrager" link: "http://www.cs.ru.nl/~fvaan/" volume: "1494" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65193-4" kind: "inproceedings" key: "DouglassHT96" - title: "Computable Queries for Relational Data Bases" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" doi: "db/journals/jcss/ChandraH80.html" tags: - "data-flow" researchr: "https://researchr.org/publication/ChandraH80" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "21" number: "2" pages: "156-178" kind: "article" key: "ChandraH80" - title: "Propositional Dynamic Logic of Nonregular Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Jonathan Stavi" link: "https://researchr.org/alias/jonathan-stavi" year: "1983" tags: - "logic programming" - "logic" researchr: "https://researchr.org/publication/HarelPS83" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "26" number: "2" pages: "222-243" kind: "article" key: "HarelPS83" - title: "On the Development of Reactive Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" year: "1985" researchr: "https://researchr.org/publication/harel1985development" cites: 0 citedby: 0 journal: "Logics and models of concurrent systems" kind: "article" key: "harel1985development" - title: "Reactive Animation" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Sol Efroni" link: "https://researchr.org/alias/sol-efroni" - name: "Irun R. Cohen" link: "https://researchr.org/alias/irun-r.-cohen" year: "2002" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=136" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=136" researchr: "https://researchr.org/publication/HarelEC02" cites: 0 citedby: 0 pages: "136-153" booktitle: "Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures" editor: - name: "Frank S. de Boer" link: "https://researchr.org/alias/frank-s.-de-boer" - name: "Marcello M. Bonsangue" link: "https://researchr.org/alias/marcello-m.-bonsangue" - name: "Susanne Graf" link: "https://researchr.org/alias/susanne-graf" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" volume: "2852" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20303-6" kind: "inproceedings" key: "HarelEC02" - title: "One-dimensional layout optimization, with applications to graph drawing by axis separation" author: - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2005" doi: "http://dx.doi.org/10.1016/j.comgeo.2005.03.003" links: doi: "http://dx.doi.org/10.1016/j.comgeo.2005.03.003" tags: - "optimization" - "layout" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/KorenH05" cites: 0 citedby: 0 journal: "Comput. Geom." volume: "32" number: "2" pages: "115-138" kind: "article" key: "KorenH05" - title: "Computable Queries for Relational Data Bases (Preliminary Report)" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1979" tags: - "data-flow" researchr: "https://researchr.org/publication/ChandraH79" cites: 0 citedby: 0 pages: "309-318" booktitle: "Conference Record of the Eleventh Annual ACM Symposium on Theory of Computing, 30 April-2 May, 1979, Atlanta, Georgia, USA" publisher: "ACM" kind: "inproceedings" key: "ChandraH79" - title: "Generating Executable Scenarios from Natural Language" author: - name: "Michal Gordon" link: "https://researchr.org/alias/michal-gordon" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-00382-0_37" links: doi: "http://dx.doi.org/10.1007/978-3-642-00382-0_37" researchr: "https://researchr.org/publication/GordonH09" cites: 0 citedby: 0 pages: "456-467" booktitle: "Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings" editor: - name: "Alexander F. Gelbukh" link: "https://researchr.org/alias/alexander-f.-gelbukh" volume: "5449" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00381-3" kind: "inproceedings" key: "GordonH09" - title: "Smart play-out" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" year: "2003" doi: "http://doi.acm.org/10.1145/949344.949353" links: doi: "http://doi.acm.org/10.1145/949344.949353" researchr: "https://researchr.org/publication/HarelKMP03" cites: 0 citedby: 0 pages: "68-69" booktitle: "Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA" editor: - name: "Ron Crocker" link: "https://researchr.org/alias/ron-crocker" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "1-58113-751-6" kind: "inproceedings" key: "HarelKMP03" - title: "Process Logic: Expressiveness, Decidability, Completeness" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" - name: "Rohit Parikh" link: "https://researchr.org/alias/rohit-parikh" year: "1980" tags: - "completeness" - "logic" researchr: "https://researchr.org/publication/HarelKP80" cites: 0 citedby: 0 pages: "129-142" booktitle: "21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA" publisher: "IEEE" kind: "inproceedings" key: "HarelKP80" - title: "A High School Program in Computer Science" author: - name: "Judith Gal-Ezer" link: "https://researchr.org/alias/judith-gal-ezer" - name: "Catriel Beeri" link: "https://researchr.org/alias/catriel-beeri" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amiram Yehudai" link: "https://researchr.org/alias/amiram-yehudai" year: "1995" tags: - "e-science" researchr: "https://researchr.org/publication/Gal-EzerBHY95" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "28" number: "10" pages: "73-80" kind: "article" key: "Gal-EzerBHY95" - title: "Deciding Emptiness for Stack Automata on Infinite Trees" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Danny Raz" link: "https://researchr.org/alias/danny-raz" year: "1994" month: "September" researchr: "https://researchr.org/publication/HarelR94" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "113" number: "2" pages: "278-299" kind: "article" key: "HarelR94" - title: "Smart Play-Out Extended: Time and Forbidden Elements" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/qsic/2004/2207/00/22070002abs.htm" researchr: "https://researchr.org/publication/HarelKP04" cites: 0 citedby: 0 pages: "2-10" booktitle: "4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany" publisher: "IEEE Computer Society" isbn: "0-7695-2207-6" kind: "inproceedings" key: "HarelKP04" - title: "On Clustering Using Random Walks" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450018.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2245/22450018.htm" researchr: "https://researchr.org/publication/HarelK01" cites: 0 citedby: 0 pages: "18-41" booktitle: "FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings" editor: - name: "Ramesh Hariharan" link: "https://researchr.org/alias/ramesh-hariharan" - name: "Madhavan Mukund" link: "https://researchr.org/alias/madhavan-mukund" - name: "V. Vinay" link: "https://researchr.org/alias/v.-vinay" volume: "2245" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43002-4" kind: "inproceedings" key: "HarelK01" - title: "Propositional Dynamic Logic of Flowcharts" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" year: "1983" tags: - "logic" researchr: "https://researchr.org/publication/HarelS83" cites: 0 citedby: 0 pages: "195-206" booktitle: "Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983" editor: - name: "Marek Karpinski" link: "https://researchr.org/alias/marek-karpinski" volume: "158" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-12689-9" kind: "inproceedings" key: "HarelS83" - title: "Computability and Completeness in Logics of Programs (Preliminary Report)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Albert R. Meyer" link: "https://researchr.org/alias/albert-r.-meyer" - name: "Vaughan R. Pratt" link: "https://researchr.org/alias/vaughan-r.-pratt" year: "1977" tags: - "completeness" - "logic programming" - "logic" researchr: "https://researchr.org/publication/HarelMP77" cites: 0 citedby: 0 pages: "261-268" booktitle: "Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA" publisher: "ACM" kind: "inproceedings" key: "HarelMP77" - title: "An algorithm for blob hierarchy layout" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Gregory Yashchin" link: "https://researchr.org/alias/gregory-yashchin" year: "2002" doi: "http://link.springer.de/link/service/journals/00371/bibs/2018003/20180164.htm" links: doi: "http://link.springer.de/link/service/journals/00371/bibs/2018003/20180164.htm" tags: - "layout" researchr: "https://researchr.org/publication/HarelY02" cites: 0 citedby: 0 journal: "The Visual Computer" volume: "18" number: "3" pages: "164-185" kind: "article" key: "HarelY02" - title: "More About Recursive Structures: Descriptive Complexity and Zero-One Laws" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" researchr: "https://researchr.org/publication/HirstH96%3A0" cites: 0 citedby: 0 pages: "334-347" booktitle: "LICS" kind: "inproceedings" key: "HirstH96:0" - title: "A Probabilistic Dynamic Logic" author: - name: "Yishai A. Feldman" link: "https://researchr.org/alias/yishai-a.-feldman" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1984" tags: - "logic" researchr: "https://researchr.org/publication/FeldmanH84" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "28" number: "2" pages: "193-215" kind: "article" key: "FeldmanH84" - title: "Structure and Complexity of Relational Queries" author: - name: "Ashok K. Chandra" link: "https://researchr.org/alias/ashok-k.-chandra" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" researchr: "https://researchr.org/publication/ChandraH80%3A0" cites: 0 citedby: 0 booktitle: "XP1 Workshop on Relational Database Theory, 30 June - 2 July 1980, SUNY at Stony Brook, NY, USA" editor: - name: "David Maier" link: "http://web.cecs.pdx.edu/~maier/" kind: "inproceedings" key: "ChandraH80:0" - title: "A Multi-scale Algorithm for the Linear Arrangement Problem" author: - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2573/25730296.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2573/25730296.htm" researchr: "https://researchr.org/publication/KorenH02" cites: 0 citedby: 0 pages: "296-309" booktitle: "Graph-Theoretic Concepts in Computer Science, 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers" editor: - name: "Ludek Kucera" link: "https://researchr.org/alias/ludek-kucera" volume: "2573" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00331-2" kind: "inproceedings" key: "KorenH02" - title: "What (Else) Should CS Educators Know?" author: - name: "Judith Gal-Ezer" link: "https://researchr.org/alias/judith-gal-ezer" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1998" researchr: "https://researchr.org/publication/Gal-EzerH98" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "41" number: "9" pages: "77-84" kind: "article" key: "Gal-EzerH98" - title: "Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1994" doi: "http://doi.acm.org/10.1145/182591.182592" links: doi: "http://doi.acm.org/10.1145/182591.182592" researchr: "https://researchr.org/publication/Harel94" cites: 0 citedby: 0 pages: "1-3" booktitle: "Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota" publisher: "ACM Press" isbn: "0-89791-642-5" kind: "inproceedings" key: "Harel94" - title: "A Fast Multi-Scale Method for Drawing Large Graphs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2002" doi: "http://www.cs.brown.edu/publications/jgaa/accepted/2002/HarelKoren2002.6.3.pdf" links: doi: "http://www.cs.brown.edu/publications/jgaa/accepted/2002/HarelKoren2002.6.3.pdf" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelK02" cites: 0 citedby: 0 journal: "J. Graph Algorithms Appl." volume: "6" number: "3" pages: "179-202" kind: "article" key: "HarelK02" - title: "STATEMATE: A Working Environment for the Development of Complex Reactive Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hagi Lachover" link: "https://researchr.org/alias/hagi-lachover" - name: "Amnon Naamad" link: "https://researchr.org/alias/amnon-naamad" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Michal Politi" link: "https://researchr.org/alias/michal-politi" - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" - name: "Aharon Shtull-Trauring" link: "https://researchr.org/alias/aharon-shtull-trauring" - name: "Mark B. Trakhtenbrot" link: "https://researchr.org/alias/mark-b.-trakhtenbrot" year: "1990" doi: "http://www.computer.org/tse/ts1990/e0403abs.htm" links: doi: "http://www.computer.org/tse/ts1990/e0403abs.htm" tags: - "meta-model" - "model-driven development" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HarelLNPPSST90" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "16" number: "4" pages: "403-414" kind: "article" key: "HarelLNPPSST90" - title: "More on Looping vs. Repeating in Dynamic Logic" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "David Peleg" link: "https://researchr.org/alias/david-peleg" year: "1985" tags: - "logic" researchr: "https://researchr.org/publication/HarelP85" cites: 0 citedby: 0 journal: "Inf. Process. Lett." volume: "20" number: "2" pages: "87-90" kind: "article" key: "HarelP85" - title: "Some Thoughts on Statecharts, 13 Years Later" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1997" researchr: "https://researchr.org/publication/Harel97%3A0" cites: 0 citedby: 0 pages: "226-231" booktitle: "Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings" editor: - name: "Orna Grumberg" link: "https://researchr.org/alias/orna-grumberg" volume: "1254" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63166-6" kind: "inproceedings" key: "Harel97:0" - title: "A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2003" tags: - "modeling" researchr: "https://researchr.org/publication/Harel03" cites: 0 citedby: 0 journal: "Bulletin of the EATCS" volume: "81" pages: "226-235" kind: "article" key: "Harel03" - title: "A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=323" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=323" tags: - "modeling" researchr: "https://researchr.org/publication/Harel04" cites: 0 citedby: 0 pages: "323-324" booktitle: "Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings" editor: - name: "Bernhard Steffen" link: "https://researchr.org/alias/bernhard-steffen" - name: "Giorgio Levi" link: "https://researchr.org/alias/giorgio-levi" volume: "2937" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20803-8" kind: "inproceedings" key: "Harel04" - title: "Propositional Dynamic Logic of Context-Free Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Jonathan Stavi" link: "https://researchr.org/alias/jonathan-stavi" year: "1981" tags: - "logic programming" - "context-aware" - "logic" researchr: "https://researchr.org/publication/HarelPS81" cites: 0 citedby: 0 pages: "310-321" booktitle: "22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA" publisher: "IEEE" kind: "inproceedings" key: "HarelPS81" - title: "On the Visualization and Aesthetics of Large Graphs: Short Abstract" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=120" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=120" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Harel03%3A1" cites: 0 citedby: 0 pages: "120" booktitle: "Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers" editor: - name: "Manfred Broy" link: "https://researchr.org/alias/manfred-broy" - name: "Alexandre V. Zamulin" link: "https://researchr.org/alias/alexandre-v.-zamulin" volume: "2890" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20813-5" kind: "inproceedings" key: "Harel03:1" - title: "Some Results on the Expressive Power and Complexity of LSCs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" - name: "Itai Segall" link: "https://researchr.org/alias/itai-segall" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_19" links: doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_19" researchr: "https://researchr.org/publication/HarelMS08" cites: 0 citedby: 0 pages: "351-366" booktitle: "Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday" editor: - name: "Arnon Avron" link: "https://researchr.org/alias/arnon-avron" - name: "Nachum Dershowitz" link: "https://researchr.org/alias/nachum-dershowitz" - name: "Alexander Rabinovich" link: "https://researchr.org/alias/alexander-rabinovich" volume: "4800" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78126-4" kind: "inproceedings" key: "HarelMS08" - title: "On the Formal Semantics of Statecharts (Extended Abstract)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Jeanette P. Schmidt" link: "https://researchr.org/alias/jeanette-p.-schmidt" - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" year: "1987" tags: - "semantics" - "formal semantics" researchr: "https://researchr.org/publication/HarelPSS87" cites: 0 citedby: 0 pages: "54-64" booktitle: "Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "HarelPSS87" - title: "On Statecharts with Overlapping" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Chaim-Arie Kahana" link: "https://researchr.org/alias/chaim-arie-kahana" year: "1992" doi: "http://doi.acm.org/10.1145/136586.136589" links: doi: "http://doi.acm.org/10.1145/136586.136589" researchr: "https://researchr.org/publication/HarelK92" cites: 0 citedby: 0 journal: "ACM Transactions on Software Engineering Methodology" volume: "1" number: "4" pages: "399-421" kind: "article" key: "HarelK92" - title: "The STATEMATE Semantics of Statecharts" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amnon Naamad" link: "https://researchr.org/alias/amnon-naamad" year: "1996" doi: "http://doi.acm.org/10.1145/235321.235322" links: doi: "http://doi.acm.org/10.1145/235321.235322" tags: - "semantics" researchr: "https://researchr.org/publication/HarelN96" cites: 0 citedby: 0 journal: "ACM Transactions on Software Engineering Methodology" volume: "5" number: "4" pages: "293-333" kind: "article" key: "HarelN96" - title: "Drawing Directed Graphs Using One-Dimensional Optimization" author: - name: "Liran Carmel" link: "https://researchr.org/alias/liran-carmel" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280193.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2528/25280193.htm" tags: - "optimization" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/CarmelHK02" cites: 0 citedby: 0 pages: "193-206" booktitle: "Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers" editor: - name: "Stephen G. Kobourov" link: "https://researchr.org/alias/stephen-g.-kobourov" - name: "Michael T. Goodrich" link: "https://researchr.org/alias/michael-t.-goodrich" volume: "2528" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00158-1" kind: "inproceedings" key: "CarmelHK02" - title: "On the Power of Bounded Concurrency I: Finite Automata" author: - name: "Doron Drusinsky" link: "https://researchr.org/alias/doron-drusinsky" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1994" doi: "db/journals/jacm/DrusinskyH94.html" researchr: "https://researchr.org/publication/DrusinskyH94" cites: 0 citedby: 0 journal: "Journal of the ACM" volume: "41" number: "3" pages: "517-539" kind: "article" key: "DrusinskyH94" - title: "From Play-In Scenarios to Code: An Achievable Dream" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830022.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830022.htm" researchr: "https://researchr.org/publication/Harel00%3A0" cites: 0 citedby: 0 pages: "22-34" booktitle: "Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings" editor: - name: "T. S. E. Maibaum" link: "https://researchr.org/alias/t.-s.-e.-maibaum" volume: "1783" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67261-3" kind: "inproceedings" key: "Harel00:0" - title: "Further Results on Propositional Dynamic Logic of Nonregular Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Jonathan Stavi" link: "https://researchr.org/alias/jonathan-stavi" year: "1981" tags: - "logic programming" - "logic" researchr: "https://researchr.org/publication/HarelPS81%3A0" cites: 0 citedby: 0 pages: "124-136" booktitle: "Logics of Programs, Workshop, Yorktown Heights, New York, May 1981" editor: - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" volume: "131" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-11212-X" kind: "inproceedings" key: "HarelPS81:0" - title: "The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=325" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3147&spage=325" tags: - "semantics" - "UML" researchr: "https://researchr.org/publication/HarelK04%3A0" cites: 0 citedby: 0 pages: "325-354" booktitle: "Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "Jörg Desel" link: "https://researchr.org/alias/j%C3%B6rg-desel" - name: "Martin Große-Rhode" link: "https://researchr.org/alias/martin-gro%C3%9Fe-rhode" - name: "Wolfgang Reif" link: "https://researchr.org/alias/wolfgang-reif" - name: "Eckehard Schnieder" link: "https://researchr.org/alias/eckehard-schnieder" - name: "Engelbert Westkämper" link: "https://researchr.org/alias/engelbert-westk%C3%A4mper" volume: "3147" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23135-8" kind: "inproceedings" key: "HarelK04:0" - title: "On the Aesthetics of Diagrams" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1997" researchr: "https://researchr.org/publication/Harel97%3A1" cites: 0 citedby: 0 booktitle: "Next Generation Information Technologies and Systems (NGITS 97), Third International Workshop, Neve Ilan, Israel, June 30 - July 3, 1997" editor: - name: "Abraham Silberschatz" link: "https://researchr.org/alias/abraham-silberschatz" - name: "Peretz Shoval" link: "https://researchr.org/alias/peretz-shoval" kind: "inproceedings" key: "Harel97:1" - title: "From Play-In Scenarios To Code: An Achievable Dream" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2000" doi: "http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Harel9.ps" links: doi: "http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Harel9.ps" researchr: "https://researchr.org/publication/Harel00" cites: 0 citedby: 0 pages: "9" booktitle: "Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000" editor: - name: "Franz Baader" link: "https://researchr.org/alias/franz-baader" - name: "Ulrike Sattler" link: "https://researchr.org/alias/ulrike-sattler" volume: "33" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Harel00" - title: "Process Logic with Regular Formulas" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "David Peleg" link: "https://researchr.org/alias/david-peleg" year: "1985" tags: - "logic" researchr: "https://researchr.org/publication/HarelP85%3A0" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "38" pages: "307-322" kind: "article" key: "HarelP85:0" - title: "Statecharts: Past, Present and Future (abstract)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" researchr: "https://researchr.org/publication/Harel96%3A0" cites: 0 citedby: 0 pages: "285" booktitle: "SOFSEM 96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings" editor: - name: "Keith G. Jeffery" link: "https://researchr.org/alias/keith-g.-jeffery" - name: "Jaroslav Král" link: "https://researchr.org/alias/jaroslav-kr%C3%A1l" - name: "Miroslav Bartosek" link: "https://researchr.org/alias/miroslav-bartosek" volume: "1175" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61994-1" kind: "inproceedings" key: "Harel96:0" - title: "Towards Trace Visualization and Exploration for Reactive Systems" author: - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" - name: "Asaf Kleinbort" link: "https://researchr.org/alias/asaf-kleinbort" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27" links: doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27" researchr: "https://researchr.org/publication/MaozKH07" cites: 0 citedby: 0 pages: "153-156" booktitle: "2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA" publisher: "IEEE Computer Society" isbn: "978-0-7695-2987-5" kind: "inproceedings" key: "MaozKH07" - title: "Drawing Graphs Nicely Using Simulated Annealing" author: - name: "Ron Davidson" link: "https://researchr.org/alias/ron-davidson" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" doi: "http://doi.acm.org/10.1145/234535.234538" links: doi: "http://doi.acm.org/10.1145/234535.234538" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/DavidsonH96" cites: 0 citedby: 0 journal: "ACM Trans. Graph." volume: "15" number: "4" pages: "301-331" kind: "article" key: "DavidsonH96" - title: "On Static Logics, Dynamic Logics, and Complexity Classes" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "David Peleg" link: "https://researchr.org/alias/david-peleg" year: "1984" month: "January/February/March" tags: - "logic" researchr: "https://researchr.org/publication/HarelP84" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "60" number: "1-3" pages: "86-102" kind: "article" key: "HarelP84" - title: "Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL" author: - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1984" tags: - "translation" - "logic" researchr: "https://researchr.org/publication/ShermanPH84" cites: 0 citedby: 0 journal: "SIAM Journal on Computing" volume: "13" number: "4" pages: "825-839" kind: "article" key: "ShermanPH84" - title: "Towards a Theory of Recursive Structures" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500036.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500036.htm" researchr: "https://researchr.org/publication/Harel98%3A0" cites: 0 citedby: 0 pages: "36-53" booktitle: "Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings" editor: - name: "Lubos Brim" link: "https://researchr.org/alias/lubos-brim" - name: "Jozef Gruska" link: "https://researchr.org/alias/jozef-gruska" - name: "Jirí Zlatuska" link: "https://researchr.org/alias/jir%C3%AD-zlatuska" volume: "1450" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64827-5" kind: "inproceedings" key: "Harel98:0" - title: "Axis-by-Axis Stress Minimization" author: - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2912&spage=450" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2912&spage=450" researchr: "https://researchr.org/publication/KorenH03" cites: 0 citedby: 0 pages: "450-459" booktitle: "Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers" editor: - name: "Giuseppe Liotta" link: "https://researchr.org/alias/giuseppe-liotta" volume: "2912" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20831-3" kind: "inproceedings" key: "KorenH03" - title: "More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eli Singerman" link: "https://researchr.org/alias/eli-singerman" year: "1995" researchr: "https://researchr.org/publication/HarelS95" cites: 0 citedby: 0 pages: "140-149" booktitle: "ISTCS" kind: "inproceedings" key: "HarelS95" - title: "On the Behavior of Complex Object-Oriented Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2001" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/Harel01" cites: 0 citedby: 0 pages: "11-15" booktitle: "OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany" editor: - name: "Peter P. Hofmann" link: "https://researchr.org/alias/peter-p.-hofmann" - name: "Andy Schürr" link: "https://researchr.org/alias/andy-sch%C3%BCrr" volume: "5" series: "LNI" publisher: "GI" kind: "inproceedings" key: "Harel01" - title: "Towards a Theory of Recursive Structures" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1994" researchr: "https://researchr.org/publication/Harel94%3A0" cites: 0 citedby: 0 pages: "633-645" booktitle: "STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings" editor: - name: "Patrice Enjalbert" link: "https://researchr.org/alias/patrice-enjalbert" - name: "Ernst W. Mayr" link: "https://researchr.org/alias/ernst-w.-mayr" - name: "Klaus W. Wagner" link: "https://researchr.org/alias/klaus-w.-wagner" volume: "775" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57785-8" kind: "inproceedings" key: "Harel94:0" - title: "Executable Object Modeling with Statecharts" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eran Gery" link: "https://researchr.org/alias/eran-gery" year: "1996" doi: "http://portal.acm.org/citation.cfm?id=227726.227770" links: doi: "http://portal.acm.org/citation.cfm?id=227726.227770" tags: - "meta-model" - "modeling" - "object-role modeling" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HarelG96" cites: 0 citedby: 0 pages: "246-257" booktitle: "ICSE" kind: "inproceedings" key: "HarelG96" - title: "An Algorithm for Blob Hierarchy Layout" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Gregory Yashchin" link: "https://researchr.org/alias/gregory-yashchin" year: "2000" tags: - "layout" researchr: "https://researchr.org/publication/HarelY00" cites: 0 citedby: 0 pages: "29-40" booktitle: "Advanced Visual Interfaces" kind: "inproceedings" key: "HarelY00" - title: "First-Order Dynamic Logic" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1979" tags: - "logic" researchr: "https://researchr.org/publication/Harel79" cites: 0 citedby: 0 volume: "68" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-09237-4" kind: "book" key: "Harel79" - title: "LSCs: Breathing Life into Message Sequence Charts" author: - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2001" researchr: "https://researchr.org/publication/DammH01" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "19" number: "1" pages: "45-80" kind: "article" key: "DammH01" - title: "How Hard Is It to Reason about Propositional Programs?" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1990" researchr: "https://researchr.org/publication/Harel90" cites: 0 citedby: 0 pages: "772-773" booktitle: "ICLP" kind: "inproceedings" key: "Harel90" - title: "On Folk Theorems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1980" researchr: "https://researchr.org/publication/Harel80%3A1" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "23" number: "7" pages: "379-389" kind: "article" key: "Harel80:1" - title: "Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eli Singerman" link: "https://researchr.org/alias/eli-singerman" year: "1997" tags: - "logic" researchr: "https://researchr.org/publication/HarelS97" cites: 0 citedby: 0 pages: "408-418" booktitle: "Automata, Languages and Programming, 24th International Colloquium, ICALP 97, Bologna, Italy, 7-11 July 1997, Proceedings" editor: - name: "Pierpaolo Degano" link: "https://researchr.org/alias/pierpaolo-degano" - name: "Roberto Gorrieri" link: "https://researchr.org/alias/roberto-gorrieri" - name: "Alberto Marchetti-Spaccamela" link: "https://researchr.org/alias/alberto-marchetti-spaccamela" volume: "1256" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63165-8" kind: "inproceedings" key: "HarelS97" - title: "Randomized Graph Drawing with Heavy-Duty Preprocessing" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Meir Sardas" link: "https://researchr.org/alias/meir-sardas" year: "1994" doi: "http://doi.acm.org/10.1145/192309.192319" links: doi: "http://doi.acm.org/10.1145/192309.192319" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelS94" cites: 0 citedby: 0 pages: "19-33" booktitle: "Advanced Visual Interfaces" kind: "inproceedings" key: "HarelS94" - title: "Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool" author: - name: "Pierre Combes" link: "https://researchr.org/alias/pierre-combes" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" year: "2008" doi: "http://dx.doi.org/10.1007/s10270-007-0069-5" links: doi: "http://dx.doi.org/10.1007/s10270-007-0069-5" tags: - "modeling" researchr: "https://researchr.org/publication/CombesHK08" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "7" number: "2" pages: "157-175" kind: "article" key: "CombesHK08" - title: "Towards an odor communication system" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Liran Carmel" link: "https://researchr.org/alias/liran-carmel" - name: "Doron Lancet" link: "https://researchr.org/alias/doron-lancet" year: "2003" doi: "http://dx.doi.org/10.1016/S1476-9271(02)00092-0" links: doi: "http://dx.doi.org/10.1016/S1476-9271(02)00092-0" researchr: "https://researchr.org/publication/HarelCL03" cites: 0 citedby: 0 journal: "Computers & Chemistry" volume: "27" number: "2" pages: "121-133" kind: "article" key: "HarelCL03" - title: "Multiple instances and symbolic variables in executable sequence charts" author: - name: "Rami Marelly" link: "https://researchr.org/alias/rami-marelly" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" year: "2002" doi: "http://doi.acm.org/10.1145/582419.582429" links: doi: "http://doi.acm.org/10.1145/582419.582429" researchr: "https://researchr.org/publication/MarellyHK02" cites: 0 citedby: 0 pages: "83-100" booktitle: "OOPSLA" kind: "inproceedings" key: "MarellyHK02" - title: "Computation Paths Logic: An Expressive, yet Elementary, Process Logic" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eli Singerman" link: "https://researchr.org/alias/eli-singerman" year: "1999" tags: - "logic" researchr: "https://researchr.org/publication/HarelS99" cites: 0 citedby: 0 journal: "Annals of Pure and Applied Logic" volume: "96" number: "1-3" pages: "167-186" kind: "article" key: "HarelS99" - title: "A Thesis for Bounded Concurrency" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1989" researchr: "https://researchr.org/publication/Harel89" cites: 0 citedby: 0 pages: "35-48" booktitle: "Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings" editor: - name: "Antoni Kreczmar" link: "https://researchr.org/alias/antoni-kreczmar" - name: "Grazyna Mirkowska" link: "https://researchr.org/alias/grazyna-mirkowska" volume: "379" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-51486-4" kind: "inproceedings" key: "Harel89" - title: "On the Aesthetics of Diagrams" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1997" researchr: "https://researchr.org/publication/Harel97%3A3" cites: 0 citedby: 0 pages: "128-130" booktitle: "VL" kind: "inproceedings" key: "Harel97:3" - title: "Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems" author: - name: "Jasmin Fisher" link: "https://researchr.org/alias/jasmin-fisher" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "E. Jane Albert Hubbard" link: "https://researchr.org/alias/e.-jane-albert-hubbard" - name: "Nir Piterman" link: "https://researchr.org/alias/nir-piterman" - name: "Michael J. Stern" link: "https://researchr.org/alias/michael-j.-stern" - name: "Naamah Swerdlin" link: "https://researchr.org/alias/naamah-swerdlin" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3082&spage=236" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3082&spage=236" tags: - "rule-based" - "modeling" - "e-science" - "systematic-approach" researchr: "https://researchr.org/publication/FisherHHPSS04" cites: 0 citedby: 0 pages: "236-241" booktitle: "Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers" editor: - name: "Vincent Danos" link: "https://researchr.org/alias/vincent-danos" - name: "Vincent Schächter" link: "https://researchr.org/alias/vincent-sch%C3%A4chter" volume: "3082" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25375-0" kind: "inproceedings" key: "FisherHHPSS04" - title: "Graph Drawing by High-Dimensional Embedding" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2004" doi: "http://jgaa.info/accepted/2004/HarelKoren2004.8.2.pdf" links: doi: "http://jgaa.info/accepted/2004/HarelKoren2004.8.2.pdf" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelK04" cites: 0 citedby: 0 journal: "J. Graph Algorithms Appl." volume: "8" number: "2" pages: "195-214" kind: "article" key: "HarelK04" - title: "Statecharts: A Visual Formulation for Complex Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1987" researchr: "https://researchr.org/publication/Harel87" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "8" number: "3" pages: "231-274" kind: "article" key: "Harel87" - title: "Complexity Results for Two-Way and Multi-Pebble Automata and their Logics" author: - name: "Noa Globerman" link: "https://researchr.org/alias/noa-globerman" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" doi: "http://dx.doi.org/10.1016/S0304-3975(96)00119-3" links: doi: "http://dx.doi.org/10.1016/S0304-3975(96)00119-3" tags: - "logic" researchr: "https://researchr.org/publication/GlobermanH96" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "169" number: "2" pages: "161-184" kind: "article" key: "GlobermanH96" - title: "On the Total Correctness of Nondeterministic Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1981" researchr: "https://researchr.org/publication/Harel81" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "13" pages: "175-192" kind: "article" key: "Harel81" - title: "Executable Object Modeling with Statecharts" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Eran Gery" link: "https://researchr.org/alias/eran-gery" year: "1997" tags: - "meta-model" - "modeling" - "object-role modeling" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HarelG97" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "30" number: "7" pages: "31-42" kind: "article" key: "HarelG97" - title: "Deciding Properties of Nonregular Programs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Danny Raz" link: "https://researchr.org/alias/danny-raz" year: "1993" researchr: "https://researchr.org/publication/HarelR93" cites: 0 citedby: 0 journal: "SIAM Journal on Computing" volume: "22" number: "4" pages: "857-874" kind: "article" key: "HarelR93" - title: "Two Results on Process Logic" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1979" tags: - "logic" researchr: "https://researchr.org/publication/Harel79%3A1" cites: 0 citedby: 0 journal: "Inf. Process. Lett." volume: "8" number: "4" pages: "195-198" kind: "article" key: "Harel79:1" - title: "Response to Comments on On Object Systems and Behavior Inheritance " author: - name: "Orna Kupferman" link: "https://researchr.org/alias/orna-kupferman" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2003" doi: "http://www.computer.org/tse/ts2003/e0576abs.htm" links: doi: "http://www.computer.org/tse/ts2003/e0576abs.htm" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/KupfermanH03" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "29" number: "6" pages: "576" kind: "article" key: "KupfermanH03" - title: "Statecharts in the making: a personal account" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "2007" doi: "http://doi.acm.org/10.1145/1238844.1238849" links: doi: "http://doi.acm.org/10.1145/1238844.1238849" researchr: "https://researchr.org/publication/Harel07" cites: 0 citedby: 0 pages: "1-43" booktitle: "Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007" editor: - name: "Barbara G. Ryder" link: "https://researchr.org/alias/barbara-g.-ryder" - name: "Brent Hailpern" link: "https://researchr.org/alias/brent-hailpern" publisher: "ACM" kind: "inproceedings" key: "Harel07" - title: "Visualizing inter-dependencies between scenarios" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Itai Segall" link: "https://researchr.org/alias/itai-segall" year: "2008" doi: "http://doi.acm.org/10.1145/1409720.1409744" links: doi: "http://doi.acm.org/10.1145/1409720.1409744" researchr: "https://researchr.org/publication/HarelS08" cites: 0 citedby: 0 pages: "145-153" booktitle: "Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008" editor: - name: "Rainer Koschke" link: "http://www.informatik.uni-bremen.de/~koschke/" - name: "Christopher D. Hundhausen" link: "https://researchr.org/alias/christopher-d.-hundhausen" - name: "Alexandru Telea" link: "https://researchr.org/alias/alexandru-telea" publisher: "ACM" isbn: "978-1-60558-112-5" kind: "inproceedings" key: "HarelS08" - title: "On the Complexity of Verifying Concurrent Transition Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Orna Kupferman" link: "https://researchr.org/alias/orna-kupferman" - name: "Moshe Y. Vardi" link: "https://researchr.org/alias/moshe-y.-vardi" year: "1997" researchr: "https://researchr.org/publication/HarelKV97" cites: 0 citedby: 0 pages: "258-272" booktitle: "CONCUR 97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings" editor: - name: "Antoni W. Mazurkiewicz" link: "https://researchr.org/alias/antoni-w.-mazurkiewicz" - name: "Józef Winkowski" link: "https://researchr.org/alias/j%C3%B3zef-winkowski" volume: "1243" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63141-0" kind: "inproceedings" key: "HarelKV97" - title: "Towards a Theory of Recursive Structures (extended abstract)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1997" researchr: "https://researchr.org/publication/Harel97" cites: 0 citedby: 0 pages: "141-144" booktitle: "Logical Foundations of Computer Science, 4th International Symposium, LFCS 97, Yaroslavl, Russia, July 6-12, 1997, Proceedings" editor: - name: "Sergei I. Adian" link: "https://researchr.org/alias/sergei-i.-adian" - name: "Anil Nerode" link: "https://researchr.org/alias/anil-nerode" volume: "1234" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63045-7" kind: "inproceedings" key: "Harel97" - title: "Some Thoughts on Statecharts, 13 Years Later (Abstract)" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" researchr: "https://researchr.org/publication/Harel96" cites: 0 citedby: 0 pages: "361" booktitle: "Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN 96, Singapore, December 2-5, 1996, Proceedings" editor: - name: "Joxan Jaffar" link: "https://researchr.org/alias/joxan-jaffar" - name: "Roland H. C. Yap" link: "https://researchr.org/alias/roland-h.-c.-yap" volume: "1179" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-62031-1" kind: "inproceedings" key: "Harel96" - title: "STATEMATE; A Working Environment for the Development of Complex Reactive Systems" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hagi Lachover" link: "https://researchr.org/alias/hagi-lachover" - name: "Amnon Naamad" link: "https://researchr.org/alias/amnon-naamad" - name: "Amir Pnueli" link: "http://www.wisdom.weizmann.ac.il/~amir/" - name: "Michal Politi" link: "https://researchr.org/alias/michal-politi" - name: "Rivi Sherman" link: "https://researchr.org/alias/rivi-sherman" - name: "Aharon Shtull-Trauring" link: "https://researchr.org/alias/aharon-shtull-trauring" year: "1988" tags: - "meta-model" - "model-driven development" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HarelLNPPSS88" cites: 0 citedby: 0 pages: "396-406" booktitle: "ICSE" kind: "inproceedings" key: "HarelLNPPSS88" - title: "Combining Hierarchy and Energy Drawing Directed Graphs" author: - name: "Liran Carmel" link: "https://researchr.org/alias/liran-carmel" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2004" doi: "http://csdl.computer.org/comp/trans/tg/2004/01/v0046abs.htm" links: doi: "http://csdl.computer.org/comp/trans/tg/2004/01/v0046abs.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/CarmelHK04" cites: 0 citedby: 0 journal: "IEEE Trans. Vis. Comput. Graph." volume: "10" number: "1" pages: "46-57" kind: "article" key: "CarmelHK04" - title: "Taking It to the Limit: On Infinite Variants of NP-Complete Problems" author: - name: "Tirza Hirst" link: "https://researchr.org/alias/tirza-hirst" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1996" tags: - "completeness" researchr: "https://researchr.org/publication/HirstH96a" cites: 0 citedby: 0 journal: "J. Comput. Syst. Sci." volume: "53" number: "2" pages: "180-193" kind: "article" key: "HirstH96a" - title: "A Fast Multi-scale Method for Drawing Large Graphs" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Yehuda Koren" link: "https://researchr.org/alias/yehuda-koren" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1984/19840183.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1984/19840183.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HarelK00%3A2" cites: 0 citedby: 0 pages: "183-196" booktitle: "Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings" editor: - name: "Joe Marks" link: "https://researchr.org/alias/joe-marks" volume: "1984" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41554-8" kind: "inproceedings" key: "HarelK00:2" - title: "S2A: A Compiler for Multi-modal UML Sequence Diagrams" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Asaf Kleinbort" link: "https://researchr.org/alias/asaf-kleinbort" - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_11" links: doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_11" tags: - "UML" - "compiler" - "sequence diagrams" researchr: "https://researchr.org/publication/HarelKM07" cites: 0 citedby: 0 pages: "121-124" booktitle: "Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings" editor: - name: "Matthew B. Dwyer" link: "https://researchr.org/alias/matthew-b.-dwyer" - name: "Antónia Lopes" link: "https://researchr.org/alias/ant%C3%B3nia-lopes" volume: "4422" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71288-6" kind: "inproceedings" key: "HarelKM07" - title: "Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Hillel Kugler" link: "https://researchr.org/alias/hillel-kugler" - name: "Gera Weiss" link: "https://researchr.org/alias/gera-weiss" year: "2003" doi: "http://dx.doi.org/10.1007/11495628_2" links: doi: "http://dx.doi.org/10.1007/11495628_2" tags: - "systematic-approach" researchr: "https://researchr.org/publication/HarelKW03" cites: 0 citedby: 0 pages: "26-42" booktitle: "Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers" editor: - name: "Stefan Leue" link: "https://researchr.org/alias/stefan-leue" - name: "Tarja Systä" link: "https://researchr.org/alias/tarja-syst%C3%A4" volume: "3466" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-26189-3" kind: "inproceedings" key: "HarelKW03" - title: "Assert and negate revisited: modal semantics for UML sequence diagrams" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Shahar Maoz" link: "https://researchr.org/alias/shahar-maoz" year: "2006" doi: "http://doi.acm.org/10.1145/1138953.1138958" links: doi: "http://doi.acm.org/10.1145/1138953.1138958" tags: - "semantics" - "UML" - "sequence diagrams" researchr: "https://researchr.org/publication/HarelM06" cites: 0 citedby: 0 pages: "13-20" booktitle: "SCESM 06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006" editor: - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" - name: "Leif Geiger" link: "https://researchr.org/alias/leif-geiger" - name: "Michael Meisinger" link: "https://researchr.org/alias/michael-meisinger" publisher: "ACM" isbn: "1-59593-394-8" kind: "inproceedings" key: "HarelM06" - title: "Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering" author: - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" year: "1997" doi: "http://computer.org/proceedings/re/7740/77400184abs.htm" links: doi: "http://computer.org/proceedings/re/7740/77400184abs.htm" researchr: "https://researchr.org/publication/Harel97%3A2" cites: 0 citedby: 0 pages: "184" booktitle: "3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "Harel97:2" - title: "Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings" year: "2006" tags: - "meta-model" - "modeling language" - "language engineering" - "language modeling" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/models%3A2006" cites: 0 citedby: 0 booktitle: "Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings" conference: "MoDELS" editor: - name: "Oscar Nierstrasz" link: "http://scg.unibe.ch/staff/oscar" - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Gianna Reggio" link: "https://researchr.org/alias/gianna-reggio" volume: "4199" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-45772-0" kind: "proceedings" key: "models:2006" - title: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006" year: "2007" researchr: "https://researchr.org/publication/dagstuhl%3A2006P6351" cites: 0 citedby: 0 booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006" conference: "Dagstuhl" editor: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Angelika Mader" link: "https://researchr.org/alias/angelika-mader" - name: "Perdita Stevens" link: "http://homepages.inf.ed.ac.uk/perdita/" - name: "Roel Wieringa" link: "http://wwwhome.cs.utwente.nl/~roelw/" volume: "06351" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "proceedings" key: "dagstuhl:2006P6351"