TU Berlin

Theor. Informatik / Formale SpezifikationWisenschaftlicher Mitarbeiter im forMAlNET-Projekt

Inhalt des Dokuments

zur Navigation

Dipl.-Inf. Tony Modica

Picture
Lupe
© Copyright??

Forschungsinteressen: Graph-/Modelltransformation, Algebraische high-level Petrinetze, Visuelle Sprachen, Kategorientheorie
Aufgaben:
 Promotionsstipendiat im IGP H-C3,
beteiligt am DFG-Projekt forMAlNET
Institut:
Softwaretechnik und Theoretische Informatik
Foschungsgruppe:
Theoretische Informatik - Formale Spezifikation (TFS)<br/>Prof. Dr. Hartmut Ehrig
Adresse:
 Technische Universität Berlin
Fakultät IV
Sekr. FR 6-1
Franklinstr. 28/29
10587 Berlin
Raum:
 FR 6040
Telefon:
+49(0)30-314/24189
E-Mail:
MODICA (AT) CS.TU-BERLIN.DE
Links:
Integriertes Graduierten-Program Human-centric Communication Center (IGP H-C3)

DFG-Projekt "Formale Modellierung und Analyse von flexiblen Prozessen in Mobilen ad-hoc Netzwerken" (forMAlNET)
Weitere persönliche Seiten:
Profil bei Xing
Frets on Fire
FOFItalia

Formal Modeling and Analysis of Communication Spaces

Communication Spaces (CS) are intended to give a general view on communication-based systems that focuses on the actors and the relations among each other. One of the main aspects of CS is to take into account human-centric demands, e.g. adaption to environment and preferences, interpretation of content in contexts. Since most of the well-known formal modeling approaches are adequate only for specific aspects of CS, I advocate the new formal approach of Reconfigurable Algebraic Higher-Order Petri Nets with Individual Tokens (AHOI nets) in my PhD research. This approach is an integration of several different well-established modeling techniques as Petri nets, many-sorted algebras, and graph transformation techniques, intended to cover the main aspects of CS and to analyze and verify properties specific to them. As a case study, I'm working on an example modeling of the widely known Internet telephone software Skype.

Curriculum Vitae

Studium
10/2007 - (12/2010)
Promotionsstudent (Stipendiat) im IGP H-C3 an der Technischen Universität Berlin
10/2001 - 01/2006
Informatikstudium an der Technischen Universität Berlin
Abschluss "mit Auszeichung" zum Dipl.-Inf.
Schwerpunkt theoretische Informatik
Berufliche Tätigkeiten
10/2009 - 12/2009
wiss. Mitarbeiter bei Prof. Orejas,
Universitat Politècnica de Catalunya, Barcelona
04/2006 - 09/2007
wiss. Mitarbeiter im Forschungsprojekt forMAlNET
02/2006 - 04/2006
 wiss. Mitarbeiter bei Prof. Ehrig (Vertretung)
04/2005 - 02/2006
stud. Hilfskraft im Forschungsprojekt IOSIP
11/2002 - 03/2005
stud. Hilfskraft, Tutor für theoretische Informatik/Mathematik für Informatiker an der Technischen Universität Berlin

Publikationen

Sortieren nach: Autor  Jahr  Journal

Tony Modica and Karsten Gabriel and Kathrin Hoffmann (2011). Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations. Proc. of 4th Workshop on Petri Nets and Graph Transformation (PNGT). European Association of Software Science and Technology.

Link zur Publikation

Kathrin Hoffmann and Tony Modica and Julia Padberg (2010). Formal Modeling and Analysis of Flexible Processes using Reconfigurable Systems. Pre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig, 86–105.

Link zur Publikation

Tony Modica and Karsten Gabriel and Hartmut Ehrig and Kathrin Hoffmann and Sarkaft Shareef and Claudia Ermel and Ulrike Golas and Frank Hermann and Enrico Biermann (2010). Low- and High-Level Petri Nets with Individual Tokens.

Link zur Publikation

