×

Franceschinis, Giuliana

Author ID: franceschinis.giuliana Recent zbMATH articles by "Franceschinis, Giuliana"
Published as: Franceschinis, Giuliana; Franceschinis, G.

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 176 times in 155 Documents Cited by Year
Modelling with generalized stochastic Petri nets. Zbl 0843.68080
Marsan, M. Ajmone; Balbo, G.; Donatelli, S.; Franceschinis, G.; Conte, G.
102
1995
A symbolic reachability graph for coloured Petri nets. Zbl 0903.68130
Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.
24
1997
Simple \(O(m \log n)\) time Markov chain lumping. Zbl 1284.68437
Valmari, Antti; Franceschinis, Giuliana
23
2010
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Zbl 0875.68663
Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.
11
1995
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. Zbl 0938.68521
Franceschinis, Giuliana; Muntz, Richard R.
5
1994
Markov decision Petri net and Markov decision well-formed net formalisms. Zbl 1226.68049
Beccuti, M.; Franceschinis, G.; Haddad, S.
3
2007
Multi-path continuous media streaming: What are the benefits? Zbl 1043.68033
Golubchik, 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.68374
Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
2
2005
Expressing and computing passage time measures of GSPN models with HASL. Zbl 1381.68193
Amparore, Elvio Gilberto; Ballarini, Paolo; Beccuti, Marco; Donatelli, Susanna; Franceschinis, Giuliana
2
2013
Parametric stochastic well-formed nets and compositional modelling. Zbl 0986.68528
Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana
1
2000
The PSR methodology: integrating hardware and software models. Zbl 1418.68007
Donatelli, Susanna; Franceschinis, Giuliana
1
1996
Expressing and computing passage time measures of GSPN models with HASL. Zbl 1381.68193
Amparore, Elvio Gilberto; Ballarini, Paolo; Beccuti, Marco; Donatelli, Susanna; Franceschinis, Giuliana
2
2013
Simple \(O(m \log n)\) time Markov chain lumping. Zbl 1284.68437
Valmari, Antti; Franceschinis, Giuliana
23
2010
Markov decision Petri net and Markov decision well-formed net formalisms. Zbl 1226.68049
Beccuti, M.; Franceschinis, G.; Haddad, S.
3
2007
A high level language for structural relations in well-formed nets. Zbl 1128.68374
Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
2
2005
Multi-path continuous media streaming: What are the benefits? Zbl 1043.68033
Golubchik, 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.68528
Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana
1
2000
A symbolic reachability graph for coloured Petri nets. Zbl 0903.68130
Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.
24
1997
The PSR methodology: integrating hardware and software models. Zbl 1418.68007
Donatelli, Susanna; Franceschinis, Giuliana
1
1996
Modelling with generalized stochastic Petri nets. Zbl 0843.68080
Marsan, 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.68663
Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.
11
1995
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. Zbl 0938.68521
Franceschinis, Giuliana; Muntz, Richard R.
5
1994
all top 5

Cited by 272 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 Capra, Lorenzo
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 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 172 more Authors
all top 5

Cited in 45 Serials

15 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

Citations by Year