pub-ref-d968e79e
has-title: Journal of Computer Systems Science and Engineering
type: Publication-Reference

book-section-ABDGJJKMP01-GUARDS2001-131
has-author: person-1d46d4ce
has-author: person-5baffdf4
published-by: publishers-348ba3aa
has-author: person-c808df32
has-author: person-129aabbe
has-author: person-c98fd66c
has-author: person-e06adc0a
has-author: person-1850607e
type: Book-Section-Reference
has-title: Dependability Evaluation
has-date: http://www.aktors.org/ontology/date#2001
edited-by: person-129aabbe
has-author: person-8428c9cb

person-22c64a23
full-name: L Beus-Dukic
type: Person

person-785adf9b
full-name: P Coppola
type: Person

person-3c04de0b
full-name: D Latella
type: Person

person-9422e9bd
full-name: F Grandoni
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#13
has-date: http://www.aktors.org/ontology/date#2001
has-title: WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#5
edited-by: person-0e3a3b0a
edited-by: person-cdc4e347
edited-by: person-e9e4cb92
has-date: http://www.aktors.org/ontology/date#2001
has-title: The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development
type: Conference-Proceedings-Reference

pub-ref-3858ac09
has-title: IEEE MICRO (special issue on embedded fault tolerant systems)
type: Publication-Reference

person-b5025a2e
full-name: B Attermeyer
type: Person

person-c98fd66c
full-name: K Kanoun
type: Person

publishers-a80172c7
has-title: ISBN 0-7923-7295-6, Kluwer Academic Publishers
type: Publishing-House

inproceedings-TPDGB01-DSN-147
has-page-numbers: 235--244
has-author: person-96085c36
has-author: person-d6319a99
has-title: Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#9
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#2001
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#2
type: Proceedings-Paper-Reference
has-author: person-8428c9cb

pub-ref-ffd67126
has-title: IEEE Transactions on Computers
type: Publication-Reference

person-88af6392
full-name: A Coccoli
type: Person

tech-report-FB01-CNUCEB42001017-141
has-author: person-8428c9cb
has-author: person-9706ea6d
has-date: http://www.aktors.org/ontology/date#2001
has-title: Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
type: Technical-Report-Reference

person-96085c36
full-name: F Tataranni
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#12
has-date: http://www.aktors.org/ontology/date#2001
has-title: ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing
type: Conference-Proceedings-Reference

inproceedings-BF01-DSN2001-135
has-author: person-8428c9cb
has-author: person-9706ea6d
has-date: http://www.aktors.org/ontology/date#2001
has-title: Modelling and analysis of a scheduled maintenance system: a DSPN approach
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#7
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#4
has-date: http://www.aktors.org/ontology/date#2001
has-title: Fast Abstract
type: Conference-Proceedings-Reference

article-BFLS01-IEEEMICRO-136
has-author: person-8428c9cb
has-number: 5
has-date: http://www.aktors.org/ontology/date#2001
has-title: Design Validation of Embedded Dependable Systems
has-author: person-3c04de0b
has-author: person-90c747db
has-author: person-225919aa
type: Article-Reference
has-page-numbers: 52--62
has-volume: 21
article-of-journal: journals-3858ac09

person-c808df32
full-name: M T Jarboui
type: Person

book-section-PAAABBCDFJ01-GUARDS2001-145
has-author: person-37d91966
edited-by: person-129aabbe
has-author: person-129aabbe
has-date: http://www.aktors.org/ontology/date#2001
type: Book-Section-Reference
has-author: person-22c64a23
has-author: person-c7c4ae2f
has-author: person-785adf9b
has-author: person-8428c9cb
has-author: person-1d46d4ce
has-title: Introduction and Overview
has-author: person-b5025a2e
has-author: person-5baffdf4
has-author: person-e0519f2a
has-author: person-6ff71538
published-by: publishers-348ba3aa
has-author: person-59d40448
has-author: person-90c747db

person-1d46d4ce
full-name: J Arlat
type: Person

article-MB01-TC-143
article-of-journal: journals-ffd67126
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#2001
has-number: 12
has-page-numbers: 1337--1351
has-title: Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions
has-volume: 50
type: Article-Reference

inproceedings-PDGCB01-SAFECOMP-146
has-author: person-e06adc0a
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-5cb35e01
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#10
has-page-numbers: 238--248
type: Proceedings-Paper-Reference
has-title: Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
has-author: person-d6319a99
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#3

inproceedings-CBDG01-ISORC01-138
has-author: person-8428c9cb
has-author: person-88af6392
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#2001
has-page-numbers: 209--216
has-title: Analysis and Estimation of the Quality of Service of Group Communication Protocols
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#12
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#6
type: Proceedings-Paper-Reference

Publication export from University of Pisa
creator: Emiliano Giovannetti
creator: ReSIST Project
description: This ontology contains information detailing publications held by University of Pisa
created: 2006-10-25
type: Ontology
imports: extension
imports: portal

pub-ref-a48d2b27
has-title: Journal of Computer Systems Science and Engineering, CRL Publishing
type: Publication-Reference

pub-ref-a3581401
has-title: Special Issue on High Assurance Systems of The Computer Journal
type: Publication-Reference

