http://laas.rkbexplorer.com/id/article-60299bab852b1fe192561043b810ef6e
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1993
type: Thing
has-title: Reliability growth of fault-tolerant software
has-number: 2
has-volume: 42
has-page-numbers: 205--219

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#6
has-title: IEEE International Symposium on Industrial Electronics (ISIE'93)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-2958c05d2f91ca96f8541fd98c70a1e5
full-name: J ARLAT
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-ea25070f5a3b9b58acbb52bc6e3105ce
has-title: Fault injection into VHDL models for the validation of fault-tolerant systems
has-date: http://www.aktors.org/ontology/date#1993
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-5b5f89c26bf71f30d5e5179669a95c1d
full-name: A COSTES
type: Person
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-774f9994de756930768701caa4090701
has-title: IEEE Transactions on Reliability. Special Issue on Fault Tolerant Software
type: Publication-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-7de3200bb361cf6b6bd5d6f710740c2f
full-name: C BEOUNES
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-213015da3cb2e5f5f6f0bbc996d15ee7
full-name: S METGE
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#12
has-title: Communication invite. Workshop on Fault-Tolerant Architectures
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-9047e0cd42048607c91f8a3dff6cec37
has-title: Le Courrier du CNRS
type: Publication-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-732c63dec7bb2fdd91a7499311f8daca
full-name: J KARLSSON
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-9389eb835b58708d56d7788efdcb4eec
has-page-numbers: 234--245
type: Thing
has-date: http://www.aktors.org/ontology/date#1993
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#9
has-title: Experience in software reliability: from data collection to quantitative evaluation
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/person-0fbc9d9acfcffc456061cef888e3b2c0
full-name: D AVRESKY
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-62dccce9cb16b8f243af93d4870b311e
full-name: P SPIESSER
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-fd3c53f76d6fe9d41ca1054b5e7a994e
full-name: Y CROUZET
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/inproceedings-42be8eeea7d1e175315b0f00bb296ff9
has-title: Informatique sre de fonctionnement : des concepts aux limites
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#10
has-page-numbers: 43--54
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#5
has-title: International Conference on Fault Diagnosis (TOOLDIAG'93)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-4e6842415788e6573481e05000a795ac
has-title: Estimators for fault tolerance coverage evaluation
has-date: http://www.aktors.org/ontology/date#1993
has-page-numbers: 228--237
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#3
type: Thing

http://laas.rkbexplorer.com/id/person-b860b997b0792a900dfad971d677b762
full-name: M DACIER
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-1348ab540456459c22cd036139963dd4
has-title: Achieving satisfactory security despite insecure features
has-date: http://www.aktors.org/ontology/date#1993
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-f82ebba6ad725382a5a508db1c860dd8
type: Thing
has-date: http://www.aktors.org/ontology/date#1993
type: Technical-Report-Reference
has-title: Design guidelines of a VHDL-based simulation tool for the validation of fault tolerance

Publication export from LAAS-CNRS
creator: ReSIST Project
creator: Jean-Michel Pons
description: This ontology contains information detailing publications held by LAAS-CNRS
type: Thing
type: Ontology
imports: extension
imports: portal

http://laas.rkbexplorer.com/id/inproceedings-9ba101e73f857194367a30952e7b1204
has-title: Distributed fault tolerance - Lessons learnt from Delta-4
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#12
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-0a6b0d8c75478a0dcc921b117c5137e1
full-name: J C LAPRIE
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#11
has-title: 1er Congrs Biennal de l'AFCET
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-6276d3eb0d9216efb0ab1e360ab11f96
has-date: http://www.aktors.org/ontology/date#1993
has-page-numbers: 187--196
has-title: On the use of real-time diagnosis outcomes for recovery purposes in FMS
type: Proceedings-Paper-Reference
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#5

http://laas.rkbexplorer.com/id/tech-report-aacd255f6dc77b4d9d67d6685d05ef07
has-title: A framework for security assessment of insecure systems
has-date: http://www.aktors.org/ontology/date#1993
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-c8bc60b0332b7730efde1aeeb3cb38cf
has-title: Fault-tolerance and security by fragmentation-redundancy-scattering
has-date: http://www.aktors.org/ontology/date#1993
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-6a1444fb2e7728ccfb458c0e4d41bdf2
has-title: Functional programming for fault-tolerance in parallel computing systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#8
has-page-numbers: 38--45
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-d750df7c8996729981c4283f578d7340
has-title: Evaluation de la sret de fonctionnement des systmes informatiques tolrant les fautes : approches analytique et exprimentale
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#7
has-page-numbers: 121--131
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-47e067c08568ac879b6c6e849eb9671f
full-name: J E DOUCET
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-8de236ddceafd4d865a5c6d4f8cb3fb3
full-name: M COURVOISIER
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-2eb45333fc14b1ceeda4bf2a7e5ddb3e
full-name: A DE BONNEVAL
type: Person
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-55f3fc87e06e94004953c8b539bdd3b1
has-title: La Recherche
type: Publication-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-9cf43ffd1197c525a9daa58ff0a575ae
full-name: M RIMEN
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#4
has-title: 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS'23)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-772e5724b346ea425e8054e5d05ad151
full-name: M AGUERA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-2ecfbe4ed8d790a260cef879157184fc
has-title: Fautes accidentelles et fautes intentionnelles : une perspective
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#11
has-page-numbers: 1--10
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-eb611bca307d5d54f2f2ae423740d8de
full-name: A SUBIAS
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-f04ce8bafff65cee3fa0e76880ea2315
type: Thing
has-date: http://www.aktors.org/ontology/date#1993
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#2
has-title: SoRel: a tool for reliability growth analysis and prediction from statistical failure data
type: Proceedings-Paper-Reference
has-page-numbers: 654--659

http://laas.rkbexplorer.com/id/person-8b3d2e26509c64c18b1248ecfb7fdd16
full-name: J OHLSSON
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-3577d24311abcc63bdb173679615780d
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#6
has-page-numbers: 571--576
has-title: Control and monitoring of large discrete event systems: a generic approach
has-date: http://www.aktors.org/ontology/date#1993
type: Thing
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#10
has-title: Le Sminaire du LAAS-CNRS
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/publishers-dbabd233cf0991a7b1623f7645bbec64
has-title: Eds RHThayer, ADMcGettrick, IEEE Computer Society Press
type: Publishing-House
type: Thing

http://laas.rkbexplorer.com/id/article-92cf71a67e32bf20221d9c945c26270c
has-date: http://www.aktors.org/ontology/date#1993
has-volume: 24
has-number: 258
type: Thing
has-title: Echec la dfaillance informatique
type: Article-Reference
has-page-numbers: 1122--1125

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#9
has-title: 4th IEEE International Symposium on Software Reliability Engineering (ISSRE'93)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/article-b2baa3d56a72301267883727a7cadf22
has-title: Fault injection and dependability evaluation of fault-tolerant systems
has-volume: 42
type: Article-Reference
has-page-numbers: 913--923
has-number: 8
has-date: http://www.aktors.org/ontology/date#1993
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#3
has-title: 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS'23)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#15
has-title: 1993 IEEE International Conference on Systems, Man and Cybernetics
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/article-81cdb3546af3384e331bfa16698e34c3
has-title: Sret de fonctionnement et tolrance aux fautes
has-number: 80
has-page-numbers: 22--22
has-date: http://www.aktors.org/ontology/date#1993
type: Article-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-4ef9fedba35ff7ed5a8c737e3bb1b9d4
full-name: M KAANICHE
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-72f37fa5390a93beffb38fa6273ce77b
has-title: Statemate applied to statistical software testing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#1
has-page-numbers: 99--109
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-1b0045f75688fea11729fd1672e5ae49
full-name: H WAESELYNCK
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#8
has-title: 6th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS'93)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/book-section-613164447eef27b8ae9deb14a9de5466
has-date: http://www.aktors.org/ontology/date#1993
type: Book-Section-Reference
has-title: Software Engineering. A European Perspective
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#2
has-title: 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS'23)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-aa5cedcc61bdbcfc7acf7dbb2b089051
full-name: J C FABRE
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#14
has-title: Communication invite. 12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-c7ee096595d237a4eca1786d745ff2fe
full-name: D POWELL
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-1c5a0552e2dedd39c0cf37602b4be3b4
full-name: K KANOUN
type: Person
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-ffd67126d6ade0d75846c0172949c2fd
has-title: IEEE Transactions on Computers
type: Publication-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-6ba7384278b6368727dbfcc4f6cd77ca
full-name: E JENN
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-7b1a05876e00e0d465b40c6d016c4890
full-name: P THEVENOD-FOSSE
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-0065a417cccb78030821065369687848
full-name: E MARTINS
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-75652fa07712ff7dbf0e5690adfada20
full-name: J MOREIRA DE SOUZA
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#7
has-title: 1er Congrs Biennal de l'AFCET
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-6bfb5c1e0cbfb1b9d70ce7e11e06b1e2
has-date: http://www.aktors.org/ontology/date#1993
type: Thing
has-page-numbers: 42--47
has-title: Merging Petri nets and database models for control and monitoring requirements in FMS
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#15
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/inproceedings-962651b6d11e5b1541519cb3907b93e5
has-title: Dependability: from concepts to limits
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#14
has-page-numbers: 157--168
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-1f4b9ec34bfb0e73915b50a433233235
full-name: M COMBACAU
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#1
has-title: 1993 ACM International Symposium on Software Testing and Analysis (ISSTA)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-9b4f8fbbab4c492215cbe9bd121e2a94
full-name: C BOURDEAU
type: Person
type: Thing

http://laas.rkbexplorer.com/id/thesis-d41d8cd98f00b204e9800998ecf8427e
degree-of-thesis: PhD
has-title: Vrification de logiciels critiques par le test statistique
has-title: Mcanismes de reprise dans les systmes de commande vnements discrets
has-date: http://www.aktors.org/ontology/date#1993
type: Thing
type: Thesis-Reference

http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#13
has-title: 12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93)
has-date: http://www.aktors.org/ontology/date#1993
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-b8bcbda238d646a52f87237ebcce7251
full-name: Y DESWARTE
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-aa8ff648c7b1607e52792b64ca2b543b
full-name: S BACHMANN
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-c72a55ae6154443b0860afee279f057b
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#4
has-page-numbers: 668--673
has-title: SURF-2: a program for dependability evaluation of complex hardware and software systems
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#1993
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-9dc982a8cc29602dfb20c092aeb64bf6
has-title: Software failure data analysis of two successive generations of a switching system
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/3476d62f0e2d4229b8d7956f749e514b#13
has-page-numbers: 230--239
has-date: http://www.aktors.org/ontology/date#1993
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-5560f466f7dc37575b563b9951bf18da
full-name: L BLAIN
type: Person
type: Thing