Edit Profile (opens in new tab) Franceschinis, Giuliana Co-Author Distance Author ID: franceschinis.giuliana Published as: Franceschinis, Giuliana; Franceschinis, G. Documents Indexed: 16 Publications since 1994, including 1 Book 3 Contributions as Editor Co-Authors: 32 Co-Authors with 18 Joint Publications 462 Co-Co-Authors all top 5 Co-Authors 1 single-authored 4 Donatelli, Susanna 3 Beccuti, Marco 2 Ajmone Marsan, Marco 2 Balbo, Gianfranco 2 Ballarini, Paolo 2 Capra, Lorenzo 2 Chiola, Giovanni 2 De Pierro, Massimiliano 2 Dutheillet, Claude 2 Gribaudo, Marco 2 Haddad, Serge 2 Iacono, Mauro 2 Mazzocca, Nicola 2 Vittorini, Valeria 2 Wolf, Karsten 1 Amparore, Elvio Gilberto 1 Anglano, C. 1 Chow, Alix L. H. 1 Gaeta, Rossano 1 Golubchik, Leana 1 Ilié, Jean-Michel 1 Jensen, Kurt 1 Kleijn, Jetty 1 Kristensen, Lars Michael 1 Lui, John C. S. 1 Marrone, Stefano 1 Muntz, Richard R. 1 Penzcek, Wojciech 1 Ribaudo, Marina 1 Tung, T. F. 1 Valmari, Antti 1 van der Aalst, Wil M. P. Serials 2 Performance Evaluation 2 Lecture Notes in Computer Science 1 Theoretical Computer Science 1 Fundamenta Informaticae all top 5 Fields 18 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 175 times in 154 Documents Cited by ▼ Year ▼ Modelling with generalized stochastic Petri nets. Zbl 0843.68080Marsan, M. Ajmone; Balbo, G.; Donatelli, S.; Franceschinis, G.; Conte, G. 102 1995 A symbolic reachability graph for coloured Petri nets. Zbl 0903.68130Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S. 23 1997 Simple \(O(m \log n)\) time Markov chain lumping. Zbl 1284.68437Valmari, Antti; Franceschinis, Giuliana 23 2010 GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Zbl 0875.68663Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M. 11 1995 Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. Zbl 0938.68521Franceschinis, Giuliana; Muntz, Richard R. 5 1994 Markov decision Petri net and Markov decision well-formed net formalisms. Zbl 1226.68049Beccuti, M.; Franceschinis, G.; Haddad, S. 3 2007 Expressing and computing passage time measures of GSPN models with HASL. Zbl 1381.68193Amparore, Elvio Gilberto; Ballarini, Paolo; Beccuti, Marco; Donatelli, Susanna; Franceschinis, Giuliana 2 2013 Multi-path continuous media streaming: What are the benefits? Zbl 1043.68033Golubchik, L.; Lui, J. C. S.; Tung, T. F.; Chow, A. L. H.; Lee, W.-J.; Franceschinis, G.; Anglano, C. 2 2002 A high level language for structural relations in well-formed nets. Zbl 1128.68374Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana 2 2005 The PSR methodology: integrating hardware and software models. Zbl 1418.68007Donatelli, Susanna; Franceschinis, Giuliana 1 1996 Parametric stochastic well-formed nets and compositional modelling. Zbl 0986.68528Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana 1 2000 Expressing and computing passage time measures of GSPN models with HASL. Zbl 1381.68193Amparore, Elvio Gilberto; Ballarini, Paolo; Beccuti, Marco; Donatelli, Susanna; Franceschinis, Giuliana 2 2013 Simple \(O(m \log n)\) time Markov chain lumping. Zbl 1284.68437Valmari, Antti; Franceschinis, Giuliana 23 2010 Markov decision Petri net and Markov decision well-formed net formalisms. Zbl 1226.68049Beccuti, M.; Franceschinis, G.; Haddad, S. 3 2007 A high level language for structural relations in well-formed nets. Zbl 1128.68374Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana 2 2005 Multi-path continuous media streaming: What are the benefits? Zbl 1043.68033Golubchik, L.; Lui, J. C. S.; Tung, T. F.; Chow, A. L. H.; Lee, W.-J.; Franceschinis, G.; Anglano, C. 2 2002 Parametric stochastic well-formed nets and compositional modelling. Zbl 0986.68528Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana 1 2000 A symbolic reachability graph for coloured Petri nets. Zbl 0903.68130Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S. 23 1997 The PSR methodology: integrating hardware and software models. Zbl 1418.68007Donatelli, Susanna; Franceschinis, Giuliana 1 1996 Modelling with generalized stochastic Petri nets. Zbl 0843.68080Marsan, M. Ajmone; Balbo, G.; Donatelli, S.; Franceschinis, G.; Conte, G. 102 1995 GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Zbl 0875.68663Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M. 11 1995 Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. Zbl 0938.68521Franceschinis, Giuliana; Muntz, Richard R. 5 1994 all cited Publications top 5 cited Publications all top 5 Cited by 271 Authors 8 Katoen, Joost-Pieter 7 Haddad, Serge 7 Marin, Andrea 6 Gharbi, Nawel 6 Hermanns, Holger 6 Silva, Manuel 5 Piazza, Carla 5 Rossi, Sabina 5 Tarasyuk, Igor’ Valer’evich 5 Wißmann, Thorsten 4 Baier, Christel 4 Balbo, Gianfranco 4 Buchholz, Peter 4 Heiner, Monika 4 Ioualalen, Malika 4 Milius, Stefan 4 Schröder, Lutz 4 Siegle, Markus 3 Angius, Alessio 3 Beccuti, Marco 3 Bernardo, Marco 3 Chiola, Giovanni 3 Donatelli, Susanna 3 Dutheillet, Claude 3 Franceschinis, Giuliana 3 Giua, Alessandro 3 Haar, Stefan 3 Haverkort, Boudewijn R. 3 Horváth, András 3 Júlvez, Jorge 3 Kordon, Fabrice 3 Kwiatkowska, Marta Z. 3 Reveliotis, Spyros A. 3 Tribastone, Mirco 3 Vandin, Andrea 2 Azgomi, Mohammad Abdollahi 2 Baez, John C. 2 Baldan, Paolo 2 Ballarini, Paolo 2 Balsamo, Simonetta 2 Barbot, Benoît 2 Bibbona, Enrico 2 Bouillard, Anne 2 Capra, Lorenzo 2 Cardelli, Luca 2 Chaouiya, Claudine 2 Chen, Xiaoliang 2 de Vink, Erik P. 2 Dei Rossi, Gian-Luca 2 Dorsch, Ulrich 2 Fraca, Estíbaliz 2 Gaujal, Bruno 2 Gieseking, Manuel 2 Gilbert, David 2 Groote, Jan Friso 2 Jansen, David N. 2 Koutny, Maciej 2 Lefebvre, Dimitri 2 Li, Ran 2 Mairesse, Jean 2 Marwan, Wolfgang 2 Moreaux, Patrice 2 Motallebi, Hassan 2 Navarro Gutiérrez, Manuel 2 Petrucci, Laure 2 Ramírez-Treviño, Antonio 2 Remy, Elisabeth 2 Rosario, Sidney 2 Schuster, Johann Christoph 2 Seatzu, Carla 2 Sirovich, Roberta 2 Stoelinga, Mariëlle 2 Thieffry, Denis 2 Tschaikowski, Max 2 Wagler, Annegret Katrin 2 Würdemann, Nick 2 Zhang, Lijun 2 Zouari, Belhassen 1 Abid, Chiheb Ameur 1 Ahmad, Ab Rahman 1 Al-Ahmari, Abdulrahman M. 1 Aldini, Alessandro 1 Alzetta, Giacomo 1 Amparore, Elvio Gilberto 1 Araujo, Robyn P. 1 Askarian, Ahmad 1 Baarir, Souheib 1 Bachmann, Jens 1 Baeten, Jos C. M. 1 Bahi-Jaber, Narges 1 Barukab, Omar M. 1 Bashirov, Rza 1 Bell, Alexander 1 Benevides, Mario R. F. 1 Benoit, Anne 1 Benveniste, Albert 1 Billington, Jonathan 1 Bortolussi, Luca 1 Bouyer, Patricia 1 Bowden, F. D. J. ...and 171 more Authors all top 5 Cited in 45 Serials 14 Theoretical Computer Science 10 Discrete Event Dynamic Systems 6 Information and Computation 6 Natural Computing 5 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Mathematical and Computer Modelling 4 Formal Aspects of Computing 4 Formal Methods in System Design 3 Acta Informatica 3 Mathematical Problems in Engineering 3 Logical Methods in Computer Science 3 Nonlinear Analysis. Hybrid Systems 2 Computers & Mathematics with Applications 2 Journal of Computational and Applied Mathematics 2 Journal of Computer and System Sciences 2 Algorithms 1 Artificial Intelligence 1 International Journal of Control 1 Mathematical Biosciences 1 Bulletin of Mathematical Biology 1 Reviews in Mathematical Physics 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Automatica 1 Metron 1 Opsearch 1 International Journal of Production Research 1 Algorithmica 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 Applications of Mathematics 1 European Journal of Operational Research 1 Pattern Recognition 1 Numerical Linear Algebra with Applications 1 Theory and Applications of Categories 1 European Journal of Control 1 Mathematical Methods of Operations Research 1 Discrete Dynamics in Nature and Society 1 Probability in the Engineering and Informational Sciences 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Journal of Discrete Algorithms 1 Journal of Zhejiang University. Science A 1 Operations Research and Decisions 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 17 Fields 124 Computer science (68-XX) 26 Probability theory and stochastic processes (60-XX) 19 Systems theory; control (93-XX) 16 Biology and other natural sciences (92-XX) 14 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 4 Numerical analysis (65-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 2 Ordinary differential equations (34-XX) 2 Statistics (62-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Quantum theory (81-XX) Citations by Year