person-f3081418
full-name: D Viva
type: Person

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#12
has-date: http://www.aktors.org/ontology/date#1999
has-title: First Int. Workshop on Networked Group Communication, NGC '99
type: Conference-Proceedings-Reference

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

article-BDGM99-RTSJ-67
has-page-numbers: 5--30
article-of-journal: journals-085d20db
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-volume: 16
has-author: person-e06adc0a
type: Article-Reference
has-title: An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems
has-number: 1
has-author: person-1850607e

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

pub-ref-48c545f4
has-title: STVR - Software Testing, Verification and Reliability, John Wiley and Sons
type: Publication-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#9
has-date: http://www.aktors.org/ontology/date#1999
has-title: WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems
type: Conference-Proceedings-Reference

person-59862988
full-name: X Zang
type: Person

inproceedings-MBZT99-DCCA7-117
has-author: person-1258caaa
has-author: person-1850607e
has-author: person-59862988
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 319--337
has-title: Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#1
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#3
has-date: http://www.aktors.org/ontology/date#1999
has-title: First Int. Workshop on Networked Group Communication, NGC '99
type: Conference-Proceedings-Reference

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

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#11
has-date: http://www.aktors.org/ontology/date#1999
has-title: 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track
type: Conference-Proceedings-Reference

tech-report-VBC99-PDCCTN0002B-128
has-author: person-3e1c85eb
has-author: person-8428c9cb
has-author: person-f3081418
has-date: http://www.aktors.org/ontology/date#1999
has-title: Sperimentazione di Diverse Metodologie e Strumenti per la Modellizzazione
type: Technical-Report-Reference

article-BCDGS99-STVR-56
type: Article-Reference
article-of-journal: journals-48c545f4
has-date: http://www.aktors.org/ontology/date#1999
has-author: person-8428c9cb
has-volume: 9
has-author: person-7308a047
has-number: 3
has-title: A Contribution to the Evaluation of the reliability of Iterative-Execution Software
has-page-numbers: 145--166
has-author: person-e06adc0a
has-author: person-3e1c85eb

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

inproceedings-BMM99b-HASE-78
has-author: person-1850607e
has-author: person-239fffd9
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 64--71
has-title: Automatic Dependability Analysis for Supporting Design Decisions in UML
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#5
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#8
has-date: http://www.aktors.org/ontology/date#1999
has-title: IDPT '99 4th, Int. Conference on Integrated Design and Process Technology
type: Conference-Proceedings-Reference

inproceedings-CSB99-NGC-108
has-author: person-225919aa
has-author: person-8428c9cb
has-author: person-88af6392
has-date: http://www.aktors.org/ontology/date#1999
has-title: Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#12
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#3
type: Proceedings-Paper-Reference

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

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#2
has-date: http://www.aktors.org/ontology/date#1999
has-title: 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track
type: Conference-Proceedings-Reference

pub-ref-140fbe88
has-title: IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems
type: Publication-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

tech-report-VBC99b-PDCCTN0004B-129
has-author: person-3e1c85eb
has-author: person-8428c9cb
has-author: person-f3081418
has-date: http://www.aktors.org/ontology/date#1999
has-title: Sviluppo di un Caso di Studio
type: Technical-Report-Reference

inproceedings-DGGBM99-FTCS-112
has-author: person-8428c9cb
type: Proceedings-Paper-Reference
has-author: person-1850607e
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#2
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#10
has-title: Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults
has-date: http://www.aktors.org/ontology/date#1999
has-author: person-9422e9bd
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#11
has-author: person-e06adc0a

inproceedings-BDCLP99-WORDS-59
has-author: person-2b25f813
has-author: person-3c04de0b
has-author: person-8428c9cb
has-author: person-e8b57a3c
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 87--92
has-title: High-level Integrated Design Environment for Dependability (HIDE)
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#9
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#10
has-date: http://www.aktors.org/ontology/date#1999
has-title: 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#7
has-date: http://www.aktors.org/ontology/date#1999
has-title: 10th European Workshop on Dependable Computing (EWDC-10)
type: Conference-Proceedings-Reference

person-1258caaa
full-name: K S Trivedi
type: Person

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#1
has-date: http://www.aktors.org/ontology/date#1999
has-title: IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications
type: Conference-Proceedings-Reference

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

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

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

tech-report-MB99b-B41999009-150
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-title: Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions
type: Technical-Report-Reference

person-7308a047
full-name: L Strigini
type: Person

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#6
has-date: http://www.aktors.org/ontology/date#1999
has-title: 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99)
type: Conference-Proceedings-Reference

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

pub-ref-4550a120
has-title: IEEE Transactions on Reliability
type: Publication-Reference

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

inproceedings-BM99-EWDC10-75
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 91--95
has-title: High-Level Petri Net Modelling of Phased Mission Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#7
type: Proceedings-Paper-Reference

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

book-section-BFLS99-CSDA-70
has-author: person-225919aa
has-author: person-3c04de0b
has-author: person-8428c9cb
has-author: person-90c747db
has-date: http://www.aktors.org/ontology/date#1999
has-title: Towards a Discipline of System Engineering: Validation of Dependable Systems
type: Book-Section-Reference

inproceedings-BMM99-ISORC-77
has-author: person-1850607e
has-author: person-239fffd9
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 139--144
has-title: Automated Dependability Analysis of UML Designs
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#6
type: Proceedings-Paper-Reference

inproceedings-BMT99-EDCC3-83
has-author: person-1258caaa
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 7--23
has-title: Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#4
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#5
has-date: http://www.aktors.org/ontology/date#1999
has-title: 4th IEEE High Assurance System Engineering Symposium (HASE99)
type: Conference-Proceedings-Reference

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

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

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#13
has-date: http://www.aktors.org/ontology/date#1999
has-title: IDPT '99 4th, Int. Conference on Integrated Design and Process Technology
type: Conference-Proceedings-Reference

inproceedings-BFLS99b-IDPT-71
has-author: person-225919aa
has-author: person-3c04de0b
has-author: person-8428c9cb
has-author: person-90c747db
has-date: http://www.aktors.org/ontology/date#1999
has-title: Integrated Validation of Dependable Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#13
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#8
type: Proceedings-Paper-Reference

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

article-PABBCFJRW99-TPDS-122
has-date: http://www.aktors.org/ontology/date#1999
article-of-journal: journals-140fbe88
has-author: person-22c64a23
has-author: person-785adf9b
has-author: person-59d40448
type: Article-Reference
has-volume: 10
has-author: person-1d46d4ce
has-number: 6
has-page-numbers: 580--599
has-author: person-5baffdf4
has-author: person-90c747db
has-title: GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems
has-author: person-37d91966
has-author: person-129aabbe
has-author: person-8428c9cb

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

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

article-MB99-TR-116
article-of-journal: journals-4550a120
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1999
has-number: 4
has-page-numbers: 360--368
has-title: Hierarchical Modelling and Evaluation of Phased-Mission Systems
has-volume: 48
type: Article-Reference

http://lodlaundromat.org/.well-known/genid/e549c758d509cef17b6f07f994d0818c#4
has-date: http://www.aktors.org/ontology/date#1999
has-title: EDCC-3 European Dependable Computing Conference (also LNCS N 1667)
type: Conference-Proceedings-Reference

pub-ref-085d20db
has-title: Real-Time Systems Journal, Kluwer Academic Publishers
type: Publication-Reference

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

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