|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 14 keywords
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
130 | Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry |
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 495-504, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GreatSPN, Distributed Model Checking, Symbolic Reachability Graph |
53 | Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux |
Extended SWN Solvers in GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 324-325, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié |
Efficient lumpability check in partially symmetric systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 211-220, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston |
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 143-152, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Susanna Donatelli, Liliana Ferro |
Validation of GSPN and SWN Models through the PROD Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, pp. 131-140, 2002, Springer, 3-540-43539-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Simona Bernardi 0001, Susanna Donatelli, András Horváth |
Implementing compositionality for stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 417-430, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality |
33 | Lynda Mokdad, Mbaye Sene, Azzedine Boukerche |
Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 22(8), pp. 1332-1341, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
stochastic well-formed Petri nets, GreatSPN tool, Synchronization, mobile networks, call admission control, handover |
31 | Elvio G. Amparore |
Stochastic modelling and evaluation using GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 49(4), pp. 87-91, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Elvio Gilberto Amparore, Susanna Donatelli |
Analysis of Non-Markovian Systems in GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfQ@VALUETOOLS ![In: New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers, pp. 127-138, 2017, Springer, 978-3-319-91631-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Elvio Gilberto Amparore |
Reengineering the Editor of the GreatSPN Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015., pp. 153-170, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
31 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli |
(Stochastic) Model Checking in GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings, pp. 354-363, 2014, Springer, 978-3-319-07733-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Elvio Gilberto Amparore |
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 170-173, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner |
GreatSPN Enhanced with Decision Diagram Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings, pp. 308-317, 2010, Springer, 978-3-642-13674-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Elvio Gilberto Amparore, Susanna Donatelli |
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 79-80, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis |
The GreatSPN tool: recent enhancements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 36(4), pp. 4-9, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Souheib Baarir, Marco Beccuti, Giuliana Franceschinis |
New Solvers for Asymmetric Systems in GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 235-236, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Davide D'Aprile, Susanna Donatelli, Jeremy Sproston |
CSL Model Checking for the GreatSPN Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings, pp. 543-552, 2004, Springer, 3-540-23526-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Marco Bernardo 0001, Nadia Busi, Marina Ribaudo |
Integrating TwoTowers and GreatSPN through a compact net semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 50(2/3), pp. 153-187, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Marco Bernardo 0001, Nadia Busi, Marina Ribaudo |
Integrating Two Towers and GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP Satellite Workshops ![In: ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, pp. 551-564, 2000, Carleton Scientific, Waterloo, Ontario, Canada, 1-894145-07-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
31 | Richard Lai 0001 |
Performance Results for the CSMA/CD Protocol Using GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 37(1), pp. 75-90, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo |
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 24(1-2), pp. 47-68, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 43-62, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Paolo Ballarini, Simona Bernardi 0001, Susanna Donatelli |
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 773-784, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Omer F. Rana |
A Design and Management Framework for Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA, pp. 314-321, 1999, IEEE Computer Society, 0-7695-0381-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Petri nets, Mobile Agents, Design Patterns, Performance Estimation, Aglets |
22 | Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso |
Performance Analysis of a WDM Bus Network Based on GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation (Tools) ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings, pp. 207-218, 1998, Springer, 3-540-64949-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Stefano Caselli, Gianni Conte, F. Bonardi, M. Fontanesi |
Experiences on SIMD Massively Parallel GSPN Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation ![In: Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings, pp. 266-283, 1994, Springer, 3-540-58021-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo 0001 |
Software Architecture of the EPOCA Integrated Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation ![In: Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings, pp. 335-352, 1994, Springer, 3-540-58021-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|