|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 29 keywords
|
|
|
|
|
Results
Found 61 publication records. Showing 61 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
Lumping partially symmetrical stochastic models.  |
Perform. Eval.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis |
First Passage Time Computation in Tagged GSPNs with Queue Places. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
Probe Automata for Passage Time Specification. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
passage time, Markov chains, GSPN |
| 1 | Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis |
Computing first passage time distributions in stochastic well-formed nets. |
ICPE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Giuliana Franceschinis |
Simple O(m logn) Time Markov Chain Lumping. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis |
The GreatSPN tool: recent enhancements. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Karsten Wolf (eds.) |
Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad |
Parametric NdRFT for the derivation of optimal repair strategies. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani |
Modeling Clinical Guidelines through Petri Nets. |
AIME |
2009 |
DBLP DOI BibTeX RDF |
Well-formed net, Petri net, clinical guidelines |
| 1 | Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis |
Tagged Generalized Stochastic Petri Nets. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun |
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Marco Beccuti, Giuliana Franceschinis |
New Solvers for Asymmetric Systems in GreatSPN. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | F. La Mura, F. Della Corte, Marco Gribaudo, B. Tosi, S. Alciati, R. Bordino, Giuliana Franceschinis |
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. |
IV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad |
A framework to design and solve Markov Decision Well-formed Net models. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside |
Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie |
Efficient lumpability check in partially symmetric systems. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis |
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
A High Level Language for Structural Relations in Well-Formed Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis |
Efficient Analysis Algorithms for Parametric Fault Trees. |
FIRB-Perf |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis |
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis |
The OsMoSys approach to multi-formalism modeling of systems. |
Software and System Modeling |
2004 |
DBLP DOI BibTeX RDF |
Multi-formalism modeling, Object orientation, Compositionality, Meta-languages |
| 1 | Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, Francesca Cordero, Raffaele Calogero |
RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. |
Bioinformatics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini |
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini |
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux |
Extended SWN Solvers in GreatSPN. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis |
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale |
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
parametric fault tree, stochastic well-formed nets, Dependability analysis |
| 1 | Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro |
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
priorities, conflict, Stochastic Petri nets, modeling methodology, confusion |
| 1 | Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro |
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix L. H. Chow, Adam Woei-Jyh Lee, Giuliana Franceschinis, Cosimo Anglano |
Multi-path continuous media streaming: what are the benefits? |
Perform. Eval. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini |
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
Model Objects, Performance Analysis Framework, Model composition |
| 1 | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello |
DrawNet++: A Flexible Framework for Building Dependability Models. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale |
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié |
On the use of partial symmetries for lumping Markov chains. |
SIGMETRICS Performance Evaluation Review |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié |
Exploiting Partial Symmetries for Markov Chain Aggregation. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis |
Parametric Stochastic Well-Formed Nets and Compositional Modelling. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli |
Stochastic Colored Petri Net Models for Rainbow Optical Networks. |
Application of Petri Nets to Communication Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié |
Towards Performance Analysis with Partially Symmetrical SWN. (PDF / PS) |
MASCOTS |
1999 |
DBLP DOI BibTeX RDF |
Performance Petri Nets, Symmetry, Stochastic Petri Nets, High Level Petri nets |
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis |
Modelling with Generalized Stochastic Petri Nets. |
SIGMETRICS Performance Evaluation Review |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso |
Performance Analysis of a WDM Bus Network Based on GSPN Models. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
A Symbolic Reachability Graph for Coloured Petri Nets. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Botti, Susanna Donatelli, Giuliana Franceschinis |
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. |
Annual Simulation Symposium |
1996 |
DBLP DOI BibTeX RDF |
Simulation, Performance evaluation, Petri nets, Parallel architectures, Stochastic Petri nets |
| 1 | Susanna Donatelli, Giuliana Franceschinis |
The PSR Methodology: Integrating Hardware and Software Models. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Marina Ribaudo |
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Giuliana Franceschinis |
Modelling and Analysis of Distributed Software Using GSPNs. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo |
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. |
Perform. Eval. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Giuliana Franceschinis |
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. |
SIGMETRICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Richard R. Muntz |
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph |
| 1 | Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo |
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. |
Perform. Eval. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Richard R. Muntz |
Bounds for Quasi-Lumpable Markow Chains. |
Perform. Eval. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo |
Software Architecture of the EPOCA Integrated Environment. |
Computer Performance Evaluation |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta |
Modeling Symmetric Computer Architectures by SWNs. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph |
| 1 | Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis |
Understanding Parallel Program Behavior through Petri Net Models. |
J. Parallel Distrib. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta |
A symbolic simulation mechanism for well-formed coloured Petri nets. |
Annual Simulation Symposium |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis |
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? |
PNPM |
1991 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Chiola, Giuliana Franceschinis |
A Structural Colour Simplification in Well-Formed Coloured Nets. |
PNPM |
1991 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Chiola, Giuliana Franceschinis |
Colored GSPN Models and Automatic Symmetry Detection. |
PNPM |
1989 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet |
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. |
PNPM |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #61 of 61 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")