person-b84324fe
full-name: Gy. CsertÇ­n
type: Person

tech-report-MB98b-HIDET12PDCC1v1-155
has-author: person-239fffd9
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Dependability Analysis in the HIDE Framework
type: Technical-Report-Reference

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#1
has-date: http://www.aktors.org/ontology/date#1998
has-title: 3rd IEEE High Assurance System Engineering Symposium
type: Conference-Proceedings-Reference

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

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

pub-ref-83d42018
has-title: IFAC Automatica
type: Publication-Reference

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

tech-report-BCDGG98-B4170698-48
has-author: person-3e1c85eb
has-author: person-8428c9cb
has-author: person-9422e9bd
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#1998
has-title: Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults
type: Technical-Report-Reference

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

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#6
has-date: http://www.aktors.org/ontology/date#1998
has-title: 3rd IEEE High Assurance System Engineering Symposium
type: Conference-Proceedings-Reference

person-17868d48
full-name: C Bernardeschi
type: Person

article-BBCMS98-IFACA-31
article-of-journal: journals-83d42018
has-author: person-225919aa
has-author: person-8428c9cb
has-number: 2
has-author: person-b84324fe
has-author: person-17868d48
has-page-numbers: 169--182
type: Article-Reference
has-author: person-239fffd9
has-title: Temporal Analysis of Data Flow Control Systems
has-date: http://www.aktors.org/ontology/date#1998
has-volume: 34

tech-report-PSBDG98c-CSRtn-159
has-author: person-7308a047
has-author: person-8428c9cb
has-author: person-9559b5b5
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#1998
has-title: Optimal Discrimination between Transient and Permanent Faults - Mathematical Details
type: Technical-Report-Reference

http://pisa.rkbexplorer.com/id/publications/tech-report-BM98b-GUARDSI3A4AO6016VA-158
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Users Guide for Tool-Supported Modelling of Phased-Mission Systems
type: Technical-Report-Reference

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

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#5
has-date: http://www.aktors.org/ontology/date#1998
has-title: 3rd IEEE High Assurance System Engineering Symposium (HASE'98)
type: Conference-Proceedings-Reference

tech-report-PSBDG98b-CSRtn-153
has-author: person-7308a047
has-author: person-8428c9cb
has-author: person-9559b5b5
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#1998
has-title: Bayesian Diagnosis of Transient vs Permanent Faults
type: Technical-Report-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

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

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#4
has-date: http://www.aktors.org/ontology/date#1998
has-title: 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98)
type: Conference-Proceedings-Reference

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

tech-report-BM98-GUARDSI3A4AO6015VA-156
has-author: person-1850607e
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Brief Overview of some Tools to Support the Modelling and Evaluation of Phased Mission Systems
type: Technical-Report-Reference

http://pisa.rkbexplorer.com/id/publications/tech-report-BMZT98-GUARDSI1SA4TN6010-152
has-author: person-1258caaa
has-author: person-1850607e
has-author: person-59862988
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Dependability modeling and Evaluation of Phased Mission Systems: a DSPN Approach
type: Technical-Report-Reference

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

person-9559b5b5
full-name: M Pizza
type: Person

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

inproceedings-PSBDG98-HASE-125
has-author: person-7308a047
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#1
has-title: Optimal Discrimination between Transient and Permanent Faults
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#6
has-author: person-8428c9cb
has-author: person-9559b5b5
type: Proceedings-Paper-Reference
has-author: person-e06adc0a
has-page-numbers: 214--223
has-date: http://www.aktors.org/ontology/date#1998

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#9
has-date: http://www.aktors.org/ontology/date#1998
has-title: 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98)
type: Conference-Proceedings-Reference

http://pisa.rkbexplorer.com/id/publications/tech-report-PRB98-GUARDSI1SA1TN5009VE-157
has-author: person-129aabbe
has-author: person-59d40448
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Alpha-count Mechanism and Inter-Channel Diagnosis
type: Technical-Report-Reference

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

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

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#3
has-date: http://www.aktors.org/ontology/date#1998
has-title: 3rd IEEE High Assurance System Engineering Symposium (HASE'98)
type: Conference-Proceedings-Reference

person-59d40448
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

tech-report-MB98c-HIDET12PDCC4v1-160
has-author: person-239fffd9
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: On high level dependability modeling in HIDE
type: Technical-Report-Reference

inproceedings-MB98-ISSRE-115
has-author: person-239fffd9
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-page-numbers: 29--30
has-title: Automatic Dependability Modelling of Systems Described in UML
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#2
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#8
has-date: http://www.aktors.org/ontology/date#1998
has-title: 3rd IEEE High Assurance System Engineering Symposium (HASE'98)
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/fe75be0a6a9e392b276b3c4689b7327b#2
has-date: http://www.aktors.org/ontology/date#1998
has-title: 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track
type: Conference-Proceedings-Reference

tech-report-BDG98-ErcimNews-151
has-author: person-8428c9cb
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#1998
has-title: The GUARDS Approach to Safety-Critical Real-Time Systems
type: Technical-Report-Reference

inproceedings-BDGGPR98-ISORC-64
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#9
has-page-numbers: 174--183
has-author: person-129aabbe
type: Proceedings-Paper-Reference
has-author: person-e06adc0a
has-date: http://www.aktors.org/ontology/date#1998
has-title: State Restoration in a COTS-based N-Modular Architecture
has-author: person-59d40448
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#4
has-author: person-9422e9bd
has-author: person-8428c9cb
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#7

tech-report-MCB98-PDCCTN0001B-118
has-author: person-1850607e
has-author: person-3e1c85eb
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Modelli Teorici e Pratici per la Rappresentazione del Processo di Guasto
type: Technical-Report-Reference

inproceedings-GCB98-HASE-113
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#5
has-author: person-3e1c85eb
has-author: person-8428c9cb
type: Proceedings-Paper-Reference
has-page-numbers: 224--231
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#8
has-date: http://www.aktors.org/ontology/date#1998
has-author: person-9422e9bd
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#3
has-title: A new Heuristic to Discriminate Transient from Intermittent Faults

tech-report-BCM98-PDCCTN0003A-58
has-author: person-1850607e
has-author: person-3e1c85eb
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1998
has-title: Integrazione di Tecniche di Fault-Forecasting
type: Technical-Report-Reference

tech-report-PABBCFJRW98-GUARDS-154
has-author: person-37d91966
has-author: person-5baffdf4
has-author: person-90c747db
has-author: person-1d46d4ce
has-author: person-22c64a23
type: Technical-Report-Reference
has-title: GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems
has-date: http://www.aktors.org/ontology/date#1998
has-author: person-59d40448
has-author: person-785adf9b
has-author: person-129aabbe
has-author: person-8428c9cb

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

http://lodlaundromat.org/.well-known/genid/fe75be0a6a9e392b276b3c4689b7327b#7
has-date: http://www.aktors.org/ontology/date#1998
has-title: 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98)
type: Conference-Proceedings-Reference

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

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

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