Travelled to:1 × Portugal
1 × The Netherlands
Collaborated with:E.Biermann ∅ J.Padberg K.Hoffmann H.Ehrig C.Ermel
Talks about:net (3) transform (2) analysi (2) base (2) architectur (1) reconfigur (1) platform (1) maintain (1) independ (1) communic (1)
Person: Tony Modica
DBLP: Modica:Tony
Contributed to:
2010
2008
2007Wrote 3 papers:
- ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net #platform
- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.
- GT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based
- Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).
- FASE-2007-PadbergHEMBE #ad hoc #architecture #consistency #maintenance #mobile #network
- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (JP, KH, HE, TM, EB, CE), pp. 383–397.