dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marco Beccuti Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas: A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. VTC Spring 2011: 1-5
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Timothy J. Close: Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space CoRR abs/1112.4438: (2011)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54(5): 653-673 (2011)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSouheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1): 21-44 (2011)
2010
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner: GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317
2009
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani: Modeling Clinical Guidelines through Petri Nets. AIME 2009: 61-70
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad: Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSouheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis: The GreatSPN tool: recent enhancements. SIGMETRICS Performance Evaluation Review 36(4): 4-9 (2009)
2008
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun: Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS 2008: 48-59
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSouheib Baarir, Marco Beccuti, Giuliana Franceschinis: New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Giuliana Franceschinis, Serge Haddad: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad: A framework to design and solve Markov Decision Well-formed Net models. QEST 2007: 165-166
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
2004
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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: 324-325

Coauthor Index

1Matthew Alpert [13]
2Burair Alsaihati [13]
3Elvio Gilberto Amparore [15]
4Souheib Baarir [1] [2] [5] [7] [11]
5Junaid Babar [10]
6Gianfranco Balbo [12] [16]
7Prasanna Bhat [13]
8Alessio Bottrighi [9]
9Davide Cerotti [7]
10Gianfranco Ciardo [13]
11Timothy J. Close [13]
12Francesca Cordero [13]
13C. Delamare [1]
14Susanna Donatelli [1] [7] [10] [15]
15Denisa Duma [13]
16Claude Dutheillet [1] [11]
17Károly Farkas [14]
18Giuliana Franceschinis [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [15] [16]
19Rossano Gaeta [1]
20Serge Haddad [3] [4] [8] [11]
21Ádám Horváth [14]
22András Horváth [14]
23J-M. Ilie [2]
24Jean-Michel Ilié (Jean Michel Ilié) [1]
25Mohamed Kaâniche [6]
26Karama Kanoun [6]
27Stefano Lonardi [13]
28Yaqin Ma [13]
29Andrew S. Miner [10]
30Stefania Montani [9]
31Patrice Moreaux [1]
32Massimiliano De Pierro [7] [12] [14] [16]
33Daniele Codetta Raiteri [3] [8]
34Josh Resnik [13]
35Paolo Terenziani [9]
36Steve Wanamaker [13]
37Yonghui Wu [13]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page