Marta Simeoni
Research Links
Seminari di Bioinformatica (10 Febbraio 2005)
Bioinformatics
Software Performance
Publications
Petri nets for modelling metabolic pathways: a survey
P. Baldan, N. Cocco, A. Marin, M. Simeoni
Natural Computing, Springer Netherlands, issn 1567-7818
pp. 1 - 35, February 2010
DOI 10.1007/s11047-010-9180-6
On Relationships Between Stochastic Process Algebras with AEmilia and Queueing Network Models
Simonetta Balsamo, Marta Simeoni
In Prooceedings of Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools (FIRB-PERF 2005)
Published by IEEE Computer Society, pp. 75-90, September 2005
Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling
Giulio Marcon, Nicola Cannata, Mercè Llabrès, Marta Simeoni, Giorgio Valle
In Proceedings of 5th Annual Spanish Bioinformatics Conference, Barcelona, Catalonia, Spain, November 29-30, 2004
Model-based performance prediction in software development: a survey
Simonetta Balsamo, Antinisca di Marco, Paola Inverardi, Marta Simeoni
IEEE Transactions in Software Engineering, Vol. 30/5, pag. 295-310, May 2004
Integrating performance modeling in the software development process
Simonetta Balsamo, Marta Simeoni
Proceedings of Radical Innovations of Software and Systems Engineering in the Future:
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002.
M. Wirsing, A. Knapp, S. Balamo Editors, pp. 35 - 49, Springer LNCS 2941, 2004
Taming the Complexity of Biochemical Models through
Bisimulation and Collapsing: Theory and Practice
Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni,
Bhubaneswar Mishra
Theoretical Computer Science, Vol. 325/1, pag. 45-67, September 2004
Performance Evaluation at the Software Architecture Level
Simonetta Balsamo, Marco Bernardo, Marta Simeoni
in ``Formal Methods for Software Architectures'' M. Bernardo and
P. Inverardi Editors, pp. 207--258, Springer LNCS 2804, 2003
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and
Collapsing
Marco Antoniotti,Bhubaneswar Mishra, Carla Piazza, Alebrto Policriti,
Marta Simeoni
Proceedings of Computational Methods in System Biology -- CMSB'03,
pp. 57--74, Springer LNCS 2602, 2003
Formal Software Specification with Refinements and Modules of
Typed Graph Transformation Systems
Martin Grosse-Rhode, Francesco Parisi Presicce, Marta Simeoni
Journal of Computer and System Sciences, pp. 171--218, vol. 64, 2002
Combining Stochastic Process Algebras and Queueing Networks for
Software Architecture Analysis
Simonetta Balsamo, Marco Bernardo, Marta Simeoni
Proceedings of the 3th International Workshop on Software and Performance,
WOSP2002 -- ACM SIGMETRICS AND SIGSOFT, 2002
Deriving Performance Models from Software Architecture
Specifications
Simonetta Balsamo, Marta Simeoni
Proceedings of the 15th European Simulation Multiconference (ESM2001),
SCS - Society for Computer Simulation, 2001
A graphical approach to relational reasoning
Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni
Proceedings of Relational Methods in Software (RelMiS 2001),
Electronic Notes in Theoretical Computer Science, ENTCS vol. 44 n.3, 2001
An AGG Application Supporting Visual Reasoning
Andrea Formisano, Marta Simeoni
Proceedings of Graph Transformation and Visual Modeling Techniques
(GT-VMT 2001), Electronic Notes in Theoretical Computer Science,
ENTCS vol. 50 n.3, 2001
An Abstract Module Concept for Graph Transformation Systems
Marta Simeoni
Proceedings of GETGRATS Closing Workshop, Electronic Notes in
Theoretical Computer Science, ENTCS vol. 51, 2001
Interactive Rule-based Specification with an Application to Visual
Language Definition
Martin Grosse-Rhode, Roswita Bardohl, Marta Simeoni
Proceedings of Recent Trends in Algebraic Development Techniques,
WADT2001, pp. 1--20, Springer LNCS 2267, 2001
On Transforming UML models into performance models
Simonetta Balsamo, Marta Simeoni
Technical Report Saladin Project R-SAL-51,
WTUML: Workshop on Transformations in UML, ETAPS 2001
Satellite Event Genova, Italy, April 7th, 2001.
Modeling Distributed Systems by Modular Graph Transformation
based on Refinement via Rule Expressions
Martin Grosse-Rhode, Francesco Parisi Presicce, Marta Simeoni,
Gabriele Taentzer
Proceedings of Application of Graph Transformations With Industial
Relevance (AGTIVE), pp. 31--46, LNCS 1779, Springer Verlag, 2000
On a Uniform Representation of Transformation Systems
Paolo Bottoni, Francesco Parisi Presicce, Marta Simeoni
Proceedings of Application of Graph Transformations With Industial
Relevance (AGTIVE), pp. 63--78, LNCS 1779, Springer Verlag, 2000
Refinements and Modules for Typed Graph Transformation Systems
Martin Grosse-Rhode, Francesco Parisi Presicce, Marta Simeoni
Proceedings of Workshop on Algebraic Development Techniques (WADT),
pp. 138--151, LNCS 1589, Springer Verlag, 1999
From Formulae to Rewriting Systems
Paolo Bottoni, Francesco Parisi Presicce, Marta Simeoni
Proceedings 6th Workshop on Theory and Application of Graph
Transformation (TAGT), pp. 267--280, LNCS 1764, Springer Verlag, 1999
Refinements of Graph Transformation Systems via Rule Expressions
Martin Grosse-Rhode, Francesco Parisi Presicce, Marta Simeoni
Proceedings 6th Workshop on Theory and Application of Graph
Transformation (TAGT), pp. 368--382, LNCS 1764, Springer Verlag, 1999
Spatial and Temporal Refinement of Graph Transformation Systems
Martin Grosse--Rhode, Francesco Parisi--Presicce, Marta Simeoni
Proceedings of Mathematical Foundations of Computer Science 1998,
pp. 553--561, Springer LNCS 1450, 1998
Cooperating Graph Grammar Systems
Marta Simeoni, Maria Staniszkis
In: Grammatical Models of Multi-Agent Systems,
Gheorghe Paun and Arto Salooma Editors, Gordon and Breach Science
Publishers, 1998.
Unpublished Technical Reports