Author of the publication

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

, , , , , and . MASCOTS, page 36-48. IEEE Computer Society, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Franceschinis, Giuliana
add a person with the name Franceschinis, Giuliana
 

Other publications of authors with the same name

SWN Models of a Contact Center: a Case Study., , , , and . PNPM, page 39-48. IEEE Computer Society, (2001)Towards a Second Generation of Computer Interpretable Guidelines., , , , , , and . DATA, page 199-205. SciTePress, (2013)Exploiting Petri nets to support fault tree based dependability analysis., , , and . PNPM, page 146-155. IEEE Computer Society, (1999)Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms., , and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 43-62. Springer, (2007)Parametric Stochastic Well-Formed Nets and Compositional Modelling., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 43-62. Springer, (2000)The PSR Methodology: Integrating Hardware and Software Models., and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 133-152. Springer, (1996)A tool for symbolic manipulation of arc functions in symmetric net models., , and . VALUETOOLS, page 320-323. ICST/ACM, (2013)Towards Performance Analysis with Partially Symmetrical SWN., , , and . MASCOTS, page 148-155. IEEE Computer Society, (1999)Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets., and . IEEE Trans. Software Eng., 20 (7): 516-525 (1994)Non deterministic repairable fault trees for computing optimal repair strategy., , , and . VALUETOOLS, page 56. ICST/ACM, (2008)