SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems
暂无分享,去创建一个
F Maggioli | T Mancini | E Tronci | E. Tronci | Toni Mancini | F Maggioli
[1] Sriram Sankaranarayanan,et al. Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models , 2009, CAV.
[2] Mudita Singhal,et al. COPASI - a COmplex PAthway SImulator , 2006, Bioinform..
[3] Gian Paolo Incremona,et al. Individualized model predictive control for the artificial pancreas: In silico evaluation of closed-loop glucose control , 2018 .
[4] Chris J. Myers,et al. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core , 2018, J. Integr. Bioinform..
[5] Jacques Haiech,et al. Modeling and simulation of biological systems using SPICE language , 2017, PloS one.
[6] Jacques Haiech,et al. Environment for Modeling and Simulation of Biosystems, Biosensors, and Lab-on-Chips , 2019, IEEE Transactions on Electron Devices.
[7] Noriko Hiroi,et al. LibSBMLSim: a reference implementation of fully functional SBML simulator , 2013, Bioinform..
[8] Edmund M. Clarke,et al. Bayesian statistical model checking with application to Stateflow/Simulink verification , 2013, Formal Methods Syst. Des..
[9] Hiroaki Kitano,et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..
[10] Toni Mancini,et al. SyLVaaS: System Level Formal Verification as a Service , 2015, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
[11] Jirí Kofránek,et al. Physiomodel - an integrative physiology in Modelica , 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
[12] Peter Fritzson,et al. BioChem - A Biological and Chemical Library for Modelica , 2003 .
[13] Jacky L. Snoep,et al. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..
[14] Jacques Haiech,et al. Modeling Biology With HDL Languages: A First Step Toward a Genetic Design Automation Tool Inspired From Microelectronics , 2014, IEEE Transactions on Biomedical Engineering.
[15] Toni Mancini,et al. Patient-specific models from inter-patient biological models and clinical records , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
[16] Paolo Zuliani,et al. Statistical model checking for biological applications , 2014, International Journal on Software Tools for Technology Transfer.
[17] Toni Mancini,et al. System Level Formal Verification via Model Checking Driven Simulation , 2013, CAV.
[18] Toni Mancini,et al. Computing Personalised Treatments through In Silico Clinical Trials , 2018, RCRA@FLoC.
[19] Andreas Schuppert,et al. Robust PBPK/PD-Based Model Predictive Control of Blood Glucose , 2016, IEEE Transactions on Biomedical Engineering.
[20] Wolfgang Weiss,et al. A Computational Systems Biology Software Platform for Multiscale Modeling and Simulation: Integrating Whole-Body Physiology, Disease Biology, and Molecular Reaction Networks , 2011, Front. Physio..
[21] Chris J. Myers,et al. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2 , 2018, J. Integr. Bioinform..
[22] Andreas Zell,et al. The systems biology simulation core algorithm , 2013, BMC Systems Biology.
[23] James A. Glazier,et al. libRoadRunner 2.0: a high performance SBML simulation and analysis library , 2022, Bioinformatics.
[24] Toni Mancini,et al. Anytime system level verification via parallel random exhaustive hardware in the loop simulation , 2016, Microprocess. Microsystems.
[25] Chris J. Myers,et al. Tablet—next generation sequence assembly visualization , 2009, Bioinform..
[26] Peter Fritzson,et al. Biochemical Mathematical Modeling with Modelica and the BioChem Library , 2007 .
[27] Toni Mancini,et al. Computing Biological Model Parameters by Parallel Statistical Model Checking , 2015, IWBBIO.
[28] Sb Ras,et al. BIOUML - OPEN SOURCE EXTENSIBLE WORKBENCH FOR SYSTEMS BIOLOGY , 2003 .
[29] Toni Mancini,et al. System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation , 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
[30] Elena Kutumova,et al. BioUML: an integrated environment for systems biology and collaborative analysis of biomedical data , 2019, Nucleic Acids Res..
[31] Peter Hunter,et al. Integrating knowledge representation and quantitative modelling in physiology. , 2012, Biotechnology journal.
[32] Edmund M. Clarke,et al. Bayesian statistical model checking with application to Stateflow/Simulink verification , 2010, Formal Methods in System Design.
[33] Michael Hucka,et al. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core (Release 1 Candidate) , 2010 .
[34] Toni Mancini,et al. On minimising the maximum expected verification time , 2017, Inf. Process. Lett..