Coauthors
Ph.D.Thesis
Ph.D. Thesis [abstract]
[bibitem]
A photo after the
presentation with Ugo, me (more relaxed), Daniel, Juan and Jeff.
Thesis Title: Graph Transformation Models for Software Architecture
Styles
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires.
Advisers:
Prof. Ugo Montanari,
Universitá di Pisa, Italy
Prof. Daniel Yankelevich, Universidad de Buenos Aires, Argentina
Jury:
Prof. Juan Echagüe, Universidad de Buenos Aires, Argentina.
Dr. Barbara König, Universität Stuttgart, Germany.
Prof. Jeff Magee, Imperial
College London, UK.
Drafts
·
Corradini,
Andrea; Hirsch, Dan,
Modeling an Architectural Description Language with Mobility using Graph
Transformation. 2005.
[shrmc.zip]
[abstract] [bibitem]
·
Ferrari,
Gianluigi; Hirsch, Dan; Italiano,
Emilio; Tuosto Emilio,
Gredy: An Editor for Synchronized Hyperedge Replacement Grammars. 2005.
[gredy.zip]
[abstract] [bibitem] [tool]
Conferences and Workshops
·
Ferrari,
Gianluigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto Emilio,
Tutorial Presentation: Synchronized Hyperedge Replacement as a Model
for Service Oriented Computing.
Fourth International Symposium on Formal Methods for Components and Objects
(FMCO'05), Amsterdam, 01-04/11/2005.
Full paper to be submitted after the conference to Lecture Notes in Computer
Science.
[fmcoextendedabs.zip] [abstract]
·
Hirsch, Dan; Lluch-Lafuente,
Alberto; Tuosto
Emilio,
A Logic for Application Level QoS.
Proceedings of the 3rd International Workshop on Quantitative Aspects of
Programming Languages (QAPL'05), Satellite Event of ETAPS2005, Edinburgh.
Electronic Notes in Theoretical Computer Science, 2005. (To be published)
[shreqlogic.zip] [abstract] [bibitem]
·
Hirsch, Dan; Tuosto, Emilio,
SHReQ: A Framework for Coordinating Application Level QoS.
Proceedings of the 3rd IEEE International Conference on Software
Engineering and Formal Methods (SEFM05), Koblenz, Germany. IEEE Computer
Society Press, pp. 425-434. 2005. ISBN: 0-7695-2435-4.
[shreq.zip]
[abstract] [bibitem]
·
Corradini,
Andrea; Hirsch, Dan,
An Operational Semantics for CommUnity based on Graph Transformation
Systems.
Proceedings of the International Workshop on Graph Transformation and Visual
Modeling Techniques. Satellite Event of ETAPS2004, Barcelona. Electronic Notes
in Theoretical Computer Science, pp. 111-124. Vol. 109, 2004. http://dx.doi.org/10.1016/j.entcs.2004.02.060.
[gtvmt04ch.zip] [abstract] [bibitem]
·
Hirsch, Dan; Montanari, Ugo,
Shaped Hierarchical Architectural Design.
Proceedings of the International Workshop on Graph Transformation and Visual
Modeling Techniques. Satellite Event of ETAPS2004, Barcelona. Electronic Notes
in Theoretical Computer Science, pp. 97-109. Vol. 109, 2004. http://dx.doi.org/10.1016/j.entcs.2004.02.059.
[gtvmt04hm.zip] [abstract] [bibitem]
·
Hirsch, Dan; Montanari,
Ugo,
Two Graph-Based Techniques for Software Architecture Reconfiguration.
Proceedings of the GETGRATS Closing Workshop, Michel Bauderon and Andrea
Corradini, Eds., France. Electronic
Notes in Theoretical Computer Science, pp 1-14. Vol. 51, 2002. http://dx.doi.org/10.1016/S1571-0661(04)80201-9.
[gratra01.zip] [abstract] [bibitem]
·
Hirsch, Dan; Montanari, Ugo,
Synchronized Hyperedge Replacement with Name Mobility: A Graphical Calculus
for Name Mobility.
Proceedings of the 12th International Conference in Concurrency Theory
(CONCUR 2001), Denmark, 2001. Lecture Notes in Computer Science, Vol. 2154. pp.
121-136. 2001. ISBN: 3-540-42497-0.
[concur01.zip] [abstract] [bibitem]
·
Hirsch, Dan; Montanari,
Ugo,
A Graphical Calculus for Name Mobility.
Proceedings of the Workshop on Software Engineering and Mobility (satellite
workshop of ICSE2001). Toronto, Canada, 2001.
[wmse01.zip]
[abstract] [bibitem]
·
Hirsch, Dan; Inverardi,
Paola; Montanari,
Ugo,
Reconfiguration of Software Architecture Styles with Name Mobility.
Proceedings of the Coordination Languages and Models 4th international
Conference, Coordination 2000, Cyprus. Lecture Notes in Computer Science, Vol.
1906. pp. 148-163, 2000. ISBN: 3-540-41020-1.
[coord2000.zip] [abstract] [bibitem]
·
Hirsch, Dan; Montanari,
Ugo,
Higher-Order Hyperedge Replacement Systems and their Transformations:
Specifying Software Architecture Reconfigurations.
Proceedings of the Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation
Systems (GRATRA 2000). Satellite Event of (ETAPS 2000), H. Ehrig, G. Taentzer,
Eds., Alemania, Technical Report of Computer Science Department/TU Berlin, No.
2000-02, pp. 215-223, 2000.
[gratra2000.zip] [abstract] [bibitem]
·
Hirsch, Dan; Inverardi,
Paola; Montanari,
Ugo,
Modeling Software Architectures and Styles with Graph Grammars and
Constraint Solving.
Proceedings of (WICSA1) the First Working IFIP Conference on Software
Architecture, U.S.A., Kluwer Academics, pp. 127-142, 1999. ISBN: 0-7923-8453-9.
[wicsa99.zip]
[abstract] [bibitem]
·
Hirsch, Dan; Montanari,
Ugo,
Consistent Transformations for Software Architecture Styles of Distributed
Systems.
Proceedings of the Workshop on (formal methods applied to) Distributed Systems,
Gheorghe Stefanescu, Ed., Iasi, Rumania. Electronic Notes in Theoretical Computer
Science, Vol. 28, pp. 23-40, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80626-7.
[WDS99.zip]
[abstract] [bibitem]
·
Hirsch, Dan; Inverardi,
Paola; Montanari,
Ugo,
Graph Grammars and Constraint Solving for Software Architecture Styles.
Proceedings of the Third International Software Architecture Workshop. ACM
Press, pp. 69-72, 1998. ISBN:1-58113-081-3.
[isaw3.zip]
[abstract] [bibitem]
·
Hirsch, Dan; Uchitel, Sebastián; Yankelevich, Daniel,
Towards a Periodic Table of Connectors.
Proceedings of Third Int. Conference on Coordination Models and Languages.
Amsterdam, The Netherlands. Lecture Notes in Computer Science, Vol. 1594, pp.
418, poster, 1999. ISBN: 3-540-65836-X.
[coord99.zip]
[abstract] [bibitem]
(see also full paper [sost99.zip])
·
Hirsch, Dan; Uchitel, Sebastián; Yankelevich, Daniel,
Towards a Periodic Table of Connectors.
Proceedings of SOST '99. Symposium on Software Technology (JAIIO 28), Buenos
Aires, pp. 55-61, 1999.
[sost99.zip]
[abstract] [bibitem]
·
Hirsch, Dan,
Formal Methods for the Description and Verification of Software
Architectures.
Ph.D. Forum. Proceedings of SOST '99. Symposium on Software Technology (JAIIO
28), Buenos Aires, pp. 31-34, 1999.
[phdsost99.zip] [bibitem]
·
Areces,
Carlos; Felder Miguel; Hirsch, Dan; Yankelevich, Daniel,
Modal Logic as a Design Notation.
Proceedings of the Ninth IEEE International Workshop on Software Specification
and Design (IWSSD-9), Japan, pp. 150-152, April 16-18, 1998. (position paper).
ISBN: 0-8186-8439-9. Proceedings of the 1st KIT125 Workshop.
Italia, pp. 93- 108, 1997.
[iwssd9.zip]
[abstract] [bibitem],
see also Master thesis in Spanish [tesislic.zip] or
technical report in English [techrep96.zip].
·
Areces,
Carlos; Hirsch, Dan,
From Boxes to Worlds.
Proceedings of the First Argentine Conference on Computer Science, Bahía
Blanca, pp. 266-276, 1995.
Graduate Studies
·
Licenciado en Ciencias de la Computación (equivalent to
M.Sc. in Computer Science)
Modal Logic as a Software Engineering Tool (Coauthor Carlos Areces).
Departamento de Computación, Facultad de Ciencias Exactas y Naturales, U.B.A.
1996.
Advisers: Prof. Miguel Felder y Prof. Daniel Yankelevich, Universidad de Buenos Aires.
[tesislic.zip]
[abstract] [bibitem] (Spanish), see also technical
report in English [techrep96.zip].
Technical Reports
·
Areces,
Carlos; Hirsch, Dan,
Modal Logic as a Software Engineering Tool.
Technical Report 96-004.
1996. Departamento de Computación, Universidad de Buenos Aires.
[techrep96.zip] [abstract] [bibitem]
