Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claude Kaiser
@inproceedings{DBLP:conf/adaEurope/KaiserP09,
author = {Claude Kaiser and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
editor = {Fabrice Kordon and
Yvon Kermarrec},
title = {Weak Fairness Semantic Drawbacks in Java Multithreading},
booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
International Conference, Brest, France, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5570},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01924-1\_7},
doi = {10.1007/978-3-642-01924-1\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/KaiserP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isca/RamadanT08,
author = {Samia Bouzefrane and
Jean{-}Paul Etienne and
Claude Kaiser},
title = {Handling Overload and Data-Relaxation Control in Distributed Real-Time
Database Systems},
journal = {Int. J. Comput. Their Appl.},
volume = {15},
number = {3},
pages = {187--200},
year = {2008},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isca/RamadanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BouzefraneEK08,
author = {Samia Bouzefrane and
Jean{-}Paul Etienne and
Claude Kaiser},
title = {Gestion de la surcharge dans les syst{\`{e}}mes de gestion de base
de donn{\'{e}}es temps r{\'{e}}el},
journal = {Tech. Sci. Informatiques},
volume = {27},
number = {7},
pages = {879--910},
year = {2008},
url = {https://doi.org/10.3166/tsi.27.879-910},
doi = {10.3166/TSI.27.879-910},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsi/BouzefraneEK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/KaiserPP08,
author = {Claude Kaiser and
Christophe Pajault and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Concurrent Program Metrics Drawn by Quasar},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {101--114},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_8},
doi = {10.1007/978-3-540-68624-8\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/KaiserPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/KaiserPP07,
author = {Claude Kaiser and
Christophe Pajault and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
editor = {Nabil Abdennadher and
Fabrice Kordon},
title = {Modelling Remote Concurrency with Ada},
booktitle = {Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe
International Conference on Reliable Software Technologies, Geneva,
Switzerland, June 25-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4498},
pages = {192--207},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73230-3\_15},
doi = {10.1007/978-3-540-73230-3\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/KaiserPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/EvangelistaKPPR05,
author = {Sami Evangelista and
Claude Kaiser and
Christophe Pajault and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
Pierre Rousseau},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Dynamic Tasks Verification with Quasar},
booktitle = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
Conference on Reliable Software Technologies, York, UK, June 20-24,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3555},
pages = {91--104},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_8},
doi = {10.1007/11499909\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/EvangelistaKPPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/EvangelistaKPR03,
author = {Sami Evangelista and
Claude Kaiser and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
Pierre Rousseau},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {Quasar: {A} New Tool for Concurrent Ada Programs Analysis},
booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
Conference on Reliable Software Technologies, Toulouse, France, June
16-20, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2655},
pages = {168--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_12},
doi = {10.1007/3-540-44947-7\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/EvangelistaKPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/Saad-BouzefraneK03,
author = {Samia Saad{-}Bouzefrane and
Claude Kaiser},
title = {Distributed Overload Control for Real-Time Replicated Database Systems},
booktitle = {{ICEIS} 2003, Proceedings of the 5th International Conference on Enterprise
Information Systems, Angers, France, April 22-26, 2003},
pages = {380--388},
year = {2003},
timestamp = {Thu, 02 Feb 2017 12:57:29 +0100},
biburl = {https://dblp.org/rec/conf/iceis/Saad-BouzefraneK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/EvangelistaKPR03,
author = {Sami Evangelista and
Claude Kaiser and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
Pierre Rousseau},
editor = {Robert C. Leif and
Ricky E. Sward},
title = {Verifying linear time temporal logic properties of concurrent Ada
programs with quasar},
booktitle = {Proceedings of the 2003 Annual {ACM} SIGAda International Conference
on Ada: The Engineering of Correct and Reliable Software for Real-Time
{\&} Distributed Systems using Ada and Related Technologies 2003,
San Diego, CA, USA, December 7-11, 2003},
pages = {17--24},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/958420.958424},
doi = {10.1145/958420.958424},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/EvangelistaKPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BarkaouiKP97,
author = {Kamel Barkaoui and
Claude Kaiser and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
title = {Petri nets based proofs of Ada 95 solution for preference control},
booktitle = {4th Asia-Pacific Software Engineering and International Computer Science
Conference {(APSEC} '97 / {ICSC} '97), 2-5 December 1997, Clear Water
Bay, Hong Kong},
pages = {238--248},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/APSEC.1997.640181},
doi = {10.1109/APSEC.1997.640181},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BarkaouiKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/KaiserP97,
author = {Claude Kaiser and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
editor = {Susan Carlson},
title = {Comparing the Reliability Provided by Tasks or Protected Objects for
Implementing a Resource Allocation Service: a Case Study},
booktitle = {Conference, The annual meeting of the Ada programming world, TRI-Ada
1997, November 9-13, 1997, St. Louis, Missouri, {USA}},
pages = {51--65},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/269629.269636},
doi = {10.1145/269629.269636},
timestamp = {Fri, 06 May 2022 16:16:51 +0200},
biburl = {https://dblp.org/rec/conf/sigada/KaiserP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csys/BaninoDKM93,
author = {Jean{-}Serge Banino and
Jean Delcoigne and
Claude Kaiser and
G{\'{e}}rard Morisset},
title = {The DUNE{\_}iX Real-Time Operating System},
journal = {Comput. Syst.},
volume = {6},
number = {4},
pages = {425--480},
year = {1993},
url = {http://www.usenix.org/publications/compsystems/1993/fall\_banino.pdf},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csys/BaninoDKM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FlorinKN89,
author = {Gerard Florin and
Claude Kaiser and
St{\'{e}}phane Natkin},
editor = {Grzegorz Rozenberg},
title = {Petri net models of a distributed election protocol on a unidirectional
ring},
booktitle = {Advances in Petri Nets 1990 [10th International Conference on Applications
and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]},
series = {Lecture Notes in Computer Science},
volume = {483},
pages = {287--312},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53863-1\_29},
doi = {10.1007/3-540-53863-1\_29},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/FlorinKN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csys/RozierAABGGHKLLN88,
author = {Marc Rozier and
Vadim Abrossimov and
Fran{\c{c}}ois Armand and
Ivan Boule and
Michel Gien and
Marc Guillemont and
Fr{\'{e}}d{\'{e}}ric Herrmann and
Claude Kaiser and
Sylvain Langlois and
Pierre L{\'{e}}onard and
Will Neuhauser},
title = {{CHORUS} Distributed Operating System},
journal = {Comput. Syst.},
volume = {1},
number = {4},
pages = {305--370},
year = {1988},
url = {http://www.usenix.org/publications/compsystems/1988/fall\_rozier.pdf},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csys/RozierAABGGHKLLN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GaudeLPK80,
author = {C. Gaude and
J. Langet and
S. Palassin and
Claude Kaiser},
editor = {Simon H. Lavington},
title = {Distributed Processing as a Key to Reliable and Evolving Software
for Real Time Applications},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {315--320},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GaudeLPK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FerrieKLM76,
author = {Jean Ferri{\'{e}} and
Claude Kaiser and
Didier Lanciaux and
Bernard Martin},
title = {An Extensible Structure for Protected Systems' Design},
journal = {Comput. J.},
volume = {19},
number = {4},
pages = {315--321},
year = {1976},
url = {https://doi.org/10.1093/comjnl/19.4.315},
doi = {10.1093/COMJNL/19.4.315},
timestamp = {Tue, 18 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/FerrieKLM76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KaiserK74,
author = {Claude Kaiser and
Sacha Krakowiak},
editor = {Jack L. Rosenfeld},
title = {Design and Implementation of a Time-Sharing System: {A} Critical Appraisal},
booktitle = {Information Processing, Proceedings of the 6th {IFIP} Congress 1974,
Stockholm, Sweden, August 5-10, 1974},
pages = {247--251},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KaiserK74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/KaiserK74,
author = {Claude Kaiser and
Sacha Krakowiak},
editor = {Erol Gelenbe and
Claude Kaiser},
title = {Analyse de quelques pannes d'un syste{\`{e}}me d'exploitation},
booktitle = {Operating Systems, Proceedings of an International Symposium held
at Rocquencourt, France, April 23-25, 1974},
series = {Lecture Notes in Computer Science},
volume = {16},
pages = {188--207},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/BFb0029360},
doi = {10.1007/BFB0029360},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/os/KaiserK74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/os/1974,
editor = {Erol Gelenbe and
Claude Kaiser},
title = {Operating Systems, Proceedings of an International Symposium held
at Rocquencourt, France, April 23-25, 1974},
series = {Lecture Notes in Computer Science},
volume = {16},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/BFb0029350},
doi = {10.1007/BFB0029350},
isbn = {3-540-06849-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/os/1974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BetourneFKKM71,
author = {Claude B{\'{e}}tourn{\'{e}} and
Jean Ferri{\'{e}} and
Claude Kaiser and
Sacha Krakowiak and
Jacques Mossi{\`{e}}re},
editor = {Charles V. Freiman and
John E. Griffith and
Jack L. Rosenfeld},
title = {System Design and Implementation Using Parallel Processes},
booktitle = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume
1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28,
1971},
pages = {345--352},
publisher = {North-Holland},
year = {1971},
timestamp = {Fri, 26 Jul 2019 15:39:56 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BetourneFKKM71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BetourneBFKKM70,
author = {Claude B{\'{e}}tourn{\'{e}} and
Jacques Boulenger and
Jean Ferri{\'{e}} and
Claude Kaiser and
Sacha Krakowiak and
Jacques Mossi{\`{e}}re},
title = {Process management and resource sharing in the multiaccess system
in {ESOPE}},
journal = {Commun. {ACM}},
volume = {13},
number = {12},
pages = {727--733},
year = {1970},
url = {https://doi.org/10.1145/362814.362821},
doi = {10.1145/362814.362821},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BetourneBFKKM70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BetourneBFKKKM69,
author = {Claude B{\'{e}}tourn{\'{e}} and
Jacques Boulenger and
Jean Ferri{\'{e}} and
Claude Kaiser and
Jean Kott and
Sacha Krakowiak and
Jacques Mossi{\`{e}}re},
editor = {Peter J. Denning and
Edward G. Coffman Jr.},
title = {Process management and resource sharing in the multiaccess system
"ESOPE"},
booktitle = {Proceedings of the Second Symposium on Operating Systems Principles,
{SOSP} 1969, Princeton, NJ, USA, October 20-22, 1969},
pages = {67--74},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/961053.961080},
doi = {10.1145/961053.961080},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BetourneBFKKKM69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 03:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