Tony Modica and Kathrin Hoffmann (2010). Formal Modeling and Analysis of Flexible Processes using Reconfigurable Systems. Proc. Int. Coll. on Graph and Model Transformation (GraMoT 2010). European Association of Software Science and Technology.

Link zur Publikation

Tony Modica (2010). Towards Formal Algebraic Modeling and Analysis of Communication Spaces. CALCO Young Researchers Workshop (CALCO-jnr 2009) – Selected Papers. Università di Udine – Dipartimento di Matematica e Informatica, 89–103.

Link zur Publikation

Tony Modica (2010). Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems. Proc. Graph Transformations - 5th International Conference (ICGT). Springer, 400–402.

Link zur Publikation

Enrico Biermann and Hartmut Ehrig and Claudia Ermel and Kathrin Hoffmann and Tony Modica (2009). Modeling Multicasting in Dynamic Communication-based Systems by Reconfigurable High-level Petri Nets. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ). IEEE, 47–50.

Link zur Publikation

Tony Modica and Enrico Biermann and Claudia Ermel (2009). An ECLIPSE Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models. GI-Workshop on Methodological Development of Modelling Tools

Link zur Publikation

Tony Modica and Enrico Biermann and Claudia Ermel (2009). An ECLIPSE Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models: Long Version.

Link zur Publikation

Tony Modica and Claudia Ermel and Hartmut Ehrig and Kathrin Hoffmann and Enrico Biermann (2009). Modeling Communication Spaces with Higher-Order Petri Nets. Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. The International Institute for Advanced Studies in Systems Research and Cybernetics, 43–48.

Enrico Biermann and Claudia Ermel and Tony Modica and Peggy Sylopp (2008). Implementing Petri Net Transformations using Graph Transformation Tools. Proc. Third International Workshop on Petri Nets and Graph Transformations. European Association of Software Science and Technology.

Link zur Publikation

Enrico Biermann and Tony Modica (2008). Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08). European Association of Software Science and Technology.

Link zur Publikation

Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Claudia Ermel and Ulrike Prange and Enrico Biermann and Tony Modica (2008). Petri Net Transformations. Petri Net Theory and Applications. I-Tech Education and Publication, 1–16.

Link zur Publikation

Enrico Biermann and Claudia Ermel and Frank Hermann and Tony Modica (2007). A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. Proc. 14th Workshop on Algorithms and Tools for Petri Nets (AWPN'07). GI Special Interest Group on Petri Nets and Related System Models.

Link zur Publikation

Enrico Biermann and Tony Modica and Kathrin Hoffmann (2007). Categorical Foundation for Layer Consistency in AHO-Net Models Supporting Workflow Management in Mobile Ad-Hoc Networks.

Link zur Publikation

Julia Padberg and Kathrin Hoffmann and Hartmut Ehrig and Tony Modica and Enrico Biermann and Claudia Ermel (2007). Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. Fundamental Approaches to Software Engineering. Springer, 383–397.

Link zur Publikation

Julia Padberg and Tony Modica (2007). Formal Analysis of Algebraic Higher-Order Nets - Modeling Flexible Processes in Mobile Ad-Hoc Networks. Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. The International Institute for Advanced Studies in Systems Research and Cybernetics.

Biermann, E. and Modica, T. and Hoffmann, K. (2006). Categorical foundation for layer consistency in AHO-net models for MANETs.

Link zur Publikation

Kastenberg, Harmen and Hermann, Frank and Modica, Tony (2006). Towards Translating Graph Transformation Systems by Model Transformation. Proc. International Workshop on Graph and Model Transformation (GraMoT'06), Satellite Event of the IEEE Symposium on Visual Languages and Human-Centric Computing. European Association of Software Science and Technology.

Link zur Publikation

Modica, Tony (2006). Eine attributierte getypte Graphgrammatik zum syntaxgesteuerten Editieren von UML State Machines. Fakultät IV –- Elektrotechnik und Informatik – Technische Universität Berlin

Link zur Publikation

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe