LIST OF PUBLICATIONS
of Giuliana Franceschinis

JOURNALS

• F. Lazzarato, G. Franceschinis, M. Botta and R. Calogero,
  RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes
  Bioinformatics, Nov 2004 ;20(16):2848-50. Oxford University Press
• V.Vittorini,M. Iacono, N. Mazzocca, and G. Franceschinis
  The Osmosys approach to multi-formalism modeling of systems
  Journal of Software and System Modeling, Vol.3, No. 1, March 2004, Springer Verlag
• E. Teruel, G. Franceschinis, and M. De Pierro
  Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
  IEEE Transactions on Software Engineering, 29(11), November 2003, pages 962-973
• A. Bobbio, E. Ciancamerla, G. Franceschinis, R. Gaeta, M. Minichino and L. Portinale
  Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study
  Reliability Engineering & System Safety, Volume 81, Issue 3, Pages 235-341 (September 2003)
  Elsevier Ltd.
• A. Bobbio, G. Franceschinis, R. Gaeta, and L. Portinale
  Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics
  IEEE Transactions on Software Engineering, 9(3),March 2003, pages 270-287.
• L. Golubchik, J.C.S. Lui, T.F. Tung, A.L.H. Chou, W.-J. Lee, G. Franceschinis and C. Anglano
  Multi-path continuous media streaming: what are the benefits?
  Performance Evaluation, 49(1-4), 429--450, September 2002, Elsevier.
• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad.
  A Symbolic Reachability Graph for Coloured Petri Nets.
  Theoretical Computer Science B (Logic, semantics and theory of programming), 176 (1&2):39-65, April 1997, Elsevier.
• G.Chiola, G.Franceschinis, R.Gaeta, and M.Ribaudo.
  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.
  Performance Evaluation, Special issue on Performance Modeling Tools, 24(1\&2):47--68, November 1995, North Holland - Elsevier.
• S.Donatelli, G.Franceschinis, M.Ribaudo, and S.Russo.
  Use of GSPNs for concurrent software validation in EPOCA.
  Information and Software Technology, Special issue on Software Engineering for Parallel Systems, 36(7):443--448, July 1994, Butterworth - Heinemann.
• G.Balbo, S.Donatelli, G.Franceschinis, A.Mazzeo, N.Mazzocca, and M.Ribaudo.
  On the Computation of Performance Characteristics of Concurrent Programs using GSPNs.
  Performance Evaluation, 19:195--222, March 1994, North Holland - Elsevier.
• G.Franceschinis and R.R. Muntz.
  Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets.
  IEEE Transactions on Software Engineering, SE20(7):516--525, July 1994.
• G.Franceschinis and R.R. Muntz.
  Bounds for Quasi-Lumpable Markov Chains.
  Performance Evaluation, 20(1-3):223--244, May 1994, North Holland - Elsevier.
• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad.
  Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications.
  IEEE Transactions on Computers, 42(11):1343--1360, November 1993.
• G.Balbo, S.Donatelli, and G.Franceschinis.
  Understanding Parallel Programs Behaviour through Petri Net Models.
  Journal of Parallel and Distributed Computing, 15(3), July 1992, Academic Press, Inc.
• M.AjmoneMarsan, G.Balbo, G.Chiola, G.Conte, S.Donatelli, and G.Franceschinis.
  An Introduction to Generalized Stochastic Petri Nets.
  International Journal of Microelectronics and Reliability, Special issue on Petri nets and related graph models, 31(4):699--725, 1991, Pergamon Press.
  

BOOKS

• M.AjmoneMarsan, G.Balbo, G.Conte, S.Donatelli, and G.Franceschinis.
  Modelling with Generalized Stochastic Petri Nets.
  J. Wiley, 1995.

IN COLLECTIONS

• A. Bobbio, D. Codetta Raiteri, M. De Pierro, G. Franceschinis
  System Level Dependability Analysis, In System-level Test and Validation of Hardware/Software Systems, Springer Series in Advanced Microelectronics vol. 17, Z. Peng, M. Sonza Reorda, M. Violante editors, Springer, January 2005
• G.Franceschinis, A.Fumagalli and A.Silinguelli.
  Stochastic Colored Petri Net Models for Rainbow Optical Networks, Special issue of Advances of Petri Nets on Communication Network Applications, Lecture Notes in Computer Science, Springer Verlag, LNCS 1605, April 1999.
• G. Franceschinis, M. Ribaudo
  Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras
  Lectures on Petri Nets II: Applications, Springer Verlag, LNCS 1492, 1998
• S.Donatelli, G.Franceschinis
  Modelling and Analysis of Distributed Software using GSPNs
  Lectures on Petri Nets II: Applications, Springer Verlag, LNCS 1492, 1998
• M.Ajmone Marsan, S.Donatelli, G.Franceschinis, and F.Neri.
  Reductions in Generalized Stochastic Petri Nets and Stochastic Well-formed Nets: An Overview and an Example of Application.
  In The State-of-the-art in Performance Modeling and Simulation: Network Theory, Tools and Tutorials, J. Walrand, K. Bagchi and G. Zobrist (editors). Gordon and Breach Publishers INC., 1997
• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad.
  Stochastic Well-Formed coloured nets and multiprocessor modelling applications.
  In High-Level Petri Nets. Theory and Application, K.Jensen and G.Rozenberg (editors). Springer Verlag, 1991.
• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad.
  On Well-Formed coloured nets and their Symbolic Reachability Graph.
  In High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.

IN PROCEEDINGS

• L. Capra, M. De Pierro, G. Franceschinis,
  A High Level Language for Structural Relations in Stochastic Well-formed Nets
  In Proc. 26th Int. Conf. on Application and Theory of Petri Nets(ATPN 2005) 20-25 June 2005,Miami, Florida, USA. LNCS, Springer Verlag
• P. Ballarini, L. Capra and G. Franceschinis
  Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets
  In Proc. 19th International Symposium on Computer and Information Sciences (ISCIS'04)27-29 oct. 2004, Kemer, Antalya, Turkey, LNCS 3280, Springer Verlag.
• L. Capra, M. De Pierro and G. Franceschinis
  An application example of symbolic calculus for SWN structural relations
  In Proc. of 7th Workshop on Discrete Event Systems, September 22-24, 2004, Reims, France.
• D. Codetta Raiteri, G. Franceschinis, M. Iacono and V. Vittorini
  Repairable Fault Tree for the automatic evaluation of repair policies
  In Proc. of the International Conference on Dependable Systems and Networks
  (Performance and Dependability Symposium) DSN2004. June 28-July 1, 2004. Firenze, Italy
• G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca and V. Vittorini
  Compositional modeling of complex systems: contact center scenarios in OsMoSys
  In Proc. 25th Int. Conf. on Application and Theory of Petri Nets
  21-25 June, 2004. Bologna. Italy. LNCS 3099. Springer Verlag.
• Franceschinis, V. Vittorini, S. Marrone and N. Mazzocca.
  SWN Client-server composition operators in the OsMoSys framework,
  In: Proceedings 10th International Workshop on Petri Net and Performance Models, PNPM2003, pp 52-61, 2003.
• P. Ballarini, L. Capra, M. De Pierro, G. Franceschinis,
  Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
  In Proc. of 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June, 2003 Guimarães, Portugal
• M. Sonza Reorda, M. Violante, N. Mazzocca, S. Venticinque, G. Franceschinis, A. Bobbio,
  A Hierarchical Approach for Designing Dependable Systems
  Seventh Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT02), Cannes, France, October 27-29, 2002
• L. Golubchik, J.C.S. Lui, T.F. Tung, A.L.H. Chou, W.-J. Lee, G. Franceschinis and C. Anglano
  Multi-path continuous media streaming: what are the benefits?
  Proc. of the 22nd IFIP W.G. 7.3 Int. Symposium on Computer Performance Modeling, Measurement and Evaluation, Performance 2002, Rome, Italy, Sept. 2002
  (Special Issue of Performance Evaluation journal).
• G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca and V. Vittorini,
  Towards an Object based Multi-Formalism, Multi-Solution Modeling Approach,
  Second Workshop on Modelling of Objects, Components, and Agents, (MOCA2002) Aarhus, DK, Aug. 2002
• V. Vittorini, G. Franceschinis, M. Gribaudo, M. Iacono, C. Bertoncello,
  DrawNet++: a Flexible Framework for Building Dependability Models
  Tools presentations, Proc. of the International Conference on Dependable Systems and Networks (DSN2002), Washington D.C., USA, June 2002
• V. Vittorini, G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca,
  DrawNet++: Model Objects to Support Performance Analysis and Simulation of Complex Systems.
  12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002), London, UK, April 2002
• G. Franceschinis, C. Bertoncello, G. Bruno, G. Lungo Vaschetti and A. Pigozzi
  SWN models of a contact center: a case study
  In Proc. 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001
• S. Bologna, E. Ciancamerla , M. Minichino, A. Bobbio,G. Franceschinis, L. Portinale, R. Gaeta
  Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller
  Proc. 12th European Safety and Reliability International ConferenceESREL2001, 16-20 September, 2001, Torino, Italy
• A. Bobbio, G. Franceschinis, R. Gaeta and G. Portinale
  Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net
  In Proc. 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001
• L. Capra , C. Dutheillet , G. Franceschinis , J. M. Iliè
  On the use of partial symmetries for lumping Markov chains,
  ACM SIGMETRICS Performance Evaluation Review, March 2001, Volume 28,Issue 4
  Special issue on the workshop on MAthematical performance Modeling and Analysis (MAMA 2000)
• L. Capra, C. Dutheillet, G. Franceschinis and J.M. Iliè
  Exploiting Partial Symmetries for Markov Chain Aggregation
  In Proceedings of First workshop on Models for Time-Critical Systems (MTCS 2000), Satellite workshop of CONCUR2000
  Electronic Notes in Theoretical Computer Science, Volume 39, Issue 3
• P.Ballarini, S.Donatelli and G.Franceschinis
  Parametric Stochastic Well-Formed Nets and Compositional Modelling
  In Proc. 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26-30, 2000