article-BDCLMPS01-134
has-author: person-3c04de0b
has-author: person-239fffd9
has-volume: 16
article-of-journal: journals-d968e79e
has-page-numbers: 265--275
has-number: 5
has-author: person-e8b57a3c
type: Article-Reference
has-author: person-7df75fce
has-title: Dependability Analysis in the Early Phases of UML Based System Design
has-author: person-8428c9cb
has-author: person-2b25f813
has-date: http://www.aktors.org/ontology/date#2001

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#9
has-date: http://www.aktors.org/ontology/date#2001
has-title: IEEE Int. Conference on Dependable Systems and Networks (DSN-2001)
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#11
edited-by: person-0e3a3b0a
edited-by: person-cdc4e347
edited-by: person-e9e4cb92
has-date: http://www.aktors.org/ontology/date#2001
has-title: The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development
type: Conference-Proceedings-Reference

person-0e3a3b0a
full-name: N I Da Silva
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#3
edited-by: person-bfdb1f61
has-date: http://www.aktors.org/ontology/date#2001
has-title: SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security
type: Conference-Proceedings-Reference

book-section-BCDGGPR01-GUARDS2001-133
has-author: person-3e1c85eb
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-129aabbe
has-author: person-9422e9bd
has-author: person-59d40448
has-author: person-8428c9cb
type: Book-Section-Reference
has-title: Error Processing and Fault Treatment
has-author: person-e06adc0a
edited-by: person-129aabbe
published-by: publishers-a80172c7

person-c7c4ae2f
full-name: V Thevenot
type: Person

inproceedings-TPDGBS01-WORDS2001-148
has-page-numbers: 51--58
has-date: http://www.aktors.org/ontology/date#2001
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#8
has-author: person-e06adc0a
has-author: person-8428c9cb
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#13
has-author: person-96085c36
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#1
has-author: person-d6319a99
has-author: person-225919aa
has-title: Modeling and Analysis of the Behavior of GPRS Systems

person-9706ea6d
full-name: R Filippini
type: Person

person-e8b57a3c
full-name: A Pataricza
type: Person

inproceedings-MB01b-144
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#2001
has-title: Impact of outages on GPRS service availability
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#4
type: Proceedings-Paper-Reference

person-cdc4e347
full-name: J Molero
type: Person

article-GCDGB01-CJ2001-142
has-author: person-8428c9cb
has-number: 6
has-volume: 44
article-of-journal: journals-a3581401
type: Article-Reference
has-author: person-9422e9bd
has-date: http://www.aktors.org/ontology/date#2001
has-page-numbers: 544--556
has-author: person-e06adc0a
has-title: Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications
has-author: person-3e1c85eb

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#8
has-date: http://www.aktors.org/ontology/date#2001
has-title: WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems
type: Conference-Proceedings-Reference

article-BNSM01-JCSSE-137
type: Article-Reference
has-author: person-ecdf2933
has-volume: 16
has-page-numbers: 249--261
article-of-journal: journals-a48d2b27
has-author: person-8428c9cb
has-title: Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking
has-date: http://www.aktors.org/ontology/date#2001
has-author: person-80c080d7
has-number: 4
has-author: person-225919aa

person-5baffdf4
full-name: E Jenn
type: Person

person-7df75fce
full-name: G Savoia
type: Person

publishers-348ba3aa
has-title: Kluwer Academic Publishers
type: Publishing-House

person-37d91966
full-name: A Wellings
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#10
edited-by: person-bfdb1f61
has-date: http://www.aktors.org/ontology/date#2001
has-title: SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security
type: Conference-Proceedings-Reference

person-d6319a99
full-name: S Porcarelli
type: Person

person-e0519f2a
full-name: A Amendola
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#2
has-date: http://www.aktors.org/ontology/date#2001
has-title: IEEE Int. Conference on Dependable Systems and Networks (DSN-2001)
type: Conference-Proceedings-Reference

person-e06adc0a
full-name: F Di Giandomenico
type: Person

inproceedings-CDGPB01-ISASSCI2001-139
has-author: person-d6319a99
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#11
has-author: person-5cb35e01
has-author: person-8428c9cb
has-author: person-e06adc0a
has-page-numbers: 571--576
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#2001
has-title: Towards Optimal Database Maintenance in Wireless Communication Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#5

person-6ff71538
full-name: C Dambra
type: Person

person-bfdb1f61
full-name: U Voges
type: Person

person-59d40448
full-name: C Rab¸jac
full-name: C RabÇ¸jac
type: Person

www.aktors.org
locale: en_US
type: website
title: Turning Shoe Information to Knowledge of Technology and Deals
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
site name: Aktors

person-239fffd9
full-name: I Majzik
type: Person

person-5cb35e01
full-name: A Chohra
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#7
has-date: http://www.aktors.org/ontology/date#2001
has-title: DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track)
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#1
has-date: http://www.aktors.org/ontology/date#2001
has-title: WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems
type: Conference-Proceedings-Reference

person-90c747db
full-name: A Fantechi
type: Person

person-129aabbe
full-name: D Powell
type: Person

person-ecdf2933
full-name: G Mongardi
type: Person

http://www.aktors.org/ontology/date#2001
has-pretty-name: 2001
year-of: 2001
type: Calendar-Date

person-80c080d7
full-name: M Nelli
type: Person

person-e9e4cb92
full-name: N Callaos
type: Person

http://lodlaundromat.org/.well-known/genid/c0042239ffc8f48cd4c011148454c7a6#6
has-date: http://www.aktors.org/ontology/date#2001
has-title: ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing
type: Conference-Proceedings-Reference

person-2b25f813
full-name: M Dal Cin
type: Person

person-8428c9cb
full-name: A Bondavalli
type: Person

person-1850607e
full-name: I Mura
type: Person

person-3e1c85eb
full-name: S Chiaradonna
type: Person

person-225919aa
full-name: L Simoncini
type: Person