Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Marta
Last name:	Simeoni
DBLP:	62/5902
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 20 of 20  

Select a publication
Show	Title	Venue	Rating	Date
	Simonetta Balsamo, Marta Simeoni. On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models.	FIRB-Perf Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-Perf 2005), 19 September 2005, Torino, Italy 2005	(0)	2005
	Giulio Marcon, Nicola Cannata, Mercè Llabrés, Marta Simeoni, Giorgio Valle. Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling.	Proceedings of the 5th Annual Spanish Bioinformatics Conference, Barcelona, Catalonia, Spain, November 29-30, 2004 2004	(0)	2004
	Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra. Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice.	Theor. Comput. Sci. 2004, Volume 325	(0)	2004
	Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni. Model-Based Performance Prediction in Software Development: A Survey.	IEEE Trans. Software Eng. 2004, Volume 30	(0)	2004
	Marco Antoniotti, Bud Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni. Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.	Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings 2003	(0)	2003
	Simonetta Balsamo, Marco Bernardo, Marta Simeoni. Performance Evaluation at the Software Architecture Level.	Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures 2003	(0)	2003
	Simonetta Balsamo, Marta Simeoni. Integrating Performance Modeling in the Software Development Process.	Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers 2004	(0)	2002
	Simonetta Balsamo, Marco Bernardo, Marta Simeoni. Combining stochastic process algebras and queueing networks for software architecture analysis.	Workshop on Software and Performance 2002	(0)	2002
	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.	J. Comput. Syst. Sci. 2002, Volume 64	(0)	2002
	Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni. Interactive Rule-Based Specification with an Application to Visual Language Definition.	Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers 2001	(0)	2001
	Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni. A graphical approach to relational reasoning.	Electr. Notes Theor. Comput. Sci. 2001, Volume 44	(0)	2001
	Andrea Formisano, Marta Simeoni. An AGG Application Supporting Visual Reasoning.	Electr. Notes Theor. Comput. Sci. 2001, Volume 50	(0)	2001
	Marta Simeoni. An Abstract Module Concept for Graph Transformation Systems.	Electr. Notes Theor. Comput. Sci. 2001, Volume 51	(0)	2001
	Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni. On a Uniform Representation of Transformation Systems.	Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings 2000	(0)	1999
	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer. Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.	Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings 2000	(0)	1999
	Marta Simeoni, Maria Staniszkis. Cooperating Graph Grammar Systems.	Grammatical Models of Multi-Agent Systems 1999	(0)	1999
	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Spatial and Temporal Refinement of Typed Graph Transformation Systems.	Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings 1998	(0)	1998
	Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni. From Formulae to Rewriting Systems.	Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers 2000	(0)	1998
	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Refinements of Graph Transformation Systems via Rule Expressions.	Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers 2000	(0)	1998
	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Refinements and Modules for Typed Graph Transformation Systems.	Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers 1999	(0)	1998

Your query returned 20 matches in the database.