Curriculum Scientifico-Formativo-Professionale

Curriculum Scientifico-Formativo-Professionale
András HORVÁTH
nato a Budapest (Ungheria) il 30 aprile 1974
codice fiscale: HRV NRS 74D30 Z134W
cittadinanza ungherese
celibe
ricercatore confermato presso il Dipartimento di Informatica dell’Università degli
Studi di Torino
recapito: Corso Svizzera 185, c.a.p. 10149, Torino, Italia
telefono: +39 011 6706803
fax: +39 011 751603
e-mail: [email protected]
url: www.di.unito.it/~horvath
Indice
0 Breve riassunto
2
1 Studi
2
2 Posizioni di lavoro
2
3 Attività di ricerca
3.1 Risultati scientifici . . . . . . . . . . . . . . . . . . . .
3.2 Premi . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Partecipazione a comitati e ad organizzazione di eventi
3.4 Attività di revisione . . . . . . . . . . . . . . . . . . .
3.5 Attività in progetti di ricerca . . . . . . . . . . . . . .
3.6 Brevi periodi di ricerca all’estero . . . . . . . . . . . .
3.7 Partecipazione a conferenze e seminari . . . . . . . . .
3.8 Scuole . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.9 Pubblicazioni . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
4
5
5
6
6
8
8
4 Attività didattica
13
5 Attività organizzativa locale
14
6 Lingue conosciute
14
1
0
Breve riassunto
András Horváth ha ottenuto, presso la Technical University of Budapest, Ungheria, la laurea in
Ingegneria Informatica in 1997 e il titolo di Dottore di Ricerca in Informatica in 2004. Dal 1
ottobre 1999 al 30 settembre 2001 è stato assegnista di ricerca presso il Dipartimento di Informatica dell’Università degli Studi di Torino. Dal aprile 2003 è ricercatore presso il Dipartimento
di Informatica dell’Università degli Studi di Torino.
La sua attività di ricerca si colloca nell’area della valutazione delle prestazioni e verifica della
correttezza di sistemi ad eventi discreti. Ha pubblicato 12 articoli in riviste di rilevante interesse
internazionale e 32 articoli in atti di convegni internazionali con revisione. Ai suoi lavori sono
state fatte circa 200 citazioni. È stato responsabile del programma scientifico di due convegni, ha
partecipato a comitati di programma e ad organizzazione di eventi. Svolge regolarmente l’attività
di revisione per riviste e convegni (circa 25 articoli all’anno). Ha partecipato a progetti europei
e nazionali.
La sua attività didattica si svolge presso l’Università degli Studi di Torino. Da cinque anni è
titolare o co-titolare di corsi di base del Corso di Studi in Informatica. Da due anni è co-titolare
di un corso di dottorato presso la Scuola di dottorato in Scienze ed Alta Tecnologia, indirizzo
Informatica.
1
Studi
• 1998-2003: corso di Dottorato di Ricerca in Informatica, della Technical University of
Budapest, Hungary, Faculty of Electrical Engineering and Informatics, presso il Department
of Telecommunications
Ottobre, 2004: discussione finale della tesi di dottorato del titolo “Approximating nonMarkovian Behaviour by Markovian Models” [PhD].
Relatore: Prof. Miklós Telek (docente della Technical University of Budapest, Hungary,
Faculty of Electrical Engineering and Informatics).
• 1992-1997: Studi universitari presso la Technical University of Budapest.
Master of Science, Engineer in Technical Informatics (Ingegneria Informatica) conseguito presso la Technical University of Budapest, Hungary, Faculty of Electrical Engineering and Informatics, Department of Telecommunications, in data 18 giugno 1997 con la
seguente votazione: eccellente (“excellent”).
Titolo della tesi di laurea: “Analysis of traffic performance measures in telecommunication
systems”.
Relatore: Prof. Miklós Telek (docente della Technical University of Budapest, Hungary,
Faculty of Electrical Engineering and Informatics).
2
Posizioni di lavoro
• Aprile, 2003: prende servizio come ricercatore presso il Dipartimento di Informatica
dell’Università degli Studi di Torino.
• Giugno, 2002: vince il concorso da ricercatore.
• Agosto, 1999: è dichiarato vincitore della selezione N. A01.020/99 per il conferimento di
un Assegno di Ricerca della durata di due anni, presso il Dipartimento di Informatica
dell’Università degli Studi di Torino. Programma di ricerca: ANALISI QUALITATIVA E
2
QUANTITATIVA DI SOFTWARE PER SISTEMI EMBEDDED (Responsabile scientifico:
Prof. Gianfranco Balbo). L’attività è cominciata il 1 ottobre 1999 e si è conclusa il 30
settembre 2001. Durante tale periodo ha soggiornato a Torino, dove ha collaborato con Prof.
Susanna Donatelli, Prof. Andrea Bobbio, Prof. Matteo Sereno, Dott. Marco Gribaudo e
Dott. Simona Bernardi; inoltre ha effettuato brevi periodi di visita alla Technical University
of Budapest per continuare la collaborazione con il Prof. Miklós Telek, supervisore della
tesi di dottorato.
3
Attività di ricerca
3.1
Risultati scientifici
L’attività di ricerca di András Horváth si colloca nell’area della valutazione delle prestazioni e verifica della correttezza di sistemi ad eventi discreti, in particolare, si concentra sulla modellazione
di comportamenti non-markoviani. Si riportano qui di seguito i principali risultati conseguiti in
tale area suddivisi per sub-attività.
• Approssimazione di comportamenti non-markoviani con modelli markoviani:
Per via della loro trattabilità analitica e numerica, i modelli markoviani, in particolare
le catene di Markov, sono ampiamente utilizzati per la valutazione delle prestazioni di
sistemi. Essi però pongono anche una forte limitazione ai comportamenti che possono
essere modellati con precisione. È possibile tuttavia approssimare comportamenti nonmarkoviani con modelli markoviani. In questo contesto l’attività di András Horváth si è
articolata nelle seguente linee di sviluppo:
– Le distribuzioni a fase vengono utilizzate per approssimare distribuzioni non-esponenziali tramite combinazione e convoluzione di distribuzioni esponenziali. In questo
ambito András Horváth ha studiato le caratteristiche delle distribuzioni a fase, ha
sviluppato algoritmi per la loro costruzione e ne ha verificato la bontà nell’approssimare
vari tipi di distribuzioni [J2, J3, J5, J7, S6, C12, C19].
– Un processo di conta (point process) non-markoviano può essere approssimato con un
processo di arrivi markoviano. Per utilizzare tale approssimazione András Horváth ha
studiato le caratteristiche dei processi di arrivi markoviani, ha sviluppato algoritmi
per la loro costruzione e ne ha verificato l’efficacia, in particolare nell’approssimare
processi di conta tipici delle reti di telecomunicazione [J1, S4, C2, C5, C13, C20].
– Le approssimazioni markoviane di comportamenti non-markoviani danno luogo a catene di Markov strutturate. András Horváth ha sviluppato delle tecniche che, sfruttando
tale struttura, permettono di analizzare modelli di grandi dimensioni [S7, C1, C8].
• Modelli ibridi: Un modello ibrido è un modello in cui lo stato è descritto da uno o
più componenti discreti e da uno o più componenti continui. Al contrario delle catene di
Markov, i modelli ibridi permettono di considerare durate non-esponenziali e di modellare
quantità continue (per esempio, la temperatura di un componente). In questo contesto
l’attività di András Horváth ha portato ai seguenti risultati:
– L’utilizzo dell’approccio a variabili supplementari per lo studio della soluzione transiente e per l’analisi della soluzione stazionaria delle reti di Petri con temporizzazione
non-esponenziale [J8, J10, S8, C16, C23, C24].
– Tecniche di soluzione per le reti di Petri fluide [J9, J12, C14, C17].
– Tecniche di soluzione per modelli con reward [J4, C9].
3
– Studio delle relazioni tra modelli ibridi e modelli stocastici non-markoviani [S3, C11].
– Ha utilizzato le reti di Petri fluide per l’analisi di sistemi ad eventi discreti [J6, S5,
C7, C10, C22].
• Model checking: Il model checking è una tecnica per la verifica automatica di sistemi ad
eventi discreti. La ricerca in questo settore solo recentemente si è concentrato su modelli
stocastici. L’attività di András Horváth in questo ambito ha prodotto i seguenti risultati:
– Tecniche per il model checking di modelli stocastici non-markoviani [S2].
– Techniche per il model checking stocastico di catene di Markov descritte da formalismi
di alto livello [S1, C6].
3.2
Premi
1. Best Paper Award of the 2nd International Conference on the Quantitative Evaluation of
Systems (QEST) 2005, Torino, Italy, Sep 2005 all’articolo A. Horváth, Steady state solution
for models with geometric and finite support activity duration.
2. Nel anno 1999 è stato premiato dalla Fondazione per l’Educazione della Telecomunicazione
e Telematica come migliore dottorando della Faculty of Electrical Engineering and Informatics, Technical University of Budapest, Hungary, per l’anno 1999. Entità del premio:
100.000 Fiorini Ungheresi (circa 800.000 Lire Italiane).
3.3
Partecipazione a comitati e ad organizzazione di eventi
Responsabile del programma scientifico
1. Program co-chair (con Katinka Wolter) della 3rd European Performance Engineering Workshop (EPEW’06), Budapest, Hungary, June 2006.
2. Program co-chair (con Alma Riska) della settima edizione della International Workshop
on Performability Modeling of Computer and Communication Systems) (PMCCS), Torino,
Italy, Sep. 2005.
Partecipazione a comitati di programma
1. Membro del comitato di programma della 5th European Performance Engineering Workshop (EPEW’08), Palma de Mallorca, Spain, Sep. 2008.
2. Membro del comitato di programma della 4th International Conference on the Quantitative
Evaluation of SysTems, (QEST’07), Edinburgh, Scotland, Sep. 2007.
3. Membro del comitato di programma della 4th European Performance Engineering Workshop (EPEW’07), Berlin, Germany, Sep. 2007.
4. Membro del comitato di programma della 3rd European Performance Engineering Workshop (EPEW’06), Budapest, Hungary, June 2006.
Organizzazione di conferenze
1. Publication co-chair (con Katinka Wolter) della 3rd European Performance Engineering
Workshop (EPEW’06), Budapest, Hungary, June 2006.
2. Local organizer della settima edizione della International Workshop on Performability
Modeling of Computer and Communication Systems) (PMCCS), Torino, Italy, Sep. 2005.
4
3.4
Attività di revisione
Revisione per riviste internazonali
Ha svolto l’attività di revisione per le seguenti riviste internazionali:
Performance Evaluation, Elsevier; Linear Algebra and Its Applications, Elsevier; IEEE Trans.
on Software Engineering, IEEE Computer Society; IEEE Trans. on Parallel and Distributed
Systems, IEEE Computer Society; Stochastic Models, Taylor & Francis; Performance Evaluation Review, ACM SIGMETRICS; Computer Networks Journal, Elsevier; Concurrency and
Computation: Practice and Experience, Wiley; Telecommunication Systems Journal, Springer;
Revisione per conferenze internazonali
Svolge l’attività di revisione regolarmente per le seguenti conferenze internazionali:
International Computer Performance & Dependability Symposium (IPDS); Dependable Systems
and Networks (DSN); IFIP Workshop on Performance Modeling and Evaluation of ATM and
IP; International Workshop on Petri Nets and Performance Models (PNPM); Joined Workshop
of Process Algebras & Performance Models and Probabilistic Methods in Verification (PAPMProbMIV); International Conference on Computer Aided Verification (CAV); International Conference on Tools and Algorithms for the Construction and Analysis od Systems (TACAS); International Conference on Matrix-Analytic Methods in Stochastic models (MAM); International
Conference on the Numerical Solution of Markov Chains (NSMC); International Conference on
Quantitative Evaluation of Systems (QEST); International Conference on Modeling Techniques
and Tools for Computer Performance Evaluation (TOOLs); International Conference on Application and Theory of Petri Nets (ATPN); Joint International Conference on Measurement and
Modeling of Computer Systems (Sigmetrics - Performance); International Workshop on Software and Performance (WOSP); Hybrid Systems: Computation and Control (HSCC); European Dependable Computing Conference (EDCC); European Performance Engineering Workshop, (EPEW); International Conference on Analytical and Stochastic Modelling Techniques
and Applications (ASMTA); International Conference on Performance Evaluation Methodologies
and Tools (ValueTools)
3.5
Attività in progetti di ricerca
1. 2006-2008:
Nell’ambito del progetto europeo STREP FP6-2004-IST-4-027513 CRUTIAL (“CRitical
UTility InfrastructurAL resilience”) ha studiato la modellazione degli attacchi ai componenti della rete elettrica di distribuzione.
2. 2006-2007:
Nell’ambito del progetto MIUR PRIN FAMOUS (“Fluid Analytical Models Of aUtonomic
Systems”) ha studiato le caratteristiche delle distribuzioni a fase.
3. 2002-2005:
Nell’ambito del progetto MIUR FIRB PERF (“Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools”) ha sviluppato tecniche per l’analisi di modelli stocastici non-markoviani.
4. 2002-2007:
Nell’ambito di un progetto tra il Department of Telecommunications, Technical University
of Budapest, Hungary e Nokia Hungary ha collaborato all’analisi di protocolli di telecomunicazione.
5
5. 2001-2003:
Nell’ambito del progetto europeo EEC-IST 25434 DepAuDE (“Dependability for embedded
Automation systems in Dynamic Environments with intra-site and inter-site distribution
aspects”) ha confrontato diversi formalismi per la rappresentazione del tempo dal punto di
vista dell’espressività e dell’utilizzabilità.
6. 2001-2002:
Nell’ambito del progetto COFIN (ora PRIN) Planet-IP (PLanning IP NETworks) ha costruito modelli markoviani che approssimano il traffico di arrivo con caratteristiche multifractal.
7. 1999-2000:
Nell’ambito del progetto europeo EEC-IST 28620 TIRAN (“TaIlorable fault toleRANce
frameworks for embedded applications) ha implementato estensioni per il tool GreatSPN
e ha analizzato modelli non-markoviani che modellano i casi di studio del progetto.
3.6
Brevi periodi di ricerca all’estero
1. Continua a collaborare con il Prof. Miklós Telek, supervisore della tesi di dottorato, (Department of Telecommunications, Technical University of Budapest, Hungary) effettuando
2-3 brevi visite ogni anno dal 2003 ad oggi.
2. Dal 1 al 30 giugno 1999 è in visita presso l’Università di Torino per collaborare con Prof.
Andrea Bobbio, Dott. Marco Gribaudo e Prof. Matteo Sereno allo sviluppo di un metodo
efficiente ed efficace per la valutazione di reti di Petri Fluide.
3. Dal 15 novembre al 15 dicembre 1998 è in visita presso l’Università di Torino per collaborare
con Prof. Andrea Bobbio, Dott. Marco Gribaudo e Prof. Matteo Sereno all’attività di
ricerca su reti di Petri Fluide.
4. Dal 1 al 30 giugno 1998 è in visita presso l’Università di Torino per collaborare con Prof.
Andrea Bobbio all’attività di ricerca su distribuzioni a fase a tempo discreto.
5. Dal 1 al 15 febbraio 1998 è in visita presso l’Università di Duke, Durham, North Carolina (USA) per collaborare con Prof. Kishor Trivedi all’attività di ricerca su modelli di
fallimento.
3.7
Partecipazione a conferenze e seminari
Seminari
1. Nel novembre 2007, ha partecipato, in qualità di relatore invitato, al seminario “Numerical
Methods for Structured Markov Chains” a Dagstuhl, Germania, dove ha tenuto una presentazione intitolato “On the Properties of Moments of Matrix Exponential Distributions
and Matrix Exponential Processes” pubblicata in [D2].
2. Nel marzo 2007, durante un incontro di ricerca al Centre for Computational and Systems
Biology (CoSBi), a Trento, ha tenuto due seminari intitolati “Non-Markovian Stochastic
Petri Nets” e “Model Checking Continuous Time Markov Chains”.
3. Nell’ambito del progetto Crutial, durante un incontro fra i partecipanti al progetto, tenutosi
a Torino nel febbraio 2007, ha tenuto un seminario intitolato “Hybrid models”.
6
4. Nel giugno 2006, durante un breve visita al Department of Computing Science, University
of Glasgow, ha tenuto un seminario intitolato “Approximationg non-Markovian Behavior
by Markovian Models”.
5. Nell’ ambito del progetto MIUR FIRP PERF, durante un incontro a Roma nel maggio
2003, ha tenuto un seminario intitolato “Formalismi e tecniche di soluzione”.
6. Nell’ambito del progetto Planet-IP, durante un incontro fra i partecipanti al progetto, tenutosi a Torino nel giugno 2001, ha tenuto un seminario intitolato “Modeling Multi-Fractal
Behaviour by Markovian Models”.
7. Nell’ambito del progetto Planet-IP, durante un incontro a Pisa nel maggio 2001, ha tenuto
un seminario intitolato “Discrete Phase Type Distributions”.
8. Nell’ambito del progetto DepAuDe, durante un incontro fra i partecipanti al progetto,
tenutosi a Ferrara nell’aprile 2001, ha tenuto un seminario intitolato “Overview of (non)Stochastic Modeling Formalisms”.
9. Nel giugno 1998 ha tenuto un seminario intitolato “Supplementary Variable Approach
Applied to the Transient Analysis of Stochastic Petri Nets” presso il dipartimento di
Informatica dell’Università di Torino.
Presentazione di tutorial
1. IFIP WG 7.3 International Symposium on Computer Performance Modeling, Measurement
and Evaluation (PERFORMANCE 2002), Rome, Italy, Sep 2002. Ha presentato, insieme
a Miklós Telek, il tutorial della durata di due ore pubblicato in [S4].
Presentazione di articoli
1. 6th International Conference on Matrix-Analytic Methods in Stochastic models, Beijing,
China, June 2008. Ha presentato il lavoro [J1].
2. International IEEE Conference On Biomedical Engineering And Informatics (BMEI 2008),
Sanya, China, May 2008. Ha presentato il lavoro [C4].
3. International Workshop on Tools for solving Structured Markov Chains (SMCtools’07),
Nantes, France, Oct 2007. Ha presentato il lavoro [C5].
4. 9th International IEEE Conference on Intelligent Transportation Systems (ITSC), Toronto,
Canada, Sep. 2006. Ha presentato il lavoro [C7].
5. 2nd International Conference on the Quantitative Evaluation of Systems (QEST) 2005,
Torino, Italy, Sep. 2005. Ha presentato il lavoro [C8].
6. 5th International Conference on Matrix-Analytic Methods in Stochastic models, Pisa, Italy,
June 2005. Ha presentato il lavoro [J3].
7. 4. Int. Workshop on Automated Verification of Critical Systems (AVoCS’04), London
(UK), Sep 2004. Ha presentato il lavoro [S2].
8. Workshop on Stochastic Petri nets and related formalisms, Eindhoven, The Netherlands,
June 2004. Ha presentato il lavoro [C11].
7
9. NSMC ’03 (International Conference on the Numerical Solution of Markov Chains), Urbana,
Illinois, USA, Sep. 2003. Ha presentato il lavoro [C9].
10. 1st Multidisciplinary Int. Symp. on Positive Systems: Theory and Applications (POSTA’03), Rome, Italy, Aug. 2003. Ha presentato il lavoro [S3]
11. 4th International Conference on Matrix-Analytic Methods in Stochastic models, Adelaide,
Australia, July 2002. Ha presentato il lavoro [C14].
12. 5th International Workshop on Performability Modeling of Computer and Communication
System, Erlangen, Germany, Sep 2001. Ha presentato il lavoro [C15].
13. 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, Sep
2001. Ha presentato il lavoro [C16].
14. 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, Sep
2001. Ha presentato il lavoro [C17].
15. 2nd Workshop on Models for Time-Critical Systems, Aalborg, Denmark, Aug. 2001. Ha
presentato il lavoro [S7].
16. 8th IFIP Workshop on Performance Modeling and Evaluation of ATM and IP, Ilkley,
England, June 2000. Ha presentato il lavoro [C20].
17. 3rd International Computer Performance & Dependability Symposium (IPDS ’98), Durham, North Carolina, USA, Sep 1998. Ha presentato il lavoro [C23].
Partecipazione a conferenze senza presentazione
1. 3rd International Conference on the Quantitative Evaluation of Systems (QEST), Riversida,
California, USA, Sept 2006.
2. 3rd European Performance Engineering Workshop, (EPEW’06), Budapest, Hungary, June
2006.
3. 1st International Conference on the Quantitative Evaluation of Systems (QEST) 2004,
Twente, The Netherlands, Sep 2004.
4. 3rd International Conference on Matrix-Analytic Methods in Stochastic models, Leuven,
Belgium, June 2000.
5. 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, Sep
1999.
3.8
Scuole
1. Nel luglio 2001 ha partecipato alla “1st International School on Formal Methods for the
Design of Computer, Communication and Software Systems: Process Algebras a Bertinoro,
Italia.
3.9
Pubblicazioni
Per ogni articolo pubblicato in rivista viene riportato l’impact factor ISI. Per gli articolo antecedente al 2007, nei casi più significativi, viene riportato il numero di citazioni escludendo le
citazioni da parte dei coautore.
8
Curatele
[E1] A. Horváth and M. Telek, editors. Lecture Notes in Computer Science, Springer, 4054,
Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, (EPEW’06), 2006.
[E2] A. Horváth and A. Riska, editors. Proc. of 7th International Workshop on Performability
Modeling of Computer and Communication Systems (PMCCS7), 2005.
Articoli su riviste internazionali
[J1] L. Bodrog, A. Horváth, and M. Telek. Moment characterization of matrix exponential and
Markovian arrival processes. Annals of Operations Research, Springer, 160:51–68, 2008.
[ISI: 0.544 (2007)]
[J2] A. Horváth and M. Telek. Matching more than three moments with acyclic phase type
distributions. Stochastic Models, Taylor & Francis, 23(2):167–194, 2007. [ISI: 0.603 (2007)]
[J3] A. Bobbio, A. Horváth, and M. Telek. Matching three moments with minimal acyclic phase
type distributions. Stochastic Models, Taylor & Francis, 21:303–326, 2005. [ISI: 0.771
(2005)][10 citazioni]
[J4] M. Telek, A. Horváth, and G. Horváth. Analysis of inhomogeneous Markov reward models.
Linear Algebra and Its Applications, Elsevier, 386:383–405, 2004. [ISI: 0.501 (2004)]
[J5] A. Bobbio, A. Horváth, and M. Telek. The scale factor: A new degree of freedom in phase
type approximation. Performance Evaluation, Elsevier, 56(1–4):121–144, 2004. [ISI: 0.648
(2004)][14 citazioni]
[J6] M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, and M. Minichino. Fluid
Petri nets and hybrid model-checking: A comparative case study. Reliability Engineering &
System Safety, Elsevier, 81(3):239–257, 2003. [ISI: 0.741 (2003)]
[J7] A. Bobbio, A. Horváth, M. Scarpa, and M. Telek. Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm. Performance Evaluation, Elsevier,
54(1):1–32, 2003. [ISI: 0.770 (2003)][30 citazioni]
[J8] A. Horváth and M. Telek. Time domain analysis of non-markovian stochastic Petri nets
with PRI transitions. IEEE Transactions On Software Engineering, IEEE Computer Society,
28(20):933–943, 2002. [ISI: 1.170 (2002)]
[J9] M. Gribaudo and A. Horváth. Fluid stochastic Petri nets augmented with flush-out arcs: A
transient analysis technique. IEEE Transactions On Software Engineering, IEEE Computer
Society, 28(10):944–955, 2002. [ISI: 1.170 (2002)]
[J10] M. Telek and A. Horváth. Transient analysis of age-MRSPNs by the method supplementary
variables. Performance Evaluation, Elsevier, 45(4):205–221, 2001. [ISI: 0.629 (2001)]
[J11] S. Bernardi, S. Donatelli, and A. Horváth. Implementing compositionality for stochastic Petri nets. International Journal on Software Tools for Technology Transfer, Springer,
3(4):417–430, 2001. [ISI: 0.232 (2001)][5 citazioni]
[J12] M. Gribaudo, M. Sereno, A. Horváth, and A. Bobbio. Fluid stochastic Petri nets augmented
with flush-out arcs: Modelling and analysis. Discrete Event Dynamic Systems, Kluwer,
11:97–111, 2001. [ISI: 0.552 (2001)][11 citazioni]
9
Articoli in LNCS, LNCIS e ENTCS
[S1] P. Ballarini and A. Horváth. Compositional model checking of product-form CTMCs. In
Proc. of 7th International Workshop on Automated Verification of Critical Systems (AVOCS’07), 16 pages, Oxford, UK, Sept 2007. To appear in Electronic Notes in Theoretical
Computer Science, Elsevier.
[S2] M. Gribaudo and A. Horváth. Model checking functional and performability properties of
stochastic fluid models. In Proc. of 4. Int. Workshop on Automated Verification of Critical
Systems (AVoCS’04), volume 128(6) of Electronic Notes in Theoretical Computer Science,
Elsevier, pages 295–310, London, UK, Sept 2004.
[S3] M. Gribaudo and A. Horváth. Modeling hybrid positive systems with hybrid Petri nets.
In Proc. of 1st Multidisciplinary Int. Symp. on Positive Systems: Theory and Applications
(POSTA’03), volume 294 of Lecture Notes in Control and Information Sciences, Springer,
pages 71–78, Rome, Italy, Aug. 2003.
[S4] A. Horváth and M. Telek. Markovian modeling of real data traffic: Heuristic phase type
and map fitting of heavy tailed and fractal like samples. In Tutorial of the IFIP WG 7.3
International Symposium on Computer Performance Modeling, Measurement and Evaluation
(PERFORMANCE 2002), volume 2459 of Lecture Notes in Computer Science, Springer,
pages 405–434, Rome, Italy, Sep 2002. [10 citazioni]
[S5] M. Gribaudo, A. Horváth, A. Bobbio, E. Tronci, E. Ciancamerla, and M. Minichino.
Model-checking based on fluid Petri nets for the temperature control system of the icaro
co-generative plant. In Proc. The 21st International Conference on Computer Safety, Reliabiltiy and Security (SAFECOMP 2002), volume 2434 of Lecture Notes in Computer Science,
Springer, pages 273–283, Catania, Italy, Sep 2002.
[S6] A. Horváth and M. Telek. Phfit: A general phase-type fitting tool. In Proc. of 12th Performance TOOLS, volume 2324 of Lecture Notes in Computer Science, Springer, pages 1–14,
Imperial College, London, Apr 2002. [20 citazioni]
[S7] A. Bobbio and A. Horváth. Petri nets with discrete phase type timing: A bridge between
stochastic and functional analysis. In Proc. of 2nd Workshop on Models for Time-Critical
Systems, volume 52 No. 3 of Electronic Notes in Theoretical Computer Science, Elsevier,
pages 209–226, Aalborg, Denmark, Aug 2001.
[S8] A. Horváth, A. Puliafito, M. Scarpa, and M. Telek. Analysis and evaluation of nonMarkovian stochastic Petri nets. In Proc. of 11th Performance TOOLS, volume 1786 of
Lecture Notes in Computer Science, Springer, pages 171–187, Schaumburg, IL, USA, March
2000. Springer.
Conferenze e workshop internazionali con revisione
[C1] P. Ballarini and A. Horváth. Memory efficient calculation of path probabilities in large
structured markov chains. In Proc. of 5nd International Conference on the Quantitative
Evaluation of Systems (QEST), 10 pages, St Malo, France, Sept 2008.
[C2] A. Horváth, G. Horváth, and M. Telek. A joint moments based analysis of networks of
map/map/1 queues. In Proc. of 5nd International Conference on the Quantitative Evaluation
of Systems (QEST), 10 pages, St Malo, France, Sept 2008.
10
[C3] M. Baldoni, C. Baroglio, A. Horváth, V. Patti, F. Portis, M. Avilia, and P. Grillo. Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional
concepts. In Proc. of Formal Ontologies Meet Industry (FOMI 2008), pages 132–143, Torino,
Italy, June 2008.
[C4] A. Horváth and D. Manini. Parameter estimation of kinetic rates in stochastic reaction
networks by the em method. In Proc. of International IEEE Conference On Biomedical
Engineering And Informatics (BMEI 2008), pages 713–717, Sanya, China, May 2008.
[C5] A. Horváth and M. Telek. On the properties of acyclic bilateral phase type distributions.
In Proc. of International Workshop on Tools for solving Structured Markov Chains (SMCtools’07), 8 pages, Nantes, France, Oct 2007.
[C6] D. Cerotti, S. Donatelli, A. Horváth, and J. Sproston. CSL model checking for generalized
stochastic Petri nets. In Proc. of 3rd International Conference on the Quantitative Evaluation
of Systems (QEST), pages 199–210, Riversida, California, USA, Sept 2006.
[C7] A. Bobbio, M. Gribaudo, and A. Horváth. Modelling a car safety controller in road tunnels using hybrid Petri nets. In Proc. of 9th International IEEE Conference on Intelligent
Transportation Systems (ITSC), pages 1436–1441, Toronto, Canada, Sep. 2006.
[C8] A. Horváth. Steady state solution for models with geometric and finite support activity duration. In Proc. of 2nd International Conference on the Quantitative Evaluation of Systems
(QEST), pages 114–123, Torino, Italy, Sept 2005.
[C9] M. Telek, A. Horváth, and G. Horváth. Analysis of inhomogeneous Markov reward models.
In NSMC ’03 (International Conference on the Numerical Solution of Markov Chains), pages
305–322, Urbana, Illinois, USA, Sep. 2003.
[C10] A. Bobbio, M. Gribaudo, and A. Horváth. Modeling a car safety controller using fluid
stochastic Petri nets. In Proc. of the 6th International Workshop on Performability Modeling
of Computer and Communication System, 4 pages, Monticello, Illinois, USA, Sep. 2003.
Extended abstract.
[C11] M. Gribaudo and A. Horváth. Translating hybrid Petri nets into hybrid automata. In
Proceedings of Workshop on Stochastic Petri nets and related formalisms, pages 92–102,
Eindhoven, The Netherlands, June 2003.
[C12] A. Bobbio, A. Horváth, and M. Telek. The scale factor: A new degree of freedom in phase
type approximation. In Proc. of 3rd International Performance & Dependability Symposium
(IPDS ’02), pages 627–636, Washington, DC, USA, June 2002.
[C13] A. Horváth and M. Telek. A Markovian point process exhibiting multifractal behaviour
and its application to traffic modeling. In Proc. of 4th International Conference on MatrixAnalytic Methods in Stochastic models, pages 183–208, Adelaide, Australia, July 2002. [16
citazioni]
[C14] A. Horváth and M. Gribaudo. Matrix geometric solution of fluid stochastic Petri nets.
In Proc. of 4th International Conference on Matrix-Analytic Methods in Stochastic models,
pages 163–182, Adelaide, Australia, July 2002.
[C15] A. Bobbio and A. Horváth. Model checking time Petri nets using NuSMV. In Proc. of the
5th International Workshop on Performability Modeling of Computer and Communication
System, 5 pages, Erlangen, Germany, Sep. 2001. Extended abstract. [5 citazioni]
11
[C16] A. Horváth and M. Telek. Time domain analysis of NMSPNs with PRI transitions. In Proc.
of 9th Intern. Workshop on Petri Nets and Performance Models, pages 155–164, Aachen,
Germany, Sep. 2001. IEEE-CS Press.
[C17] M. Gribaudo and A. Horváth. Fluid stochastic Petri nets augmented with flush-out arcs:
A transient analysis technique. In Proc. of 9th Intern. Workshop on Petri Nets and Performance Models, pages 145–154, Aachen, Germany, Sep. 2001. IEEE-CS Press.
[C18] S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, R. Gaeta, M. Gribaudo, and
A. Horváth. GreatSPN in the new millenium. In Tool Session of 9th Intern. Workshop on
Petri Nets and Performance Models, 7 pages, Aachen, Germany, Sep. 2001.
[C19] A. Horváth and M. Telek. Approximating heavy tailed behavior with phase type distributions. In Proc. of 3rd International Conference on Matrix-Analytic Methods in Stochastic
models, pages 191–214, Leuven, Belgium, June 2000. [30 citazioni]
[C20] A. Horváth, G. I. Rózsa, and M. Telek. A MAP fitting method to approximate real traffic
behavior. In Proc. of 8th IFIP Workshop on Performance Modeling and Evaluation of ATM
and IP, pages pages (33)1–12, Ilkley, England, June 2000. [9 citazioni]
[C21] S. Bernardi, S. Donatelli, and A. Horváth. Compositionality in the GreatSPN tool and its
application to the modelling of industrial applications. In Proc. of Workshop on the practical
use of High Level Petri Nets, pages 127–145, Aarhus, Denmark, June 2000. [10 citazioni]
[C22] A. Bobbio, S. Garg, M. Gribaudo, A. Horváth, M. Sereno, and M. Telek. Modeling software
systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets.
In Proc. of 8th Intern. Workshop on Petri Nets and Performance Models, pages 82–91,
Zaragoza, Spain, Sep. 1999. IEEE-CS Press. [15 citazioni]
[C23] M. Telek and A. Horváth. Supplementary variable approach applied to the transient analysis of age-MRSPNs. In Proc. of 3rd International Computer Performance & Dependability
Symposium (IPDS ’98), pages 44–51, Durham, North Carolina, USA, Sep. 1998. IEEE Comp.
Soc. Press.
[C24] A. Horváth, A. Puliafito, M. Scarpa, M. Telek, and O. Tomarchio. Design and implementation of a WEB-based non-Markovian stochastic Petri net tool. In U. Gudukbay, T. Dayar,
A. Gursoy, and E. Gelenbe, editors, Advances in Computer and Information Sciences, Proc.
of ISCIS’98, Concurrent System Engineering Series, pages 101–109. IOS Press, Ohmsha,
Antalya, Turkey, 1998.
Conferenze e workshop internazionali senza revisione
[D1] L. Bodrog, A. Heindl, A. Horváth, G. Horváth and M. Telek. Current results and open
questions on PH and MAP characterization. In D. Bini, B. Meini, V. Ramaswami, M.
Remiche, P. Taylor, editors, Numerical Methods for Structured Markov Chains, Dagstuhl
Seminar 07461, Germany, Nov. 2007.
[D2] L. Bodrog, A. Horváth and M. Telek. On the Properties of Moments of Matrix Exponential
Distributions and Matrix Exponential Processes. In D. Bini, B. Meini, V. Ramaswami, M.
Remiche, P. Taylor, editors, Numerical Methods for Structured Markov Chains, Dagstuhl
Seminar 07461, Germany, Nov. 2007.
12
PhD Dissertation
[PhD] A. Horváth. Approximating non-Markovian Behavior by Markovian Models. Department
of Telecommunications, Budapest University of Technology and Economics, 2003.
Articoli su riviste in ungherese
[U1] Arató D., Bajor P., Horváth A. Reliability Analysis of Telecommunication Networks (titolo
tradotto), Magyar Távközlés, Vol. VIII, No. 1., pp. 9-14., 1997. January, in ungherese.
Rapporti Tecnici
[R1] Arató D., Bajor P., Horváth A., Jakab T., Jereb L., Telek M. Reliability Analysis of
Telecommunication Networks (titolo tradotto), TUB-DT, report for PKI -Research Institute
of Hungarian PTT, 1996. December, in ungherese.
[R2] Dallos Gy., Horváth A., Mihály Zs. Media Access Controll, Traffic Characteristics and
Traffic Management in Cable Modem Systems (titolo tradotto), TUB-DT, report for PKI
-Research Institute of Hungarian PTT, 1998. December, in ungherese.
4
Attività didattica
Presso l’Università degli Studi di Torino:
• per la Scuola di dottorato in Scienze ed Alta Tecnologia, indirizzo Informatica
– 2007-2008,
2006-2007: è cotitolare del corso “Processi stocastici” (12 ore di lezioni in aula)
• Corso di Studi in Informatica all’Università degli Studi di Torino:
– 2007-2008,
2006-2007,
2005-2006: è cotitolare del corso “Algoritmi e Laboratorio”, secondo anno, indirizzo
Sistemi e Reti (22 ore di lezioni in aula, 50 ore in laboratorio)
– 2004-2005,
2003-2004: tiene il laboratorio del corso “Programmazione II”, primo anno, in cui
insegna il linguaggio di programmazione Java (72 ore in laboratorio) laboratorio di
Java
– 2003-2004,
2002-2003: è titolare del corso “Laboratorio di linguaggi”, primo anno, in cui insegna
il linguaggio di programmazione C (22 ore di lezioni in aula, 50 ore in laboratorio)
• relatore di cinque tesi di laurea:
– Luigi Montinaro: “Model checking di reti di Petri stocastiche”
– Tatiana Cortelazzi: “Soluzione di reti di Petri stocastiche temporizzate tramite distribuzioni a fase”
– Luigi Tuninetti: “Implementazione di un simulatore di code”
– Alberto Gallo: “Realizzazione di un tool statistico per l’analisi di Web-Servers”
13
– Fabio Bonsignore: “Progettazione e implementazione di un algoritmo PageRank per
Arsmeteo”
• contro-relatore di una tesi di laurea:
– Luca Cacchiani: “Simulation and Analysis of Chemical Reactions using Stochastic
Differential Equations”
Presso la Faculty of Electrical Engineering and Informatics, Technical University of Budapest nel
Corso di Studi in Informatica:
• 1998-1999: ciclo di esercitazioni in laboratorio sul linguaggio C per studenti del primo anno
(30 ore in laborarotorio)
• 1998-1999,
1999-2000: presentazione di uno strumento software per l’analisi dell’affidabilità di sistemi
ridondanti (RELECT) per gli studenti del quarto anno (20 ore in laboratorio)
5
Attività organizzativa locale
• Membro della Commissione Accreditamento del Consiglio di Corso di Studi in Informatica
in cui ha lavorato per ottenere l’accreditamento del Corso di Studi in Informatica raggiunto
nel 2004.
6
Lingue conosciute
• madrelingua ungherese
• ottima conoscenza della lingua italiana
• buona conoscenza della lingua inglese
14