Marco Beccuti

Paolo Castagno

Marzio Pennisi

Simone Pernice

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

2020

Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Computational modeling of the immune response in multiple sclerosis using epimod framework.

[BibT_eX]

[DOI]

BMC Bioinform., 2020

A computational framework for modeling and studying pertussis epidemiology and vaccination.

[BibT_eX]

[DOI]

BMC Bioinform., 2020

2019

A computational approach based on the colored Petri net formalism for studying multiple sclerosis.

[BibT_eX]

[DOI]

BMC Bioinform., December, 2019

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models.

[BibT_eX]

[DOI]

Lorenzo Capra

Laura Follia

Simone Pernice

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.

[BibT_eX]

[DOI]

Francesca Cordero

Raffaele A. Calogero

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

Exploiting Stochastic Petri Net formalism to capture the Relapsing Remitting Multiple Sclerosis variability under Daclizumab administration.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

2018

MCC'2017 - The Seventh Model Checking Contest.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2018

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2018

Reproducible bioinformatics project: a community for reproducible bioinformatics analysis pipelines.

[BibT_eX]

[DOI]

BMC Bioinform., 2018

SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer.

[BibT_eX]

[DOI]

Raffaele A. Calogero

Bioinform., 2018

Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop on Agents in Traffic and Transportation (ATT 2018) co-located with with the Federated Artificial Intelligence Meeting, 2018

GPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.

[BibT_eX]

[DOI]

Lorenzo Capra

Simone Pernice

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

Efficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2018

Estimating Daclizumab effects in Multiple Sclerosis using Stochastic Symmetric Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017

Overcoming the lack of kinetic information in biochemical reactions networks.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2017

HashClone: a new tool to quantify the minimal residual disease in B-cell lymphoma from deep sequencing data.

[BibT_eX]

[DOI]

BMC Bioinform., 2017

Analysis of Timed Properties Using the Jump-Diffusion Approximation.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

A mathematical model to study breast cancer growth.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

Decision Diagrams for Petri Nets: Which Variable Ordering?

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Dealing with indetermination in biochemical networks.

[BibT_eX]

[DOI]

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

2015

Approximate analysis of biological systems by hybrid switching jump diffusion.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

From Symmetric Nets to Differential Equations exploiting Model Symmetries.

[BibT_eX]

[DOI]

Chiara Fornari

Comput. J., 2015

A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2015

Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis.

[BibT_eX]

[DOI]

BMC Bioinform., 2015

Scrible: Ultra-Accurate Error-Correction of Pooled Sequenced Reads.

[BibT_eX]

[DOI]

Proceedings of the Algorithms in Bioinformatics - 15th International Workshop, 2015

Markov Decision Petri Nets with Uncertainty.

[BibT_eX]

[DOI]

Dimitri Scheftelowitsch

Peter Buchholz

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis.

[BibT_eX]

[DOI]

Comput. J., 2014

Chimera: a Bioconductor package for secondary analysis of fusion products.

[BibT_eX]

[DOI]

Bioinform., 2014

Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Vienna, Austria, 1, 2014

Analysis of Petri Net Models through Stochastic Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Mathematical models on cancer progression.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

(Stochastic) Model Checking in GreatSPN.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Combinatorial Pooling Enables Selective Sequencing of the Barley Gene Space.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

[BibT_eX]

[DOI]

CoRR, 2013

Multi-level model for the investigation of oncoantigen-driven vaccination effect.

[BibT_eX]

[DOI]

BMC Bioinform., 2013

State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues?

[BibT_eX]

[DOI]

BMC Bioinform., 2013

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets.

[BibT_eX]

[DOI]

Benoît Barbot

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Expressing and Computing Passage Time Measures of GSPN Models with HASL.

[BibT_eX]

[DOI]

Paolo Ballarini

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Quantification of dependencies between electrical and information infrastructures.

[BibT_eX]

[DOI]

Silvano Chiaradonna

Felicita Di Giandomenico

Giovanna Dondossola

Int. J. Crit. Infrastructure Prot., 2012

Efficient simulation of stochastic well-formed nets through symmetry exploitation.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2012

A new symbolic approach for network reliability analysis.

[BibT_eX]

[DOI]

Andrea Bobbio

Roberta Terruggia

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Lumping partially symmetrical stochastic models.

[BibT_eX]

[DOI]

Claude Dutheillet

Perform. Evaluation, 2011

Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space

[BibT_eX]

[DOI]

CoRR, 2011

First Passage Time Computation in Tagged GSPNs with Queue Places.

[BibT_eX]

[DOI]

Comput. J., 2011

Computing first passage time distributions in stochastic well-formed nets.

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.

[BibT_eX]

[DOI]

András Horváth

Ádám Horváth

Károly Farkas

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Probe Automata for Passage Time Specification.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

Dynamic Simulations of Kidney Exchanges.

[BibT_eX]

[DOI]

V. Fragnelli

S. Villa

Proceedings of the Operations Research Proceedings 2010, 2010

Stochastic Petri Nets Sensitivity to Token Scheduling Policies.

[BibT_eX]

[DOI]

Proceedings of the Operations Research Proceedings 2010, 2010

GreatSPN Enhanced with Decision Diagram Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

The GreatSPN tool: recent enhancements.

[BibT_eX]

[DOI]

Davide Cerotti

SIGMETRICS Perform. Evaluation Rev., 2009

Multiple abstraction levels in performance analysis of WSN monitoring systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

From partially to fully lumped Markov chains in stochastic well formed Petri nets.

[BibT_eX]

[DOI]

Claude Dutheillet

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Parametric NdRFT for the derivation of optimal repair strategies.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Modeling Clinical Guidelines through Petri Nets.

[BibT_eX]

[DOI]

Alessio Bottrighi

Stefania Montani

Paolo Terenziani

Proceedings of the Artificial Intelligence in Medicine, 2009

2008

Non deterministic repairable fault trees for computing optimal repair strategy.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

New Solvers for Asymmetric Systems in GreatSPN.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures.

[BibT_eX]

[DOI]

Mohamed Kaâniche

Karama Kanoun

Proceedings of the Critical Information Infrastructure Security, 2008

2007

A framework to design and solve Markov Decision Well-formed Net models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Efficient lumpability check in partially symmetric systems.

[BibT_eX]

[DOI]

Jean-Michel Ilié

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2004

Extended SWN Solvers in GreatSPN.

[BibT_eX]

[DOI]