• L. Capra, C. Dutheillet, G. Franceschinis and J.M. Iliè
  Towards Performance Analysis with Partially Symmetrical SWN
  In Proc. 7th International Symposium on Modeling, Analysis and Simulation, College Park, MD, USA, October 1999
• E.Teruel, G.Franceschinis and M.De Pierro
  Clarifying the Priority Specification of GSPN: Detached Priorities
  In Proc. 8th International Workshop on Petri Nets and Performance Models , Zaragoza, Spain, September 1999
• R. Gaeta, A. Bobbio, G. Franceschinis and G. Portinale
  Exploiting Petri Nets to support Fault Tree based dependability analysis
  In Proc. 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999
• G. Franceschinis, A. Fumagalli, and R. Grasso
  Performance Analysis of a Wavelength Division Multiplexing Bus Network Based on GSPN Models
  In Proc. 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Springer Verlag, LNCS 1469, Palma, Spain, September 1998.
• G. Franceschinis and Marina Ribaudo
  Symmetric and behavioural aggregation in a simple protocol example
  In Proc. 6th International workshop on Process Algebra and Performance Modeling, PAPM '98, Nice, France, september 1998.
• C.Anglano, S. Donatelli, G.Franceschinis AND O.Botti
  Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN
  In Proc. 7th International Workshop on Petri Nets and Performance Models, St. Malo, France , june 1997.
• S.Donatelli and G.Franceschinis.
  The PSR methodology: integrating hardware and software models.
  In 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, June 1996. LNCS 1091, Springer Verlag.
• O.Botti, S.Donatelli, and G.Franceschinis.
  Assessing the performance of multiprocessor architectures through SWN models simulation: a case study in the field of plant automation systems.
  In Proceedings of the 29th Annual Simulation Symposium, New Orleans, Louisiana, USA, April 1996, IEEE-CS Press.
• S.Donatelli and G.Franceschinis.
  State space reductions using stochastic well-formed net simplifications: an application to random polling systems.
  Extended abstract in Proceedings of the SIGMETRICS/PERFORMANCE 1995, Ottawa, Canada, May 1995. ACM Press.
• S.Donatelli, G.Franceschinis, N.Mazzocca, and S.Russo.
  Software architecture of the EPOCA integrated environment.
  In Proc. 7th Int. Conference on Modeling Techniques and Tools for Computer Performance Evaluation, Vienna, Austria, May 1994, LNCS 794, Springer Verlag.
• G.Chiola, G.Franceschinis, and R.Gaeta.
  Modelling symmetric computer architectures by SWNs.
  In Proc. of the 15th Intern. Conference on Applications and Theory of Petri Nets, Zaragoza, Spain, June 1994. Lecture Notes in Computer Science, no. 815, Springer-Verlag, 1994.
  Also in Quantitative Methods in Parallel Systems, F. Baccelli, A. Jean-Marie, I. Mitrani (editors), ESPRIT Basic Research Series, Springer Verlag, 1995.
• S.Donatelli, G.Franceschinis, M.Ribaudo, and S.Russo.
  Petri net based concurrent software validation in the DISC-GreatSPN envinronment.
  In Proc. of the 1st Workshop on Software Engineering for Parallel Systems (World Transputer Congress), Aachen, Germany, September 1993.
• G.Franceschinis and R.R. Muntz.
  Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets.
  In Proc. 5th Intern. Workshop on Petri Nets and Performance Models, pages 148--157, Toulouse, France, October 1993. IEEE-CS Press.
• G.Franceschinis and R.R. Muntz.
  Bounds for Quasi-Lumpable Markov Chains.
  In Proc. Performance 93, Rome, Italy, September 1993.
• G.Chiola, G.Franceschinis, and R.Gaeta.
  A symbolic simulation mechanism for Well-formed coloured Petri nets.
  In Proc. 25th Annual Simulation Symposium, Orlando, Florida, April 1992. IEEE-CS Press.
• G.Chiola and G.Franceschinis.
  Structural colour simplification in Well-Formed coloured nets.
  In Proc. 4th Int. Conference on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
• G.Chiola, S.Donatelli, and G.Franceschinis.
  GSPN versus SPN: what is the actual role of immediate transitions?
  In Proc. 4th Int. Conference on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
• G.Chiola, S.Donatelli, and G.Franceschinis.
  On Parametric P/T nets and their Modelling Power.
  In Proc. 12th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1991.
• G.Chiola, S.Donatelli, and G.Franceschinis.
  Priorities, Inhibitor Arcs, and Concurrency in P/T nets.
  In Proc. 12th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1991.
• G.Chiola and G.Franceschinis.
  A condition for behaviour-preserving colour simplification in Well-Formed coloured nets.
  In Proc. ISCAS'91, Singapore, June 1991.
  Special session on Net-based analysis and Design of Concurrent Distributed Event Systems.
• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad.
  On Well-Formed coloured nets and their Symbolic Reachability Graph.
  In Proc. 11th Intern. Conference on Application and Theory of Petri Nets, Paris, France, June 1990.
  Re-printed in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.