http://laas.rkbexplorer.com/id/tech-report-60684203a735cd13a0a3f4e8014759e6
has-date: http://www.aktors.org/ontology/date#1990
has-title: Logique tout optique par interaction d'impulsions picosecondes dans les semiconducteurs
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/person-a920c142ea5f90f8f18a578d81f47372
full-name: B SAINT CRICQ
type: Person

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

http://laas.rkbexplorer.com/id/tech-report-0962c57fd469f6d26babd58e145bb96e
has-date: http://www.aktors.org/ontology/date#1990
has-title: Delta-4 Architecture Guide: Overview of the Architecture
type: Technical-Report-Reference

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

http://laas.rkbexplorer.com/id/tech-report-83475f15e7ce1826b9bef1c651b8d321
has-date: http://www.aktors.org/ontology/date#1990
has-title: Reliability growth of fault-tolerant software
type: Technical-Report-Reference

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#6
has-date: http://www.aktors.org/ontology/date#1990
has-title: Basic Research Lectures. ESPRIT Conference 90 (Extended Summary)
type: Conference-Proceedings-Reference

http://laas.rkbexplorer.com/id/tech-report-bfa4d22b0378586bbcb374b5bc767074
has-date: http://www.aktors.org/ontology/date#1990
has-title: Dependability modeling and evaluation of software fault tolerance: recovery blocks, N-version programming and N-self-checking programming
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/person-59a21a3c2b513a4be3756e7cb6c0f3f2
full-name: C RODRIGUEZ
type: Person

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

http://laas.rkbexplorer.com/id/article-cb13b71d83701b001f7d805be49d1d09
type: Article-Reference
has-volume: 39
has-date: http://www.aktors.org/ontology/date#1990
has-number: 3
has-title: Software reliability evaluation of the TROPICO-R switching system
has-page-numbers: 369--379

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

http://laas.rkbexplorer.com/id/inproceedings-076e421d2bc2b0ab8167ccb6022f006b
has-date: http://www.aktors.org/ontology/date#1990
has-page-numbers: 355--370
has-title: Intrusion-tolerant security servers for Delta-4
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#4
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/person-daa6428c7057d447733a170a69468ebc
full-name: M CHEREQUE
type: Person

http://laas.rkbexplorer.com/id/tech-report-122eb0e7fa3361a91376880c9823ff96
has-date: http://www.aktors.org/ontology/date#1990
has-title: Analyse de mcanismes de protection/chiffrement et de tolrance aux fautes dans une architecture rpartie ouverte
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/tech-report-e4f518a8650b805c38b49806c368c098
has-date: http://www.aktors.org/ontology/date#1990
has-title: Analyse et valuation de la fiabilit du logiciel du TROPICO-R 4096
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/person-981c40eb446e703624edcd7c78f1b527
full-name: S GRAF
type: Person

http://laas.rkbexplorer.com/id/person-92158ec2be42c72c2634d29a130aeb66
full-name: P VERISSIMO
type: Person

http://laas.rkbexplorer.com/id/pub-ref-1a092715222b5601f40528a5b47b201a
has-title: Annales des Tlcommunications
type: Publication-Reference

http://laas.rkbexplorer.com/id/person-344e9a48d1d26e7935e8b9048fdf71ed
full-name: J VOIRON
type: Person

http://laas.rkbexplorer.com/id/tech-report-57ca41e72815da74d1e3170f5135958c
has-date: http://www.aktors.org/ontology/date#1990
has-title: Multi-level failure processing in FMS real-time control
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/article-932b8465689c6e056299cfe7477ef3c2
has-date: http://www.aktors.org/ontology/date#1990
has-title: Predictably dependable computing systems: an ESPRIT basic research
has-volume: 40
type: Article-Reference

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

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#5
has-date: http://www.aktors.org/ontology/date#1990
has-title: 20th IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-20)
type: Conference-Proceedings-Reference

http://laas.rkbexplorer.com/id/person-a9072e034280a277da67ea9e0e2d382a
full-name: P CHAVEL
type: Person

http://laas.rkbexplorer.com/id/pub-ref-cdb40c465b26206e4e849c943ee7aca6
has-title: IEEE Transactions on Reliability. Special Issue "Experimental Evaluation of Computer Systems Reliability"
type: Publication-Reference

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

http://laas.rkbexplorer.com/id/book-section-bb39d12c8d9fc9b6c05e5bfc4084472a
has-date: http://www.aktors.org/ontology/date#1990
has-title: Protocol Test Systems
type: Book-Section-Reference

http://laas.rkbexplorer.com/id/tech-report-a1405b17d5c580f9661c906991130171
has-date: http://www.aktors.org/ontology/date#1990
has-title: Delta 4 annual report: January 90-December 90
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/tech-report-bc930c5d94e4c75e7298202f2d69e666
has-date: http://www.aktors.org/ontology/date#1990
has-title: On software dependability evaluation from a statistical testing approach
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/person-79c5cce34acf03ac58f5716e3754cddf
full-name: S D DRACKLEY
type: Person

http://laas.rkbexplorer.com/id/person-413aee928c4ca1ec1346c59c28d9be72
full-name: J DOBSON
type: Person

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

http://laas.rkbexplorer.com/id/tech-report-03eb2718cd8f32a849491e7d5c7fddcf
has-date: http://www.aktors.org/ontology/date#1990
type: Technical-Report-Reference
has-title: Delta-4 Architecture Guide : Validation

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

http://laas.rkbexplorer.com/id/inproceedings-417303c20e7a8b9f9d7bce9df45d057d
has-date: http://www.aktors.org/ontology/date#1990
has-title: Fault-tolerance in Delta-4
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#7
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/tech-report-8e0216ae78e7adb87827110065f76daa
has-date: http://www.aktors.org/ontology/date#1990
has-title: Delta-4 Architecture Guide: security
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/tech-report-b419296bb2db927a8faae5228172235e
has-date: http://www.aktors.org/ontology/date#1990
has-title: Sret de fonctionnement de systmes inertiels multi-fonctions
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/article-10508f62999deb26e7107bf6f6487170
has-date: http://www.aktors.org/ontology/date#1990
type: Article-Reference
has-number: 4
has-page-numbers: 455--467
has-volume: 39
has-title: Experimental evaluation of the fault tolerance of an atomic multicast system

http://laas.rkbexplorer.com/id/publishers-718a00c313e5d05bde4c79ad0d361045
has-title: Eds. Jde Meer, LMackert, WEffelsberg
type: Publishing-House

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#4
has-date: http://www.aktors.org/ontology/date#1990
has-title: ESPRIT Conference 90
type: Conference-Proceedings-Reference

http://laas.rkbexplorer.com/id/pub-ref-f27dbfc7bfd926542d4cf58b21229c04
has-title: Bulletin of EATCS (European Association for Theoretical Computer Science)
type: Publication-Reference

http://laas.rkbexplorer.com/id/inproceedings-8221bc07bc26f41c4a2d4d615c7e58fb
has-date: http://www.aktors.org/ontology/date#1990
has-page-numbers: 222--222
has-title: On the assessment of safety-critical software systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#3
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/inproceedings-29b5f8f0ac9f8087683ca21956cb469e
has-date: http://www.aktors.org/ontology/date#1990
has-page-numbers: 97--104
has-title: An intrusion-tolerant security server for an open distributed system
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#2
type: Proceedings-Paper-Reference

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

http://laas.rkbexplorer.com/id/person-67eee82826e31a775ea512f8dde46b58
full-name: J H COLLET
type: Person

http://laas.rkbexplorer.com/id/article-4e8b0e626a14bf9dabd42106bbab48e9
has-volume: 16
has-date: http://www.aktors.org/ontology/date#1990
type: Article-Reference
has-title: Fault injection for dependability validation: a methodology and some applications
has-page-numbers: 166--182
has-number: 2

http://laas.rkbexplorer.com/id/pub-ref-ae3e2f97b8e0bea5cc4b717095978447
has-title: IEEE Transactions on Software Engineering. Special Issue on Experimental Computer Science
type: Publication-Reference

http://laas.rkbexplorer.com/id/inproceedings-edd1b40d67908c5e0848f3f951c110e7
has-date: http://www.aktors.org/ontology/date#1990
has-page-numbers: 364--371
has-title: The transformation approach to the modeling and evaluation of the reliability and availability growth of systems in operation
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#5
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/person-d6ead4f85bd3cfdb82d59a6b844a3468
full-name: G TROUESSIN
type: Person

http://laas.rkbexplorer.com/id/inproceedings-4af41244a90a9a8e8eaeadf0eeca4631
has-date: http://www.aktors.org/ontology/date#1990
has-page-numbers: 332--339
has-title: Utilisation du modle hyperexponentiel pour le suivi de la validation du logiciel d'un quipement de tlcommunications
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#1
type: Proceedings-Paper-Reference

http://laas.rkbexplorer.com/id/article-e7f569d45681b0749fbaa11026eb9b31
has-number: 7
has-volume: 23
has-page-numbers: 39--51
has-date: http://www.aktors.org/ontology/date#1990
has-title: Definition and analysis of hardware -and-software fault-tolerant architectures
type: Article-Reference

http://laas.rkbexplorer.com/id/person-97bb1c2a112d9e38f673eb5192239b6f
full-name: A MACINNES
type: Person

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#3
has-date: http://www.aktors.org/ontology/date#1990
has-title: 12th IEEE International Conference on Software Engineering
type: Conference-Proceedings-Reference

http://laas.rkbexplorer.com/id/article-53835ec8be8a6ea96810bb9ef6170e8a
type: Article-Reference
has-volume: 39
has-page-numbers: 504--513
has-title: Dependability modeling and evaluation of software-fault tolerant systems
has-number: 4
has-date: http://www.aktors.org/ontology/date#1990

http://laas.rkbexplorer.com/id/person-7a2f31e013b288cf2da94635370b66f6
full-name: J M PONS
type: Person

http://laas.rkbexplorer.com/id/person-47884f5ba854a8df9cbb0a2a4928462b
full-name: J L RICHIER
type: Person

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

http://laas.rkbexplorer.com/id/tech-report-7187c6b6444ce0f5e79cb2d236289ffd
has-date: http://www.aktors.org/ontology/date#1990
has-title: Fault injection for the experimental validation of fault tolerance
type: Technical-Report-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

http://laas.rkbexplorer.com/id/inproceedings-4dd7bcf8a3ca3a4d8fbb416138c3a812
has-date: http://www.aktors.org/ontology/date#1990
has-page-numbers: 786--789
has-title: Hardware- and software-fault tolerance
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#6
type: Proceedings-Paper-Reference

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

http://laas.rkbexplorer.com/id/person-4de043ab0405536db3c60cdb59ee41b1
full-name: L BURRILL
type: Person

http://laas.rkbexplorer.com/id/person-0e3c4945626672503a37bdb515cfedbc
full-name: B RANDELL
type: Person

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

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

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#2
has-date: http://www.aktors.org/ontology/date#1990
has-title: European Symposium on Research in Computer Security (ESORICS'90)
type: Conference-Proceedings-Reference

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

http://laas.rkbexplorer.com/id/pub-ref-19d2d704f7e9d9dc27de46b9a0299f51
has-title: IEEE Transactions on Computers. Special Issue on Fault-Tolerant Computing
type: Publication-Reference

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

http://laas.rkbexplorer.com/id/tech-report-95688c6310960ea60a1b8ad7fc5256f8
has-date: http://www.aktors.org/ontology/date#1990
has-title: Dependability: basic concepts and associated terminology
type: Technical-Report-Reference

http://laas.rkbexplorer.com/id/person-4ea09b64492301c7ed61351e083eb31d
full-name: M R BASTOS MARTINI
type: Person

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

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

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

http://laas.rkbexplorer.com/id/pub-ref-4550a1205446e9365c7cb0bb9533955f
has-title: IEEE Transactions on Reliability
type: Publication-Reference

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#7
has-date: http://www.aktors.org/ontology/date#1990
has-title: 4th European ACM SIGOPS Workshop
type: Conference-Proceedings-Reference

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

http://laas.rkbexplorer.com/id/article-d65d45cc2c8285f949324bf9b323260f
has-date: http://www.aktors.org/ontology/date#1990
has-number: 11-12
has-page-numbers: 657--670
has-title: Analyse des dfaillances et suivi de la validation du logiciel d'un quipement de tlcommunications
type: Article-Reference

http://laas.rkbexplorer.com/id/person-abcbf0d75c837b309c968659247b0cc3
full-name: L AMAT
type: Person

http://lodlaundromat.org/.well-known/genid/0e23e1e24e6201d02816116e50ee5205#1
has-date: http://www.aktors.org/ontology/date#1990
has-title: 7me Colloque International de Fiabilit et de Maintenabilit
type: Conference-Proceedings-Reference

http://laas.rkbexplorer.com/id/thesis-d41d8cd98f00b204e9800998ecf8427e
degree-of-thesis: PhD
has-date: http://www.aktors.org/ontology/date#1990
has-title: Validation de la sret de fonctionnement par injection de fautes. Mthode - Mise en uvre - Application
type: Thesis-Reference

http://laas.rkbexplorer.com/id/tech-report-23a30da3d432880a291fb84f46846bae
has-date: http://www.aktors.org/ontology/date#1990
has-title: Compatibilit entre tolrance aux intrusions et tolrance aux fautes. Partie IV : Rapport de synthse
type: Technical-Report-Reference

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

http://laas.rkbexplorer.com/id/pub-ref-e56daec989ab6d3caef943cc03d6e502
has-title: Reprinted from IEEE Computer. Special Issue on Fault-Tolerant Computing
type: Publication-Reference

http://laas.rkbexplorer.com/id/person-f287627b396b38892d49b23da647a39d
full-name: F CHATAUX
type: Person

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

http://laas.rkbexplorer.com/id/tech-report-6d4e3d4f72d7ee8bee389625b6dd29f9
has-date: http://www.aktors.org/ontology/date#1990
has-title: Delta-4 Architecture Guide : Distributed Fault-Tolerance
type: Technical-Report-Reference