Marco Beccuti - RankMe

95 papers A 4B 8C 2Misc 1Journal 38Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Long-read microbial genome assembly, gene prediction and functional annotation: a service of the MIRRI ERIC Italian node. Frontiers Bioinform. Sandro Gepiro Contaldo, Antonio d'Acierno, Lorenzo Bosio, Francesco Venice, Elisa Li Perottino, Janneth Estefania Hoyos Rea, Giovanna Cristina Varese, Francesca Cordero, Marco Beccuti
2026	J	`jnl`	Machine Learning for analysis of Multiple Sclerosis cross-tissue bulk and single-cell transcriptomics data. CoRR Francesco Massafra, Samuele Punzo, Silvia Giulia Galfrè, Alessandro Maglione, Simone Pernice, Stefano Forti, Simona Rolla, Marco Beccuti, Marinella Clerico, Corrado Priami, Alina Sîrbu
2025	—	`conf`	BookedSlurm: meeting user needs for advanced resource reservations in Slurm. eScience Sandro Gepiro Contaldo, Lorenzo Bosio, Janneth Estefania Hoyos Rea, Elisa Li Perottino, Sergio Rabellino, Marco Aldinucci, Marco Beccuti, Iacopo Colonnelli
2025	—	`conf`	Epidemic Modelling Frameworks for Studying Infectious Disease Dynamics. ICHI Daniele Baccega, Marco Beccuti, Simone Pernice, Irene Terrone
2025	J	`jnl`	Forge4Flame: An intuitive dashboard for designing GPU agent-based models to simulate infectious disease spread. Simul. Model. Pract. Theory Daniele Baccega, Irene Terrone, Peter Heywood, Robert Chisholm, Paul Richmond, Sandro Gepiro Contaldo, Lorenzo Bosio, Simone Pernice, Marco Beccuti
2025	J	`jnl`	UnifiedGreatMod: a new holistic modelling paradigm for studying biological systems on a complete and harmonious scale. Bioinform. Riccardo Aucello, Simone Pernice, Dora Tortarolo, Raffaele A. Calogero, Celia Herrera-Rincon, Giulia Ronchi, Stefano Geuna, Francesca Cordero, Pietro Lió, Marco Beccuti
2024	J	`jnl`	CREDO: a friendly Customizable, REproducible, DOcker file generator for bioinformatics applications. BMC Bioinform. Simone Alessandri, Maria L. Ratto, Sergio Rabellino, Gabriele Piacenti, Sandro Gepiro Contaldo, Simone Pernice, Marco Beccuti, Raffaele A. Calogero, Luca Alessandrì
2024	J	`jnl`	From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models. ACM Trans. Model. Perform. Evaluation Comput. Syst. Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi
2024	—	`conf`	Functional Data Analysis and Clustering of Haematological Parameters in SARS-CoV-2 Patients. CIBB Daniela Volpatto, Marco Frattarola, Simone Pernice, Francesca Cordero, Marco Beccuti, Giulio Mengozzi, Stefano De Angelis, Roberta Sirovich
2024	—	`conf`	PHeP: TrustAlert Open-Source Platform for Enhancing Predictive Healthcare with Deep Learning. CIBB Sandro Gepiro Contaldo, Emanuele Pietropaolo, Lorenzo Bosio, Simone Pernice, Irene Terrone, Daniele Baccega, Yuting Wang, Rahul Kumar Sahoo, Giuseppe Rizzo, Alessia Visconti, Paola Berchialla, Marco Beccuti
2023	J	`jnl`	A new computational workflow to guide personalized drug therapy. J. Biomed. Informatics Simone Pernice, Alessandro Maglione, Dora Tortarolo, Roberta Sirovich, Marinella Clerico, Simona Rolla, Marco Beccuti, Francesca Cordero
2023	—	`conf`	Artificial intelligence methods for biomedical imaging and omics data. Ital-IA Carlo Alberto Barbano, Marco Beccuti, Francesca Cordero, Desislav Nikolaev Ivanov, Nicola Licheri, Simone Pernice, Alberto Presta, Riccardo Renzulli, Marco Grangetto
2023	J	`jnl`	CONNECTOR, fitting and clustering of longitudinal data to reveal a new risk stratification system. Bioinform. Simone Pernice, Roberta Sirovich, Elena Grassi, Marco Viviani, Martina Ferri, Francesco Sassi, Luca Alessandrì, Dora Tortarolo, Raffaele A. Calogero, Livio Trusolino, Andrea Bertotti, Marco Beccuti, Martina Olivero, Francesca Cordero
2023	—	`conf`	Extension of the GreatMod Modeling Framework to Simulate Non-Markovian Processes with General-Distributed Events. CIBB Irene Terrone, Daniela Volpatto, Simone Pernice, Elvio G. Amparore, Roberta Sirovich, Francesca Cordero, Marco Beccuti
2023	—	`conf`	ICT Infrastructure Supporting the Italian Research Infrastructure on Microbial Resources MIRRI-IT. CoRDI Marco Beccuti, Antonio d'Acierno, Simone Donetti, Sandro Gepiro Contaldo, Paolo Romano, Giovanna Cristina Varese
2023	—	`conf`	Living Along COVID-19: Assessing Contention Policies Through Agent-Based Models. CIBB Daniele Baccega, Simone Pernice, Paolo Castagno, Matteo Sereno, Marco Beccuti
2023	A	`conf`	MODIMO: Workshop on Multi-Omics Data Integration for Modelling Biological Systems. CIKM Simone Avesani, Vincenzo Bonnici, Simone Pernice, Marco Beccuti, Rosalba Giugno
2023	—	`conf`	OmniReprodubileCellAnalysis: a comprehensive toolbox for the analysis of cellular biology data. BIBM Dora Tortarolo, Simone Pernice, Fabiana Clapero, Donatella Valdembri, Guido Serini, Federica Riccardo, Lidia Tarone, Chiara Enrico Bena, Carla Bosia, Sandro Gepiro Contaldo, Marco Beccuti, Marzio Pennisi, Francesca Cordero
2023	—	`conf`	Stochastic Modeling and Dosage Optimization of a Cancer Vaccine Exploiting the EpiMod Framework. CIBB Marco Beccuti, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice, Irene Terrone
2023	—	`conf`	Synergy Between Mechanistic Modelling and Ensemble Feature Selection Approaches to Explore Multiscale Biological Heterogeneity. CIBB Riccardo Aucello, Nicola Licheri, Elena Rosso, Giulio Ferrero, Sandro Gepiro Contaldo, Simone Pernice, Pietro Lió, Francesca Cordero, Marco Beccuti
2022	J	`jnl`	An Agent-Based Model to Support Infection Control Strategies at School. J. Artif. Soc. Soc. Simul. Daniele Baccega, Simone Pernice, Pietro Terna, Paolo Castagno, Giovenale Moirano, Lorenzo Richiardi, Matteo Sereno, Sergio Rabellino, Milena Maria Maule, Marco Beccuti
2021	—	`conf`	A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. EPEW Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
2021	—	`conf`	An Entropy Heuristic to Optimize Decision Diagrams for Index-driven Search in Biological Graph Databases. CIKM Workshops Nicola Licheri, Elvio Amparone, Vincenzo Bonnici, Rosalba Giugno, Marco Beccuti
2021	J	`jnl`	GRAPES-DD: exploiting decision diagrams for index-driven search in biological graph databases. BMC Bioinform. Nicola Licheri, Vincenzo Bonnici, Marco Beccuti, Rosalba Giugno
2021	A	`conf`	MODIMO: Workshop on Multi-Omics Data Integration for Modelling Biological Systems. CIKM Marco Beccuti, Vincenzo Bonnici, Rosalba Giugno
2021	—	`conf`	Multiformalism modeling and simulation of immune system mechanisms. BIBM Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
2020	J	`jnl`	A computational framework for modeling and studying pertussis epidemiology and vaccination. BMC Bioinform. Paolo Castagno, Simone Pernice, Gianni Ghetti, Massimiliano Povero, Lorenzo Pradelli, Daniela Paolotti, Gianfranco Balbo, Matteo Sereno, Marco Beccuti
2020	J	`jnl`	Computational modeling of the immune response in multiple sclerosis using epimod framework. BMC Bioinform. Simone Pernice, Laura Follia, Alessandro Maglione, Marzio Pennisi, Francesco Pappalardo, Francesco Novelli, Marinella Clerico, Marco Beccuti, Francesca Cordero, Simona Rolla
2020	J	`jnl`	Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice. Fundam. Informaticae Simone Pernice, Laura Follia, Gianfranco Balbo, Luciano Milanesi, Giulia Sartini, Niccoló Totis, Pietro Lió, Ivan Merelli, Francesca Cordero, Marco Beccuti
2020	J	`jnl`	Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
2019	B	`conf`	A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice
2019	J	`jnl`	A computational approach based on the colored Petri net formalism for studying multiple sclerosis. BMC Bioinform. Simone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero
2019	—	`ed.`	Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers Euro-Par Workshops Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio, Emmanuel Jeannot, Felix Wolf, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Laura Ricci, Marco Beccuti, Laura Antonelli, José Daniel García Sánchez, Stephen L. Scott
2019	—	`conf`	Exploiting Stochastic Petri Net formalism to capture the Relapsing Remitting Multiple Sclerosis variability under Daclizumab administration. BIBM Simone Pernice, Greta Romano, Giulia Russo, Marco Beccuti, Marzio Pennisi, Francesco Pappalardo
2019	—	`conf`	Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
2018	—	`conf`	Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango
2018	J	`jnl`	Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2018	—	`conf`	Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
2018	—	`conf`	Efficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization. CIBB Niccoló Totis, Andrea Tangherloni, Marco Beccuti, Paolo Cazzaniga, Marco S. Nobile, Daniela Besozzi, Marzio Pennisi, Francesco Pappalardo
2018	—	`conf`	Estimating Daclizumab effects in Multiple Sclerosis using Stochastic Symmetric Nets. BIBM Simone Pernice, Marco Beccuti, Pietro Do', Marzio Pennisi, Francesco Pappalardo
2018	—	`conf`	GPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis. Euro-Par Workshops Marco Beccuti, Paolo Cazzaniga, Marzio Pennisi, Daniela Besozzi, Marco S. Nobile, Simone Pernice, Giulia Russo, Andrea Tangherloni, Francesco Pappalardo
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
2018	J	`jnl`	Reproducible bioinformatics project: a community for reproducible bioinformatics analysis pipelines. BMC Bioinform. Neha Kulkarni, Luca Alessandrì, Riccardo Panero, Maddalena Arigoni, Martina Olivero, Giulio Ferrero, Francesca Cordero, Marco Beccuti, Raffaele A. Calogero
2018	J	`jnl`	SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero
2017	—	`conf`	A mathematical model to study breast cancer growth. BIBM Giorgia Chivassa, Chiara Fornari, Roberta Sirovich, Marzio Pennisi, Marco Beccuti, Francesca Cordero
2017	—	`conf`	Analysis of Timed Properties Using the Jump-Diffusion Approximation. EPEW Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston
2017	—	`conf`	Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2017	B	`conf`	Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
2017	J	`jnl`	HashClone: a new tool to quantify the minimal residual disease in B-cell lymphoma from deep sequencing data. BMC Bioinform. Marco Beccuti, Elisa Genuardi, Greta Romano, Luigia Monitillo, Daniela Barbero, Mario Boccadoro, Marco Ladetto, Raffaele A. Calogero, Simone Ferrero, Francesca Cordero
2017	J	`jnl`	Overcoming the lack of kinetic information in biochemical reactions networks. SIGMETRICS Perform. Evaluation Rev. Niccoló Totis, Laura Follia, Chiara Riganti, Francesco Novelli, Francesca Cordero, Marco Beccuti
2016	—	`conf`	Dealing with indetermination in biochemical networks. VALUETOOLS Niccoló Totis, Marco Beccuti, Francesca Cordero, Laura Follia, Chiara Riganti, Francesco Novelli
2015	J	`jnl`	A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression. BMC Syst. Biol. Chiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Raffaele A. Calogero, Francesca Cordero, Marco Beccuti
2015	J	`jnl`	Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis. BMC Bioinform. Matteo Carrara, Josephine Lum, Francesca Cordero, Marco Beccuti, Michael Poidinger, Susanna Donatelli, Raffaele A. Calogero, Francesca Zolezzi
2015	J	`jnl`	Approximate analysis of biological systems by hybrid switching jump diffusion. Theor. Comput. Sci. Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
2015	J	`jnl`	From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2015	—	`conf`	Markov Decision Petri Nets with Uncertainty. EPEW Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
2015	C	`conf`	Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads. WABI Denise Duma, Francesca Cordero, Marco Beccuti, Gianfranco Ciardo, Timothy J. Close, Stefano Lonardi
2014	B	`conf`	(Stochastic) Model Checking in GreatSPN. Petri Nets Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
2014	B	`conf`	Analysis of Petri Net Models through Stochastic Differential Equations. Petri Nets Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
2014	J	`jnl`	Analysis of Petri Net Models through Stochastic Differential Equations. CoRR Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
2014	J	`jnl`	Approximate analysis of biological systems by hybrid switching jump diffusion. CoRR Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
2014	J	`jnl`	Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero
2014	—	`conf`	Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango
2014	J	`jnl`	Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
2014	—	`conf`	Mathematical models on cancer progression. BioPPN@Petri Nets Marco Beccuti
2013	J	`jnl`	Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space. PLoS Comput. Biol. Stefano Lonardi, Denisa Duma, Matthew Alpert, Francesca Cordero, Marco Beccuti, Prasanna R. Bhat, Yonghui Wu, Gianfranco Ciardo, Burair Alsaihati, Yaqin Ma, Steve Wanamaker, Josh Resnik, Serdar Bozdag, Ming-Cheng Luo, Timothy J. Close
2013	B	`conf`	Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	J	`jnl`	Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2013	J	`jnl`	Multi-level model for the investigation of oncoantigen-driven vaccination effect. BMC Bioinform. Francesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele A. Calogero
2013	—	`conf`	Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	J	`jnl`	State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? BMC Bioinform. Matteo Carrara, Marco Beccuti, Federica Cavallo, Susanna Donatelli, Fulvio Lazzarato, Francesca Cordero, Raffaele A. Calogero
2012	A	`conf`	A new symbolic approach for network reliability analysis. DSN Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
2012	Misc	`conf`	Efficient simulation of stochastic well-formed nets through symmetry exploitation. WSC Marco Beccuti, Giuliana Franceschinis
2012	J	`jnl`	Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
2011	—	`conf`	A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. VTC Spring Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas
2011	J	`jnl`	Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space CoRR Stefano 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
2011	B	`conf`	Computing first passage time distributions in stochastic well-formed nets. ICPE Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011	J	`jnl`	First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011	J	`jnl`	Lumping partially symmetrical stochastic models. Perform. Evaluation Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
2011	—	`conf`	Probe Automata for Passage Time Specification. QEST Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2010	—	`conf`	Dynamic Simulations of Kidney Exchanges. OR Marco Beccuti, V. Fragnelli, Giuliana Franceschinis, S. Villa
2010	B	`conf`	GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
2010	—	`conf`	Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2009	—	`conf`	From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
2009	B	`conf`	Modeling Clinical Guidelines through Petri Nets. AIME Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani
2009	—	`conf`	Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
2009	A	`conf`	Parametric NdRFT for the derivation of optimal repair strategies. DSN Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
2009	J	`jnl`	The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
2008	C	`conf`	Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
2008	—	`conf`	New Solvers for Asymmetric Systems in GreatSPN. QEST Souheib Baarir, Marco Beccuti, Giuliana Franceschinis
2008	—	`conf`	Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
2007	—	`conf`	A framework to design and solve Markov Decision Well-formed Net models. QEST Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
2007	—	`conf`	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN Marco Beccuti, Giuliana Franceschinis, Serge Haddad
2006	—	`conf`	Efficient lumpability check in partially symmetric systems. QEST Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié
2004	—	`conf`	Extended SWN Solvers in GreatSPN. QEST Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux