http://laas.rkbexplorer.com/id/person-0231eedf8014a053a3e86d1970cea2c6
full-name: N FOTA
type: Person
type: Thing

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

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#8
has-title: Invited paper. 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-afcca512be1a15282f52571eb61c2cec
full-name: J MO
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-128b65bb2f8e96684940a7410c5eb72d
full-name: A FORCHEL
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/tech-report-5e3071277d3408be96cfc02df435a86c
has-title: Analyse prliminaire de la sret de fonctionnement des systmes de contrle-commande des centrales nuclaires
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-77a1c65780bb31154bed62ed415c2d97
has-title: Object checkpointing: a reflective approach
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/publishers-e8633f0de39f4f996fbbf0e00eda1a4a
has-title: IEEE Computer Society, Eds. PAmmann, BHBarnes, SJajodia, EHSibley
type: Publishing-House
type: Thing

http://laas.rkbexplorer.com/id/person-04927c0d3c7e3991dc240ec842aa741f
full-name: M RODRIGUEZ
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#23
has-title: 5th International Euro-Par Conference (Euro-Par'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/publishers-cf01337ea5521a0da3b3956d0f8715e0
has-title: Eds. DSIonescu, NLimnios, Birkhauser
type: Publishing-House
type: Thing

http://laas.rkbexplorer.com/id/person-38bf7cd2af31fd4bfe9edaa1d6118823
full-name: J C RUIZ-GARCIA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-f4a6bbf56f5ae634f93238c576c35068
has-title: Specifing and verifying fault-tolerant hardware
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/thesis-d41d8cd98f00b204e9800998ecf8427e
degree-of-thesis: PhD
has-title: Evaluation de la sret de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
has-date: http://www.aktors.org/ontology/date#1999
type: Thing
type: Thesis-Reference

http://laas.rkbexplorer.com/id/article-2b4ab16f77b798f4879a4060d1d63a2f
type: Thing
has-date: http://www.aktors.org/ontology/date#1999
has-title: Availability of CAUTRA, a subset of the French air traffic control system
has-number: 5
has-page-numbers: 528--535
has-volume: 48
type: Article-Reference

http://laas.rkbexplorer.com/id/person-8a16c40876c284832a6c846451a5369d
full-name: M H DURAND
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-de35fdc4fa65bc4a89140339be1aa58d
full-name: C BETOUS-ALMEIDA
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#3
has-title: 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-b2ea5c3a9cb3fa25f952a5f2324e2380
full-name: V THEVENOT
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-c3de33f6445f980c3f8dab5f96dedce3
has-title: Evaluation exprimentale de la fiabilit d'une famille de produits logiciels
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/article-0d486003ccc4797c1c646c08494d0cd2
type: Article-Reference
type: Thing
has-number: 6
has-title: GUARDS: a generic upgradable architecture for real-time dependable systems
has-page-numbers: 580--599
has-volume: 10
has-date: http://www.aktors.org/ontology/date#1999

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#10
has-title: 29th Annual International Symposium on Fault-Tolerant Computing (FTCS-29)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-5283e02154b68766655ab65c3ecf7640
full-name: S BEHNIA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-f321013e17d9054846befd7b2fece5bc
full-name: M T JARBOUI
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-4ef9934608d27d2ba928ad117833eb40
full-name: P CORNEILLIE
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/person-d5d6e186313ce2be617e6a5d86c856f9
full-name: J F SOUCAILLE
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-e19ddaf9fe04144ad110085eb2b4e0e4
has-title: Test criteria definition for B models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#12
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/article-6573912ad62c07fb8b2d092bae51bfba
has-number: 4
has-volume: 19
type: Thing
has-page-numbers: 66--79
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1999
has-title: Validation-based development of dependable systems

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

http://laas.rkbexplorer.com/id/book-section-b7be2242de79d857ec58eddc19051891
has-title: Computer Security, Dependability, & Assurance: from needs to solutions
has-date: http://www.aktors.org/ontology/date#1999
type: Book-Section-Reference
type: Thing

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

http://laas.rkbexplorer.com/id/person-5070f96e3299dd41339b44076c2a5da5
full-name: C RABEJAC
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-0c5cdecdceb31faccd318edd4bb15e05
has-title: Distributed fault-tolerance: a short tutorial
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#2
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-3a883bec3c991f8369becb072cf568ef
full-name: A BONDAVALLI
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-bb34869365727659d9937663e71894e6
full-name: G LIEBISCH
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-36d934f813e048e3617c1a48e0aaa8d6
has-title: A case study in statistical testing of reusable concurrent objects
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#7
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-3c89d99fd624eb0263ab4a810e5a6eda
full-name: S HAZELHURST
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/person-26589cee69fa1b24c45ce36333aa07d9
full-name: A AMENDOLA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/article-521e4ddbac85cfec4e321f53ff632922
has-volume: 35
has-number: 3-4
has-title: Dependability evaluation of an air traffic control computing system
type: Article-Reference
has-page-numbers: 253--273
type: Thing
has-date: http://www.aktors.org/ontology/date#1999

http://laas.rkbexplorer.com/id/inproceedings-6fc75f9dd5a282dde1668469e2c58307
type: Thing
has-page-numbers: 155--159
has-title: Behavioral analysis in the presence of faults of dependable systems modeled with RDD-100
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#18
has-date: http://www.aktors.org/ontology/date#1999

http://laas.rkbexplorer.com/id/person-4b0a780da3e6ea07d2766dbd36e17122
full-name: B ATTERMEYER
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-96470d2daa39f44b32234c3bafbeda6a
full-name: F SALLES
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-aa8d3a792ddfb4c2f8cfcc3fa9570648
has-date: http://www.aktors.org/ontology/date#1999
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#19
has-title: MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-9085869d763622626a8ee59771e39bef
full-name: H KURTH
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#6
has-title: Invited paper. 4th International Symposium on Autonomous Decentralized Systems (ISADS'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#13
has-title: 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-dfe9b394eb247125f25224c20766d8aa
has-title: On the use of COTS microkernels for dependable systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#6
has-page-numbers: 132--139
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-7e662451f0a6eeeae9b97f5dd6d0f949
full-name: E TOTEL
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-faf7da42bca494947c19aeb86bb208a3
has-title: MEL-ARIOPTO: technology roadmap. Optoelectronic interconnects for integrated circuits
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

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

http://laas.rkbexplorer.com/id/inproceedings-d3c09d303eee4823ab5744d207ea074e
has-title: Quantitative evaluation of information system security experimented in a bank organization
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#25
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/publishers-33baf583538f46376658137d2e738544
has-title: Ed. JGWebster, Wiley Interscience
type: Publishing-House
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#21
has-title: 10th International Symposium on Software Reliability Engineering (ISSRE'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-b230df61fb93bdc1a56a05d3daa81c7f
has-page-numbers: 22--29
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#10
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing
has-title: Metakernels and fault containment wrappers

http://laas.rkbexplorer.com/id/person-7cefca70e054d2993576f173dbbfb655
full-name: F GRANDONI
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-f350119c806dc15c004175bbf5fb0bdf
full-name: I MURA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-1174a812c3e371b2da04cad65a6ce944
full-name: A HAWES
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-751552dc6bbdb6297f9a5ec3b46ef505
has-page-numbers: 150--152
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#11
type: Thing
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#1999
has-title: Using compile-time reflection for object state capture

http://laas.rkbexplorer.com/id/inproceedings-232effcc5c15a4cedbe4434bb4a4935d
has-title: Dependable computing system evaluation criteria: SQUALE proposal
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#8
has-page-numbers: 373--376
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-ad12911067001adf280fb7ba4953438d
full-name: T BOYER
type: Person
type: Thing

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

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#1
has-title: 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-33173dfc4712dcf9d9ca73a9aaefddc8
type: Thing
has-title: GUARDS: dependability evaluation
type: Technical-Report-Reference
has-date: http://www.aktors.org/ontology/date#1999

http://laas.rkbexplorer.com/id/person-1fca357f384d3689604f2c5ca79176db
full-name: V SCAVARDA
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/tech-report-e1b240a4e279966ec12ef966968f49d9
has-title: Mthode de modlisation de la sret de fonctionnement des systmes de contrle-commande
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-c4bf5120c4ae5f36ee00b5228538ddd0
has-title: Testing of reusable concurrent objects: the production cell example
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#20
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#9
has-title: Journes "Formalisation des Activits Concurrentes" (FAC'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-2d15dd8ba2de9b4812fce58e86e55333
full-name: Y LE GUEDART
type: Person
type: Thing

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

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#16
has-title: 3rd European Dependable Computing Conference (EDDC-3)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-4ae216d642d134ffdffd7996e864054e
has-title: Intgration de la sret de fonctionnement dans l'ingnierie des systmes
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#24
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-69d00a8063aa854f1973732ea7f2c2c2
full-name: A WELLINGS
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-9524203ef11deef8e73f4774e81c7002
has-title: Guiding the experimental validation of dependable commercial control and supervision systems by a formal approach
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#15
has-page-numbers: 21--25
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-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/6cb714887370406d785f324a08e431ba#24
has-title: 12mes Journes Internationales "Gnie Logiciel et Ingnierie de Systmes" (ICSSEA'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-5e2db3fc424e604b1653c258b85664b8
full-name: P DAVID
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-f1a422b6d8d013f945bb4463731a9567
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing
has-title: GUARDS: multilevel integrity mechanisms

http://laas.rkbexplorer.com/id/tech-report-6f4b054733b15f01657a1d595428569e
has-title: Etat d'avancement du projet de recherche "Modlisation fonctionnelle et comportementale en prsence de fautes"
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-321622544ba0d9d0ae564edd1892d84a
type: Thing
has-title: SQUALE dependability assessment criteria
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#13
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference

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

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

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

http://laas.rkbexplorer.com/id/person-ae726fc4c80935a13f3f8721adff07a4
full-name: J GOODSON
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#4
has-title: 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/article-99f72056112d8d77b5883a537df5a8c8
type: Thing
has-volume: 48
has-title: Coverage estimation methods for stratified fault-injection
has-number: 7
has-date: http://www.aktors.org/ontology/date#1999
type: Article-Reference
has-page-numbers: 707--723

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#11
has-title: 2nd International Conference, Reflection'99
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-919a65214ad9acfcc32ce928044644c9
full-name: A ARAZO
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-33321301ce1721aa6a5546cd170e6a2c
full-name: M O KILLIJIAN
type: Person
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-ac7aca50fc4b633177f28d0d913e1a01
has-title: IEEE Transactions on Parallel and Distributed Systems
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-ffe8a7b98da4025d6c56f4c0b72a31f8
full-name: L BEUS-DUKIC
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-e28f032248001cfe0d9784810a51c156
has-date: http://www.aktors.org/ontology/date#1999
has-title: SQUALE: dependability assessment criteria
type: Technical-Report-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#19
has-title: 3rd European Dependable Computing Conference (EDDC-3)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

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

http://laas.rkbexplorer.com/id/person-c0f33f37e694d6989962418ec19c1cc5
full-name: P MALINVERNI
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-250a4543af9032a658c359fe736a756b
full-name: R ORTALO
type: Person
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-44156f13d042d1e9f960caefcbda20a9
has-title: IEEE Transactions on Software Engineering
type: Publication-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-e272db307a50e02ce26b75f59c498e52
full-name: T MANNING
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-d243eda91ae192f8ca2069a03506aa75
has-title: Dependability evaluation of a distributed shared memory multiprocessor system
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#16
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-a220626727beba646db0068e238354e8
full-name: C DAMBRA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-110bfad1db66d852205381b0bb8a4878
full-name: A PASQUINI
type: Person
type: Thing

http://laas.rkbexplorer.com/id/book-222ff760cd3cfcdd6d8a84e6d091967b
type: Thing
has-title: Computer safety, reliability and security
has-isbn-number: ISBN 3-540-66488-2
type: Book-Reference
has-date: http://www.aktors.org/ontology/date#1999

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

http://laas.rkbexplorer.com/id/inproceedings-e1323a1479e5908ae7f5dc575c71a9eb
has-title: A method for operator error detection based on plan recognition
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#1
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-8e3b7f3ca099a4a6659eb761cd49572c
has-title: Implementing snoop-coherence protocol for future SMP architectures
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#23
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#7
has-title: 3rd European Dependable Computing Conference (EDDC-3)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

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

http://laas.rkbexplorer.com/id/tech-report-f3579a41fa44e7f26d8741c42dc538d3
has-title: Dependability of COTS microkernel-based systems: the MAFALDA assessment and design environment
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-f0d9153c7068abd5606c44a70eafc906
has-title: IEEE Micro
type: Publication-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-e4037c11223d1f20cfb4083999659f1f
full-name: L FESQUET
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-25f0607dd01c33459b0782e837d524bd
has-page-numbers: 57--61
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#14
has-title: A test ordering tool for object-oriented programs
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#14
has-title: 10th European Workshop on Dependable Computing (EWDC-10)
has-date: http://www.aktors.org/ontology/date#1999
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-fcb5274efd50d3b507271fb7608e380c
has-title: Architecture tolrante aux fautes transitoires pour mini et gros satellites. Validation par injection de fautes
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

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/tech-report-58e71651379df89643bc9087fb9dc34b
type: Thing
has-title: GUARDS: introduction and overview
type: Technical-Report-Reference
has-date: http://www.aktors.org/ontology/date#1999

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#22
has-title: Invited paper. 5th International Conference on Information Systems Analysis and Synthesis (ISAS'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-b459d63a984fd682b8baf60db92a3fb0
full-name: J BOUE
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-bb5a7e95c3dac46d0e0b199700916896
full-name: F DI GIANDOMENICO
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-d911889b00260a05b900bc7ab7f18f66
full-name: C VALENTIN
type: Person
type: Thing

http://laas.rkbexplorer.com/id/book-section-bc112d6c7a1851bd20d846f61edb70af
has-title: Statistical and Probabilistic Models in Reliability
has-date: http://www.aktors.org/ontology/date#1999
type: Book-Section-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-97ba0c1679742516f6f7a97be66e4f14
has-title: Real-world design diversity: a case study on cost
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#21
has-page-numbers: 242--247
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-9669bf1c0c97495e3251fea14720535a
full-name: D ESSAME
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-eeafab92072133389b2bf0ffdc5a3bf8
has-title: Test statistique d'objets concurrents rutilisables : application une cellule de production
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#9
has-page-numbers: 54--67
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#2
has-title: Invited paper. 3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/book-section-16c48e057dc5776ff24966cb88a03481
type: Thing
has-title: Encyclopedia of Electrical and Electronic Engineering
has-date: http://www.aktors.org/ontology/date#1999
type: Book-Section-Reference

http://laas.rkbexplorer.com/id/person-eddfb944d8fb59a469ab620291e2bd04
full-name: W HLAYHEL
type: Person
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-54ab103918000969223fb23dbabc5b96
has-title: Measurements for managing software reliability
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#5
has-page-numbers: 212--219
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

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

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

http://laas.rkbexplorer.com/id/person-0db77d06906c5d1a3d7edb00bd49587a
full-name: P BENOIT
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-8a43b0efce2123b47634570fbc23787b
full-name: T MORTEVEILLE
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-4aeeaedbca465929d1560d13ca6579d2
full-name: S CHIARADONNA
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#17
has-title: Papier invit. Colloque Franco-Allemand "Les Systmes Embarqus et les Systmes de Communication pour les Transports Guids"
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-ff53961479daafca15b8eec62198edbc
has-title: Validation exprimentale des systmes par injection de fautes : tat de l'art des techniques et outils
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/publishers-0a1d9579d7dec239a3cd569dc52c1690
has-title: Lecture Notes in Computer Science 1698, Springer
type: Publishing-House
type: Thing

http://laas.rkbexplorer.com/id/tech-report-10df0795fc04d755918adaf384217118
has-date: http://www.aktors.org/ontology/date#1999
type: Thing
type: Technical-Report-Reference
has-title: GUARDS: requirements and motivations

http://laas.rkbexplorer.com/id/person-1a9f66421d1a03cb1b781523f5b093fd
full-name: J P BLANQUART
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-7d2dd802e1d14ec48e2a38d8d7fad97b
full-name: P COPPOLA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/person-6c783efe91e51b8457a8987f8e12770e
full-name: V NICOMETTE
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/person-140bed8370e29a1b91e173ef3731b366
full-name: M RABAH
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#25
has-title: Invited paper. 2nd International Conference on Information System Security in the Financial Sector
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-b0f554cfac2e5ccb5f66d09d88658f6d
full-name: P FARAIL
type: Person
type: Thing

http://laas.rkbexplorer.com/id/tech-report-5813ca1caf28bdb20759eea8c2935c55
has-date: http://www.aktors.org/ontology/date#1999
type: Thing
type: Technical-Report-Reference
has-title: GUARDS: error processing and fault treatment

http://laas.rkbexplorer.com/id/inproceedings-7031b1461cc94edde447693e7e3fdd1f
has-title: PADRE : un protocole pour une gestion sre des redondances duplex
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#17
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

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

http://laas.rkbexplorer.com/id/person-027991f072ee010686e3c822c0f3e982
full-name: S MOREAU
type: Person
type: Thing

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

http://laas.rkbexplorer.com/id/inproceedings-b0b88952e7e1dd507f1d9340e871ed68
type: Proceedings-Paper-Reference
has-title: Assessment of COTS microkernels by fault injection
has-date: http://www.aktors.org/ontology/date#1999
type: Thing
has-page-numbers: 19--38
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#4

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#5
has-title: Invited paper. 1999 IEEE Symposium on Application-Specific Systems and Software Engineering & Technology (ASSET'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-f5c6add7259e5bdc4fd08303705f6115
has-title: GUARDS: inter-channel communication network
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/tech-report-588c1e426df14152360b8511126634da
has-title: A reflective fault tolerant CORBA system based on open languages
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#12
has-title: World Congress on Formal Methods in the Development of Computing Systems (FM'99)
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-d31c7c0031d0e8c59c52603fe6ac6fb3
has-title: PADRE: A Protocol for Asymmetric Duplex REdundancy
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#3
has-page-numbers: 213--232
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#1999

http://laas.rkbexplorer.com/id/article-b74150d8e86cb5e8b36b456504cca4fa
has-title: Experimenting with quantitative evaluation tools for monitoring operational security
has-number: 5
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1999
has-volume: 25
type: Thing
has-page-numbers: 633--650

http://laas.rkbexplorer.com/id/tech-report-3be66683e3ce63acb416a0bf9391d517
has-title: Vrification formelle des proprits des mcanismes de tolrance aux fautes : application au protocole PADRE
has-date: http://www.aktors.org/ontology/date#1999
type: Technical-Report-Reference
type: Thing

http://laas.rkbexplorer.com/id/inproceedings-282d10e5a2f571b816896fc646c50efb
has-title: Software failure data analysis for reliability improvement
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#22
has-page-numbers: 562--569
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-c68966275cbd0ea9f9fabd18b030b33b
full-name: H SCHINDLER
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/6cb714887370406d785f324a08e431ba#20
has-title: 1st International ICSE Workshop on Testing Distributed Component-Based Systems
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://laas.rkbexplorer.com/id/person-514a561eb72b6ee06d7e474afcabdebb
full-name: J L DEGA
type: Person
type: Thing

http://laas.rkbexplorer.com/id/pub-ref-05a24c5bf51549bede9ad4505e1cb41f
has-title: Performance Evaluation
type: Publication-Reference
type: Thing