Systemsoftware und Verteilte Systeme

Prof. Dr.-Ing. Oliver Theel

Kontaktinformationen

Postadresse  Carl v. Ossietzky Universität

 Fakultät II, Department für Informatik

 Oldenburg, Niedersachsen 26111

 Germany
Telefon +49 441 798 2364
Fax +49 441 798 2756
Email Theel(at)Informatik.Uni-Oldenburg.DE







  • [inproceedings] bibtex
    R. Schadek und O. Theel, "Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols," in Proc. Proc. of the 1st International Workshop on Frontiers in Dependable Computing (FDC 2017) colocated with the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, 2017.
    @InProceedings{st17:iac,
      author = {Robert Schadek and Oliver Theel},
      title = {{Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols}},
      booktitle = {Proc. of the 1st International Workshop on Frontiers in Dependable Computing (FDC 2017) colocated with the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)},
      year = 2017, month = {January},
      address = {Christchurch, New Zealand},
      organization = {IEEE},
      note = {To be Published},
      file = {:fdc17.pdf:PDF;} }
  • [inproceedings] bibtex
    A. Usman, R. Schadek, und O. Theel, "A Novel Highly Available Data Replication Strategy exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge," in Proc. Proc. of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, 2017, pp. 301-310.
    @InProceedings{ust17:nha,
      author = {Awais Usman and Robert Schadek and Oliver Theel},
      title = {{A Novel Highly Available Data Replication Strategy exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge}},
      booktitle = {Proc. of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)},
      year = 2017, month = {January},
      address = {Christchurch, New Zealand},
      organization = {IEEE},
      pages = {301--310},
      file = {:prdc17.pdf:PDF;} }
  • [inproceedings] bibtex
    A. Usman, P. Zhang, und O. Theel, "An Efficient and Updatable Item-to-Item Frequency Matrix for Frequent Itemset Generation," in Proc. Proc. of the 2nd International Conference on Internet of Things, Data and Cloud Computing (ICC 2017), Cambridge, U.K., 2017.
    @InProceedings{uzt17:eui,
      author = {Awais Usman and Peilin Zhang and Oliver Theel},
      title = {{An Efficient and Updatable Item-to-Item Frequency Matrix for Frequent Itemset Generation}},
      booktitle = {Proc. of the 2nd International Conference on Internet of Things, Data and Cloud Computing (ICC 2017)},
      year = 2017, month = {March},
      address = {Cambridge, U.K.},
      publisher = {ACM},
      note = {Accepted for Publication},
      file = {:icc17-crc.pdf:PDF;} }
  • [inproceedings] bibtex
    P. Zhang, O. Landsiedel, und O. Theel, "MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks," in Proc. Proc. of the International Conference on Embedded Wireless Systems and Networks (EWSN 2017), Uppsala, Sweden, 2017, pp. 36-47.
    @InProceedings{zlt17:mor,
      author = {Peilin Zhang and Olaf Landsiedel and Oliver Theel},
      title = {{MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks}},
      booktitle = {Proc. of the International Conference on Embedded Wireless Systems and Networks (EWSN 2017)},
      year = 2017, month = {February},
      address = {Uppsala, Sweden},
      organization = {ACM},
      pages = {36--47},
      file = {:ewsn17.pdf:PDF;} }
  • [article] bibtex
    M. Abdelaal, O. Theel, C. Kuka, P. Zhang, Y. Gao, V. Bashlovkina, D. Nicklas, und M. Fränzle, "Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks," Intern. Journal of Distributed Sensor Networks (IJDSN), vol. 2016, p. 28, 2016.
    @Article{ATK16:iee,
      author = {Mohamed Abdelaal and Oliver Theel and Christian Kuka and Peilin Zhang and Yang Gao and Vasilisa Bashlovkina and Daniela Nicklas and Martin Fr\"{a}nzle},
      title = {{Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks}},
      journal = {Intern. Journal of Distributed Sensor Networks (IJDSN)},
      year = 2016, volume = 2016, pages = {28 pages},
      note = {Article ID 1576038, doi:10.1155/2016/1576038},
      file = {:ijdsn16.pdf:PDF;} }
  • [inproceedings] bibtex
    V. Bashlovkina, M. Abdelaal, und O. Theel, "FuzzyCAT: A Novel Procedure for Refining the F-Transform based Sensor Data Compression (Poster Abstract)," in Proc. Proc. of the 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015), Seattle, WA, U.S.A., 2015.
    @INPROCEEDINGS{BAT15:flf,
      author = {Vasilisa Bashlovkina and Mohamed Abdelaal and Oliver Theel},
      title = {{FuzzyCAT: A Novel Procedure for Refining the F-Transform based Sensor Data Compression (Poster Abstract)}},
      booktitle = {Proc. of the 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015)},
      year = 2015, address = {Seattle, WA, U.S.A.},
      month = apr, file = {:ipsn15.pdf:PDF;} }
  • [inproceedings] bibtex
    O. Jubran und O. Theel, "Self-Stabilizing PIF Algorithm for Educated Unique Process Selection," in Proc. Proc. of the International Conference on Networked Systems (Netys 2015), Agadir, Morocco, 2015.
    @INPROCEEDINGS{JT15:irs,
      author = {Oday Jubran and Oliver Theel},
      title = {{Self-Stabilizing PIF Algorithm for Educated Unique Process Selection}},
      booktitle = {Proc. of the International Conference on Networked Systems (Netys 2015)},
      year = 2015, address = {Agadir, Morocco},
      month = may, file = {:netys15.pdf:PDF;} }
  • [inproceedings] bibtex
    M. Abdelaal, C. Kuka, O. Theel, und D. Nicklas, "Reliable Virtual Sensing for Wireless Sensor Networks," in Proc. Proc. of the 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015), Singapore, 2015, pp. 1-7.
    @INPROCEEDINGS{AKT15:wdr,
      author = {Mohamed Abdelaal and Christian Kuka and Oliver Theel and Daniela Nicklas},
      title = {{Reliable Virtual Sensing for Wireless Sensor Networks}},
      booktitle = {Proc. of the 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015)},
      year = 2015, address = {Singapore},
      month = apr, file = {:issnip15.pdf:PDF;},
      pages = {1--7} }
  • [inproceedings] bibtex
    M. Abdelaal, P. Nazier Mosaad, und O. Theel, "liteDTW: A Lightweight Dynamic Time Warping for Tiny Wireless Sensing Devices," in Proc. Proc. of the 3rd IEEE Conference on Wireless Sensors (ICWiSe2015), Melaka, Malaysia, 2015.
    @INPROCEEDINGS{AMT15:ldt,
      author = "Mohamed Abdelaal and Peter {Nazier Mosaad} and Oliver Theel", TITLE = {{liteDTW: A Lightweight Dynamic Time Warping for Tiny Wireless Sensing Devices}},
      BOOKTITLE = "Proc. of the 3rd IEEE Conference on Wireless Sensors (ICWiSe2015)", ADDRESS = "Melaka, Malaysia", MONTH = aug, YEAR = 2015, publisher = {IEEE},
      file = {:icwise15.pdf:PDF;} }
  • [inproceedings] bibtex
    V. Bashlovkina, M. Abdelaal, und O. Theel, "FuzzyCAT: A Lightweight Fuzzy Adaptive Transform for Wireless Sensor Networks," in Proc. Proc. of the Workshop on Next Generation Green ICT being part of the IEEE International Conference on Communications (ICC '15), London, United Kingdom, 2015, pp. 10809-10815.
    @INPROCEEDINGS{BAT15:fla,
      author = {Vasilisa Bashlovkina and Mohamed Abdelaal and Oliver Theel},
      title = {{FuzzyCAT: A Lightweight Fuzzy Adaptive Transform for Wireless Sensor Networks}},
      booktitle = {Proc. of the Workshop on Next Generation Green ICT being part of the IEEE International Conference on Communications (ICC '15)},
      year = 2015, address = {London, United Kingdom},
      month = jun, pages = {10809 -- 10815},
      file = {:icc15.pdf:PDF;} }
  • [inproceedings] bibtex
    E. Möhlmann, W. Hagemann, und O. Theel, "Hybrid Tools for Hybrid Systems -- Proving Stability and Safety at Once," in Proc. Proc. of the 13 th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS '15), Madrid, Spain, 2015, pp. 222-239.
    @INPROCEEDINGS{MHT15:hth,
      author = {Eike M\"ohlmann and Willem Hagemann and Oliver Theel},
      title = {{Hybrid Tools for Hybrid Systems -- Proving Stability and Safety at Once}},
      booktitle = {Proc. of the 13 th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS '15)},
      year = 2015, address = {Madrid, Spain},
      pages = {222--239},
      month = sep, file = {:formats15.pdf:PDF;} }
  • [inproceedings] bibtex
    E. Möhlmann und O. Theel, "Breaking Dense Structures -- Proving Stability of Densly Structured Hybrid Systems," in Proc. Proc. of the 4th International Workshop on Engineering Safety and Security Systems (ESSS '15) being part of the 20th International Symposium on Formal Methods (FM '15), Oslo, Norway, 2015, pp. 49-63.
    @INPROCEEDINGS{MT15:bds,
      author = {Eike M\"ohlmann and Oliver Theel},
      title = {{Breaking Dense Structures -- Proving Stability of Densly Structured Hybrid Systems}},
      booktitle = {Proc. of the 4th International Workshop on Engineering Safety and Security Systems (ESSS '15) being part of the 20th International Symposium on Formal Methods (FM '15)},
      year = 2015, address = {Oslo, Norway},
      month = jun, pages = {49--63},
      file = {:esss15.pdf:PDF;} }
  • [inproceedings] bibtex
    R. Schadek und O. Theel, "A Data Replication Protocol for Real-World Network Topologies," in Proc. Proc. of the 7th International Conference on Information Technologies in Environmental Engineering, Port Elizabeth, South Africa, 2015, pp. 168-172.
    @InProceedings{RT15:drp,
      author = {Robert Schadek and Oliver Theel},
      title = {{A Data Replication Protocol for Real-World Network Topologies}},
      booktitle = {Proc. of the 7th International Conference on Information Technologies in Environmental Engineering},
      year = 2015, pages = {168--172},
      month = {July},
      address = {Port Elizabeth, South Africa},
      file = {:itee15rs.pdf:PDF;} }
  • [inproceedings] bibtex
    D. Rahmatov und O. Theel, "Region-Adherent Distributed Algorithms in Faulty Environments," in Proc. Proc. of the 7th International Conference on Information Technologies in Environmental Engineering, Port Elizabeth, South Africa, 2015, pp. 188-193.
    @InProceedings{RT15:rda,
      author = {Dilshod Rahmatov and Oliver Theel},
      title = {{Region-Adherent Distributed Algorithms in Faulty Environments}},
      booktitle = {Proc. of the 7th International Conference on Information Technologies in Environmental Engineering},
      year = 2015, pages = {188--193},
      month = {July},
      address = {Port Elizabeth, South Africa},
      file = {:itee15dr.pdf:PDF;} }
  • [inproceedings] bibtex
    M. Abdelaal, P. Zhang, und O. Theel, "QoS Improvement with Lifetime Planning Strategy in Wireless Sensor Networks," in Proc. Proc. of the 11th IEEE International Conference on Mobile Ad-hoc and Sensor Networks (MSN2015), Shenzhen, China, 2015, pp. 8-17.
    @InProceedings{APT15:qsi,
      author = {Mohamed Abdelaal and Peiling Zhang and Oliver Theel},
      title = {{QoS Improvement with Lifetime Planning Strategy in Wireless Sensor Networks}},
      booktitle = {Proc. of the 11th IEEE International Conference on Mobile Ad-hoc and Sensor Networks (MSN2015)},
      year = 2015, month = {dec},
      address = {Shenzhen, China},
      publisher = {IEEE},
      pages = {8--17},
      file = {:msn15.pdf:PDF;} }
  • [inproceedings] bibtex
    O. Jubran, E. Moehlmann, und O. Theel, "Verifying Recurrence Properties in Self-Stabilization by Checking the Absence of Finite Counterexamples," in Proc. Proc. of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '15), Edmonton, Canada, 2015, pp. 124-138.
    @InProceedings{JMT15:vrp,
      author = {Oday Jubran and Eike Moehlmann and Oliver Theel},
      title = {{Verifying Recurrence Properties in Self-Stabilization by Checking the Absence of Finite Counterexamples}},
      booktitle = {Proc. of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '15)},
      year = 2015, month = sep, pages = {124--138},
      address = {Edmonton, Canada},
      publisher = {Springer-Verlag},
      file = {:sss15.pdf:PDF;} }
  • [inproceedings] bibtex
    O. Jubran und O. Theel, "Recurrence in Self-Stabilization," in Proc. Proc. of the IEEE Symposium on Reliable Distributed Systems (SRDS '15), Montreal, Canada, 2015, pp. 58-67.
    @INPROCEEDINGS{JT15:rss,
      author = {Oday Jubran and Oliver Theel},
      title = {{Recurrence in Self-Stabilization}},
      booktitle = {Proc. of the IEEE Symposium on Reliable Distributed Systems (SRDS '15)},
      year = 2015, address = {Montreal, Canada},
      month = sep, organization = {IEEE},
      pages = {58--67},
      file = {:srds15.pdf:PDF;} }
  • [inproceedings] bibtex
    D. Rahmatov, J. S. Becker, und O. Theel, "A Transformational Approach for the Hardening of Region-Adherent Algorithms," in Proc. Proc. of the 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Zhangjiajie, China, 2015, pp. 80-90.
    @InProceedings{RBT15:tah,
      author = {Dilshod Rahmatov and Jan Steffen Becker and Oliver Theel},
      title = {{A Transformational Approach for the Hardening of Region-Adherent Algorithms}},
      booktitle = {Proc. of the 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)},
      year = 2015, month = nov, address = {Zhangjiajie, China},
      publisher = {IEEE},
      pages = {80-90},
      file = {:prdc15.pdf:PDF;} }
  • [inproceedings] bibtex
    R. Schadek und O. Theel, "Crossing -- A Highly Available Quorum Protocol for Arbitrary Planar Topologies," in Proc. Proc. of the 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2015), Zhangjiajie, China, 2015, pp. 717-728.
    @InProceedings{ST15:cah,
      author = {Robert Schadek and Oliver Theel},
      title = {{Crossing -- A Highly Available Quorum Protocol for Arbitrary Planar Topologies}},
      booktitle = {Proc. of the 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2015)},
      year = 2015, month = nov, address = {Zhangjiajie, China},
      publisher = {IEEE},
      pages = {717--728},
      file = {:ica3pp15.pdf:PDF;} }
  • [inproceedings] bibtex
    D. Rahmatov und O. Theel, "Towards a Design Theory of Region-Adherent Algorithms," in Proc. Proc. of the Work-in-Progress Session of the 23rd International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Turku, Finland, 2015.
    @INPROCEEDINGS{RT15:tdt,
      author = {Dilshod Rahmatov and Oliver Theel},
      title = {{Towards a Design Theory of Region-Adherent Algorithms}},
      booktitle = {Proc. of the Work-in-Progress Session of the 23rd International Conference on Parallel, Distributed and Network-based Processing (PDP 2015)},
      year = 2015, address = {Turku, Finland},
      month = mar, organization = {Euromicro},
      isbn = {ISBN 978-3-902457-42-2},
      note = {SEA-Publications SEA-SR-42-2},
      file = {:pdp15.pdf:PDF;} }
  • [article] bibtex
    K. Lipskoch und O. Theel, "Relaxing Data Consistency along Different Dimensions for Increasing Operation Availabilities," The International Journal of Parallel, Emergent and Distributed Systems, pp. 1-29, 2014.
    @ARTICLE{LT14:rdc,
      author = {Kinga Lipskoch and Oliver Theel},
      title = {{Relaxing Data Consistency along Different Dimensions for Increasing Operation Availabilities}},
      journal = {The International Journal of Parallel, Emergent and Distributed Systems},
      year = 2014, pages = {1--29},
      file = {:ijpeds14.pdf:PDF;},
      publisher = {Taylor \& Francis, London, U.K.} }
  • [inproceedings] bibtex
    J. S. Becker, D. Rahmatov, und O. Theel, "Brief Announcement: Region-Adherent Algorithms -- Bounding the Impact of Faults in Space," in Proc. Proc. of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '14), LNCS Vol. 8756, Paderborn, Germany, 2014, pp. 362-365.
    @INPROCEEDINGS{BRT14:bar,
      author = {Jan Steffen Becker and Dilshod Rahmatov and Oliver Theel},
      title = {{Brief Announcement: Region-Adherent Algorithms -- Bounding the Impact of Faults in Space}},
      booktitle = {Proc. of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '14), LNCS Vol. 8756},
      year = 2014, pages = {362--365},
      address = {Paderborn, Germany},
      month = sep, file = {:sss14a.pdf:PDF;} }
  • [inproceedings] bibtex
    J. S. Becker, D. Rahmatov, und O. Theel, "Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality," in Proc. Proc. of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'14), Singapore, 2014, pp. 203-212.
    @INPROCEEDINGS{BRT14:rif,
      author = {Jan Steffen Becker and Dilshod Rahmatov and Oliver Theel},
      title = {{Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality}},
      booktitle = {Proc. of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'14)},
      year = 2014, pages = {203--212},
      address = {Singapore},
      month = nov, file = {:prdc14dr.pdf:PDF;} }
  • [inproceedings] bibtex
    O. Jubran und O. Theel, "Brief Announcement: Introducing Recurrence in Self-Stabilization," in Proc. Proc. of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), LNCS Vol. 8756, Paderborn, Germany, 2014, pp. 352-354.
    @INPROCEEDINGS{JT14:bai,
      author = {Oday Jubran and Oliver Theel},
      title = {{Brief Announcement: Introducing Recurrence in Self-Stabilization}},
      booktitle = {Proc. of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), LNCS Vol. 8756},
      year = 2014, pages = {352--354},
      address = {Paderborn, Germany},
      month = sep, file = {:sss14b.pdf:PDF;} }
  • [inproceedings] bibtex
    O. Jubran und O. Theel, "Exploiting Synchronicity in Self-Stabilizing PIF Algorithms to Accelerate Search and Selection," in Proc. Proc. of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, 2014, pp. 106-115.
    @INPROCEEDINGS{JT14:ess,
      author = {Oday Jubran and Oliver Theel},
      title = {{Exploiting Synchronicity in Self-Stabilizing PIF Algorithms to Accelerate Search and Selection}},
      booktitle = {Proc. of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)},
      year = 2014, pages = {106--115},
      address = {Singapore},
      month = nov, file = {:prdc14oj.pdf:PDF;} }
  • [inproceedings] bibtex
    M. Abdelaal, G. Yang, M. Fränzle, und O. Theel, "EAVS: Energy Aware Virtual Sensing for Wireless Sensor Networks," in Proc. Proc. of the 9th IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP '14), Singapore, Singapore, 2014, pp. 1-6.
    @INPROCEEDINGS{AYFT14:eav,
      author = {Mohamed Abdelaal and Gao Yang and Martin Fr\"{a}nzle and Oliver Theel},
      title = {{EAVS: Energy Aware Virtual Sensing for Wireless Sensor Networks}},
      booktitle = {Proc. of the 9th IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP '14)},
      year = 2014, pages = {1-6},
      address = {Singapore, Singapore},
      month = apr, key = {ISBN 978-1-4799-2843-9},
      file = {:issnip14.pdf:PDF;} }
  • [inproceedings] bibtex
    E. Möhlmann und O. Theel, "Towards Counterexample-Guided Computation of Validated Stability Certificates for Hybrid Systems," in Proc. Proc. of the 2nd Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI 2014), San Luis, Argentina, 2014, pp. 853-860.
    @INPROCEEDINGS{MT14:tcg,
      author = {Eike M{\"o}hlmann and Oliver Theel},
      title = {{Towards Counterexample-Guided Computation of Validated Stability Certificates for Hybrid Systems}},
      booktitle = {Proc. of the 2nd Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI 2014)},
      year = 2014, address = {San Luis, Argentina},
      month = nov, publisher = {Red de Carreras de Ingenier{\'{i}}a Inform{\'{a}}tica / Sistemas de Informati{\'{o}}n (RIISIC)},
      issn = {2346-9927},
      pages = {853--860},
      file = {:conaiisi14b.pdf:PDF;} }
  • [inproceedings] bibtex
    N. Müllner, O. Theel, und M. Fränzle, "Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems," in Proc. Proc. of the 28th IEEE International Conference on Advanced Information Networking and Applications (AINA 2014), Victoria, B.C., Canada, 2014, pp. 1049-1056.
    @INPROCEEDINGS{MTF14:cdl,
      author = {Nils M\"{u}llner and Oliver Theel and Martin Fr\"{a}nzle},
      title = {{Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems}},
      booktitle = {Proc. of the 28th IEEE International Conference on Advanced Information Networking and Applications (AINA 2014)},
      year = 2014, pages = {1049--1056},
      address = {Victoria, B.C., Canada},
      month = may, doi = {DOI 10.1109/AINA.2014.127},
      file = {:aina14.pdf:PDF;},
      issn = {1550-445X/14} }
  • [inproceedings] bibtex
    N. Müllner, O. Theel, und M. Fränzle, "Combining Thermostatically Controlled Loads to Determine the Reliability against Blackouts," in Proc. Proc. of the 10th International Symposium on Frontiers of Information Systems and Network Applications (FINA 2014), Victoria, B.C., Canada, 2014, pp. 334-341.
    @INPROCEEDINGS{MTF14:ctc,
      author = {Nils M\"{u}llner and Oliver Theel and Martin Fr\"{a}nzle},
      title = {{Combining Thermostatically Controlled Loads to Determine the Reliability against Blackouts}},
      booktitle = {Proc. of the 10th International Symposium on Frontiers of Information Systems and Network Applications (FINA 2014)},
      year = 2014, pages = {334--341},
      address = {Victoria, B.C., Canada},
      month = may, doi = {DOI 10.1109/WAINA.2014.59},
      file = {:fina14.pdf:PDF;},
      isbn = {978-1-4799-2652-7/14} }
  • [inproceedings] bibtex
    R. Schadek und O. Theel, "A Graph Suite Generator for Real World Quorum Protocol Analysis," in Proc. Proc. of the 2nd Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI 2014), San Luis, Argentina, 2014, pp. 1194-1199.
    @INPROCEEDINGS{RT14:gsr,
      author = {Robert Schadek and Oliver Theel},
      title = {{A Graph Suite Generator for Real World Quorum Protocol Analysis}},
      booktitle = {Proc. of the 2nd Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI 2014)},
      year = 2014, address = {San Luis, Argentina},
      month = nov, publisher = {Red de Carreras de Ingenier{\'{i}}a Inform{\'{a}}tica / Sistemas de Informati{\'{o}}n (RIISIC)},
      file = {:conaiisi14a.pdf:PDF;},
      pages = {1194--1199},
      issn = {2346-9927} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Abdelaal und O. Theel, "Recent Energy-preservation Endeavours for Longlife Wireless Sensor Networks: A Concise Survey," in Proc. In Proc. of the 11th International Conference on Wireless and Optical Communications Networks (WOCN 2014), Vijayawada, Guntur District, Andhra Pradesh, India, 2014, pp. 1-7.
    @INPROCEEDINGS{AT14:rep,
      author = {Mohamed Abdelaal and Oliver Theel},
      title = {{Recent Energy-preservation Endeavours for Longlife Wireless Sensor Networks: {A} Concise Survey}},
      booktitle = {In Proc. of the 11th International Conference on Wireless and Optical Communications Networks (WOCN 2014)},
      year = 2014, pages = {1--7},
      address = {Vijayawada, Guntur District, Andhra Pradesh, India},
      month = sep, note = {This is an extension of the paper entitled "Power Management in Wireless Sensor Networks: Challenges and Solutions," published in the Proc. of the International Conference in Central Asia on Internet (ICI '13)},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/wocn/AbdelaalT14},
      url = {http://dx.doi.org/10.1109/WOCN.2014.6923052},
      file = {:wocn14.pdf:PDF},
      }
  • [inproceedings] bibtex
    E. Möhlmann und Oliver`Theel, "Towards Automatic Detection of Implicit Equality Constraints in Stability Verification of Hybrid Systems," in Proc. Proc. of the 1st Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI '13), Cordoba, Argentina, 2013.
    @INPROCEEDINGS{MT13:tad,
      author = {Eike M\"{o}hlmann and Oliver`Theel},
      title = {{Towards Automatic Detection of Implicit Equality Constraints in Stability Verification of Hybrid Systems}},
      booktitle = {Proc. of the 1st Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI '13)},
      year = 2013, address = {Cordoba, Argentina},
      month = nov, file = {:conaiisi13b.pdf:PDF} }
  • [inproceedings] bibtex
    M. O. Abdelaal und O. Theel, "Efficient and Adaptive Data Compression Technique for Energy Conservation in Wireless Sensor Networks," in Proc. Proc. of the 1stIEEE International Conference on Wireless Sensors (ICWiSe '13), Kuching, Sarawak, Malaysia, 2013.
    @INPROCEEDINGS{AT13:ead,
      author = {Mohamed O. Abdelaal and Oliver Theel},
      title = {{Efficient and Adaptive Data Compression Technique for Energy Conservation in Wireless Sensor Networks}},
      booktitle = {Proc. of the 1stIEEE International Conference on Wireless Sensors (ICWiSe '13)},
      year = 2013, address = {Kuching, Sarawak, Malaysia},
      month = dec, publisher = {IEEE Computer Society},
      file = {:icwise13.pdf:PDF} }
  • [inproceedings] bibtex
    M. O. Abdelaal und O. Theel, "Power Management in Wireless Sensor Networks: Challenges and Solutions," in Proc. Proc. of the International Conference in Central Asia on Internet (ICI '13), Tashkent, Uzbekistan, 2013.
    @INPROCEEDINGS{AT13:pmw,
      author = {Mohamed O. Abdelaal and Oliver Theel},
      title = {{Power Management in Wireless Sensor Networks: Challenges and Solutions}},
      booktitle = {Proc. of the International Conference in Central Asia on Internet (ICI '13)},
      year = 2013, address = {Tashkent, Uzbekistan},
      month = oct, organization = {IEEE},
      key = {ISBN 978-1-4799-0558-4},
      file = {:ici13b.pdf:PDF} }
  • [inproceedings] bibtex
    J. S. Becker, D. Rahmatov, und O. Theel, "Dependable Systems through Region-Adherent Distributed Algorithms," in Proc. Proc. of the International Conference in Central Asia on Internet (ICI '13), Tashkent, Uzbekistan, 2013.
    @INPROCEEDINGS{BRT13:dsr,
      author = {Jan Steffen Becker and Dilshod Rahmatov and Oliver Theel},
      title = {{Dependable Systems through Region-Adherent Distributed Algorithms}},
      booktitle = {Proc. of the International Conference in Central Asia on Internet (ICI '13)},
      year = 2013, address = {Tashkent, Uzbekistan},
      month = oct, organization = {IEEE},
      key = {ISBN 978-1-4799-0558-4},
      file = {:ici13a.pdf:PDF} }
  • [article] bibtex
    N. Müllner, O. Theel, und M. Fränzle, "Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System," Journal of Computer and System Sciences, vol. 79, iss. 7, pp. 1113-1125, 2013.
    @ARTICLE{MTF13:cdr,
      author = {Nils M{\"u}llner and Oliver Theel and Martin Fr{\"a}nzle},
      title = {{Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System}},
      journal = {Journal of Computer and System Sciences},
      publisher = {Elsevier},
      year = 2013, volume = 79, pages = {1113-1125},
      number = 7, ee = {http://dx.doi.org/10.1016/j.jcss.2013.01.022},
      file = {:jcss13.pdf:PDF;} }
  • [inproceedings] bibtex
    E. Möhlmann und O. Theel, "Stabhyli: A Tool for Automatic Stability Verification of Non-linear Hybrid Systems," in Proc. Proc. of the 16th International Conference on Hybrid systems: Computation and Control (HSCC 2013), 2013, pp. 107-112.
    @INPROCEEDINGS{MT13:sta,
      author = {Eike M\"ohlmann and Oliver Theel},
      title = {{Stabhyli: A Tool for Automatic Stability Verification of Non-linear Hybrid Systems}},
      booktitle = {Proc. of the 16th International Conference on Hybrid systems: Computation and Control (HSCC 2013)},
      year = 2013, editor = {Calin Belta, Franjo Ivancic (Eds.)},
      number = {ISBN 978-1-4503-1567-8},
      pages = {107--112},
      month = {apr},
      organization = {ACM},
      file = {:hscc13.pdf:PDF} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    R. Schadek und O. Theel, "A Universal Quorum Protocol for N-Dimensional Structures," in Proc. Proc. of the 1st Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI '13), Cordoba, Argentina, 2013.
    @INPROCEEDINGS{RT13:uqp,
      author = {Robert Schadek and Oliver Theel},
      title = {{A Universal Quorum Protocol for N-Dimensional Structures}},
      booktitle = {Proc. of the 1st Argentinian National Conference on Engineer Informatics and Information Systems (CoNaIISI '13)},
      year = 2013, editor = {Marcelo M. Marciszack and Roberto M. Mu{\ {n}}oz and Mario A. Groppo},
      address = {Cordoba, Argentina},
      month = nov, publisher = {Red de Carreras de Ingenier{\'{i}}a Inform{\'{a}}tica / Sistemas de Informati{\'{o}}n (RIISIC)},
      file = {:conaiisi13a.pdf:PDF},
      issn = {2346-9927},
      url = {http://conaiisi.frc.utn.edu.ar/PDFsParaPublicar/1/schedConfs/1/105-511-1-DR.pdf} }
  • [inproceedings] bibtex
    N. Müllner, O. Theel, und M. Fränzle, "Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System," in Proc. Proc. of the IEEE 26th International Conference on Advanced Information Networking and Applications (AINA '12), Fukuoka, Japan, 2012, pp. 936-943.
    @INPROCEEDINGS{MTF12:cdr,
      author = {Nils M{\"u}llner and Oliver Theel and Martin Fr{\"a}nzle},
      title = {{Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System}},
      booktitle = {Proc. of the IEEE 26th International Conference on Advanced Information Networking and Applications (AINA '12)},
      year = 2012, editor = {Leonard Barolli and Tomoya Enokido and Fatos Xhafa and Makoto Takizawa},
      pages = {936-943},
      address = {Fukuoka, Japan},
      month = mar, publisher = {IEEE Computer Society},
      note = {Best Paper},
      abstract = {Verifying fault tolerance properties of a distributed system can be achieved by state space analysis via Markov chains. Yet, the power of such exact analytic methods is confined by exponential growth of the chain's state space in the size of the system modeled. We propose a method that alleviates this limit. Lumping is a well known reduction technique that can be applied to a Markov chain to prune redundant information. We propose a system decomposition to employ lumping piecewise on the considerably smaller Markov chains of the subsystems which are much more likely to be tractable. Recomposing the lumped Markov chains of the subsystems results in a state space that is likely to be considerably smaller. An example demonstrates how the limiting window availability (i.e. a fault tolerance property) can be computed for a system while exploiting the combination of lumping and decomposition.},
      ee = {http://doi.ieeecomputersociety.org/10.1109/AINA.2012.127},
      file = {:aina12.pdf:PDF},
      isbn = {978-1-4673-0714-7} }
  • [inproceedings] bibtex
    N. Müllner und O. Theel, "The Degree of Masking Fault Tolerance vs. Temporal Redundancy," in Proc. Proc. of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA 2011), Track ``7th International Symposium on Frontiers of Information Systems and Networks Applications (FINA '11)'', Biopolis, Singapore, 2011, pp. 21-28.
    @INPROCEEDINGS{MT11:dmf,
      author = {Nils M{\"u}llner and Oliver Theel},
      title = {{The Degree of Masking Fault Tolerance vs. Temporal Redundancy}},
      booktitle = {Proc. of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA 2011), Track ``7th International Symposium on Frontiers of Information Systems and Networks Applications (FINA '11)''},
      year = 2011, pages = {21-28},
      address = {Biopolis, Singapore},
      month = mar, publisher = {IEEE Computer Society},
      ee = {http://dx.doi.org/10.1109/WAINA.2011.137},
      file = {:waina11.pdf:PDF} }
  • [inproceedings] bibtex
    J. Kamenik, C. Peuser, V. Gollücke, D. Lorenz, R. Piechocki, M. Wasmann, und O. Theel, "ZeDDS -- Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users," in Proc. Proc. of the 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM '11), Lisbon, Portugal, 2011, pp. 11-16.
    @INPROCEEDINGS{KPG+11:zft,
      author = {Jens Kamenik and Christoph Peuser and Volker Goll\"{u}cke and Daniel Lorenz and Roland Piechocki and Merlin Wasmann and Oliver Theel},
      title = {{ZeDDS -- Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users}},
      booktitle = {Proc. of the 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM '11)},
      year = 2011, pages = {11-16},
      address = {Lisbon, Portugal},
      month = nov, organization = {IARIA},
      note = {ISSN: 2308-4278},
      file = {:ubicomm11.pdf:PDF},
      isbn = {978-1-61208-171-7} }
  • [inproceedings] bibtex
    J. Kamenik und O. Theel, "Optimized Data-Available Storage for Energy-Limited Wireless Sensor Networks," in Proc. Proc. of the 36th IEEE Conference on Local Computer Networks (LCN '11), Bonn, Germany, 2011, pp. 1011-1019.
    @INPROCEEDINGS{KT11:ods,
      author = {Jens Kamenik and Oliver Theel},
      title = {{Optimized Data-Available Storage for Energy-Limited Wireless Sensor Networks}},
      booktitle = {Proc. of the 36th IEEE Conference on Local Computer Networks (LCN '11)},
      year = 2011, editor = {Chun Tung Chou and Tom Pfeifer and Anura P. Jayasumana},
      pages = {1011-1019},
      address = {Bonn, Germany},
      month = oct, publisher = {IEEE},
      ee = {http://dx.doi.org/10.1109/LCN.2011.6115155},
      file = {:lcn11.pdf:PDF},
      isbn = {978-1-61284-926-3} }
  • [inproceedings] bibtex
    P. Crouzen, E. M. Hahn, H. Hermanns, A. Dhama, O. Theel, R. Wimmer, Bettina`Braitling, und Bernd`Becker, "Bounded Fairness for Probabilistic Distributed Algorithms," in Proc. Proc. of the 11th International Conference on Application of Concurrency to System Design (ACSD '11), Newcastle Upon Tyne, UK, 2011, pp. 89-97.
    @INPROCEEDINGS{CHH+11:bfp,
      author = {Pepijn Crouzen and Ernst Moritz Hahn and Holger Hermanns and Abhishek Dhama and Oliver Theel and Ralf Wimmer and Bettina`Braitling and Bernd`Becker},
      title = {{Bounded Fairness for Probabilistic Distributed Algorithms}},
      booktitle = {Proc. of the 11th International Conference on Application of Concurrency to System Design (ACSD '11)},
      year = 2011, editor = {Beno\^{\i}t Caillaud and Josep Carmona and Kunihiko Hiraishi},
      pages = {89-97},
      address = {Newcastle Upon Tyne, UK},
      month = jun, publisher = {IEEE},
      note = {Best Paper Award},
      ee = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.21},
      file = {:acsd11.pdf:PDF},
      isbn = {978-0-7695-4387-1} }
  • [inproceedings] bibtex
    O. Theel, "Forschendes Lernen -- Seminare im Konferenzstil (Poster)," in Proc. Proc. of the Conference "Forschendes Lernen -- Hochschuldidaktische Konzepte und internationale Perspektiven," NOWETAS '10, Oldenburg and Bremen, Germany, 2010.
    @INPROCEEDINGS{The10:fls,
      author = {Oliver Theel},
      title = {{Forschendes Lernen -- Seminare im Konferenzstil (Poster)}},
      booktitle = {Proc. of the Conference "Forschendes Lernen -- Hochschuldidaktische Konzepte und internationale Perspektiven," NOWETAS '10},
      year = 2010, address = {Oldenburg and Bremen, Germany},
      month = nov, organization = {NOWETAS Stiftung},
      ee = {http://www.nowetas.de/cms/46-0-Konferenz.html},
      file = {:nowetas10.pdf:PDF;} }
  • [inproceedings] bibtex
    K. K. Iakab und O. Theel, "The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off," in Proc. Proc. of the IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '10), Taipei, Taiwan, 2010, pp. 507-514.
    @INPROCEEDINGS{IT10:ipo,
      author = {Kinga Kiss Iakab and Oliver Theel},
      title = {{The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off}},
      booktitle = {Proc. of the IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '10)},
      year = 2010, pages = {507-514},
      address = {Taipei, Taiwan},
      month = sep, publisher = {IEEE},
      ee = {http://doi.ieeecomputersociety.org/10.1109/ISPA.2010.61},
      file = {:ispa10.pdf:PDF},
      isbn = {978-1-4244-8095-1} }
  • [inproceedings] bibtex
    R. Wimmer, Bettina`Braitling, B. Becker, E. M. Hahn, P. Crouzen, H. Hermanns, A. Dhama, und O. Theel, "Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems," in Proc. Proc. of the 7th International Conference on the Quantitative Evaluation of Systems (QEST '10), Williamsburg, Virginia, U.S.A., 2010, pp. 27-36.
    @INPROCEEDINGS{WBB+10:scl,
      author = {Ralf Wimmer and Bettina`Braitling and Bernd Becker and Ernst Moritz Hahn and Pepijn Crouzen and Holger Hermanns and Abhishek Dhama and Oliver Theel},
      title = {{Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems}},
      booktitle = {Proc. of the 7th International Conference on the Quantitative Evaluation of Systems (QEST '10)},
      year = 2010, pages = {27-36},
      address = {Williamsburg, Virginia, U.S.A.},
      month = sep, publisher = {IEEE Computer Society},
      ee = {http://dx.doi.org/10.1109/QEST.2010.12},
      file = {:qest10.pdf:PDF},
      isbn = {978-0-7695-4188-4} }
  • [inproceedings] bibtex
    K. K. Iakab, F. Jonathan-Oppermann, O. Theel, und J. Kamenik, "Exploiting Semantic Quorum-Based Data Replication in Wireless Sensor Networks," in Proc. Prof. of the 9. Fachgespräch Sensornetze der GI/ITG Fachgruppe Kommunikation und Verteilte Systeme, Würzburg, Germany, 2010, pp. 63-66.
    @INPROCEEDINGS{IOTK10:esq,
      author = {Kinga Kiss Iakab and Felix Jonathan-Oppermann and Oliver Theel and Jens Kamenik},
      title = {{Exploiting Semantic Quorum-Based Data Replication in Wireless Sensor Networks}},
      booktitle = {Prof. of the 9. Fachgespr{\"a}ch Sensornetze der GI/ITG Fachgruppe Kommunikation und Verteilte Systeme},
      year = 2010, editor = {Reiner Kolla},
      number = {urn:nbn:de:bvb:20-opus-51106},
      pages = {63--66},
      address = {W{\"u}rzburg, Germany},
      month = sep, organization = {GI/ITG Fachgruppe KuVS},
      publisher = {University of W{\"u}rzburg, Germany},
      file = {:fgsn10.pdf:PDF;:fgsn10.ps:PostScript} }
  • [inproceedings] bibtex
    A. Dhama und O. Theel, "A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms," in Proc. Proc. of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '10), New York, NY, U.S.A., 2010, pp. 80-95.
    @INPROCEEDINGS{DT10:tad,
      author = {Abhishek Dhama and Oliver Theel},
      title = {{A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms}},
      booktitle = {Proc. of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '10)},
      year = 2010, editor = {Shlomi Dolev and Jorge Arturo Cobb and Michael J. Fischer and Moti Yung},
      volume = 6366, series = {Lecture Notes in Computer Science},
      pages = {80-95},
      address = {New York, NY, U.S.A.},
      month = sep, publisher = {Springer},
      ee = {http://dx.doi.org/10.1007/978-3-642-16023-3_9},
      file = {:sss10.pdf:PDF},
      isbn = {978-3-642-16022-6} }
  • [inproceedings] bibtex
    K. K. Iakab, C. Storm, und O. Theel, "Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability," in Proc. Proc. of the 11th International Conference on Distributed Computing and Networking (ICDCN '10), Kolkata, India, 2010, pp. 446-458.
    @INPROCEEDINGS{IST10:cdp,
      author = {Kinga Kiss Iakab and Christian Storm and Oliver Theel},
      title = {{Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability}},
      booktitle = {Proc. of the 11th International Conference on Distributed Computing and Networking (ICDCN '10)},
      year = 2010, editor = {Krishna Kant and Sriram V. Pemmaraju and Krishna M. Sivalingam and Jie Wu},
      volume = 5935, series = {Lecture Notes in Computer Science},
      pages = {446-458},
      address = {Kolkata, India},
      month = jan, publisher = {Springer},
      ee = {http://dx.doi.org/10.1007/978-3-642-11322-2_42},
      file = {:icdcn10.pdf:PDF},
      isbn = {978-3-642-11321-5} }
  • [inproceedings] bibtex
    N. Müllner, A. Dhama, und O. Theel, "Deriving a Good Trade-off Between System Availability and Time Redundancy," in Proc. Proc. of the Symposia and Workshops on Ubiquitous, Automatic and Trusted Computing, Track "International Symposium on UbiCom Frontiers -- Innovative Research, Systems and Technologies (Ufirst '09), Brisbane, QLD, Australia, 2009, pp. 61-67.
    @INPROCEEDINGS{MDT09:dgt,
      author = {Nils M{\"u}llner and Abhishek Dhama and Oliver Theel},
      title = {{Deriving a Good Trade-off Between System Availability and Time Redundancy}},
      booktitle = {Proc. of the Symposia and Workshops on Ubiquitous, Automatic and Trusted Computing, Track "International Symposium on UbiCom Frontiers -- Innovative Research, Systems and Technologies (Ufirst '09)},
      year = 2009, number = {ISBN 978-0-7695-3737-5},
      pages = {61--67},
      address = {Brisbane, QLD, Australia},
      month = jul, publisher = {IEEE Computer Society Press},
      file = {:ufirst09.pdf:PDF;} }
  • [inproceedings] bibtex
    T. Warns, C. Storm, und O. Theel, "How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets," in Proc. Proc. of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '09), Higashi Hiroshima, Japan, 2009, pp. 354-359.
    @INPROCEEDINGS{WST09:hme,
      author = {Timo Warns and Christian Storm and Oliver Theel},
      title = {{How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets}},
      booktitle = {Proc. of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '09)},
      year = 2009, pages = {354-359},
      address = {Higashi Hiroshima, Japan},
      month = dec, publisher = {IEEE Computer Society},
      ee = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2009.31},
      file = {:pdcat09.pdf:PDF;},
      isbn = {978-0-7695-3914-0} }
  • [inproceedings] bibtex
    A. Dhama, O. Theel, P. Crouzen, H. Hermanns, R. Wimmer, und B. Becker, "Dependability Engineering of Silent Self-stabilizing Systems," in Proc. Proc. of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '09), Lyon, France, 2009, pp. 238-253.
    @INPROCEEDINGS{DTC+09,
      author = {Abhishek Dhama and Oliver Theel and Pepijn Crouzen and Holger Hermanns and Ralf Wimmer and Bernd Becker},
      title = {{Dependability Engineering of Silent Self-stabilizing Systems}},
      booktitle = {Proc. of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '09)},
      year = {2009},
      editor = {Rachid Guerraoui and Franck Petit},
      volume = {5873},
      series = {Lecture Notes in Computer Science},
      pages = {238-253},
      address = {Lyon, France},
      month = nov, publisher = {Springer},
      ee = {http://dx.doi.org/10.1007/978-3-642-05118-0_17},
      file = {:sss09.pdf:PDF;},
      isbn = {978-3-642-05117-3} }
  • [inproceedings] bibtex
    J. Oehlerking und O. Theel, "A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems," in Proc. Proc. of the International Symposium on Automated Technology for Verification and Analysis (ATVA '09), Macao, China, 2009, pp. 151-165.
    @INPROCEEDINGS{OT09:dps,
      author = {Jens Oehlerking and Oliver Theel},
      title = {{A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems}},
      booktitle = {Proc. of the International Symposium on Automated Technology for Verification and Analysis (ATVA '09)},
      year = 2009, editor = {Zhiming Liu and Anders P. Ravn},
      volume = 5799, series = {Lecture Notes in Computer Science},
      pages = {151-165},
      address = {Macao, China},
      month = oct, publisher = {Springer},
      ee = {http://dx.doi.org/10.1007/978-3-642-04761-9_13},
      file = {:atva09.pdf:PDF;},
      isbn = {978-3-642-04760-2} }
  • [inproceedings] bibtex
    C. Storm und O. Theel, "A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes," in Proc. Proc. of the 10th International Conference on Distributed Computing and Networking (ICDCN '09), Hyderabad, India, 2009, pp. 349-361.
    @INPROCEEDINGS{ST09:gaa,
      author = {Christian Storm and Oliver Theel},
      title = {{A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes}},
      booktitle = {Proc. of the 10th International Conference on Distributed Computing and Networking (ICDCN '09)},
      year = 2009, editor = {Vijay K. Garg and Roger Wattenhofer and Kishore Kothapalli},
      volume = 5408, series = {Lecture Notes in Computer Science},
      pages = {349-361},
      address = {Hyderabad, India},
      month = jan, publisher = {Springer},
      ee = {http://dx.doi.org/10.1007/978-3-540-92295-7_42},
      file = {:icdcn09.pdf:PDF;},
      isbn = {978-3-540-92294-0} }
  • [inproceedings] bibtex
    J. Oehlerking und O. Theel, "Decompositional Construction of Lyapunov Functions for Hybrid Systems," in Proc. Proc. of 12th International Conference on Hybrid Systems: Computation and Control (HSCC '09), San Francisco, CA, USA, 2009, pp. 276-290.
    @INPROCEEDINGS{OT09:dcl,
      author = {Jens Oehlerking and Oliver Theel},
      title = {{Decompositional Construction of Lyapunov Functions for Hybrid Systems}},
      booktitle = {Proc. of 12th International Conference on Hybrid Systems: Computation and Control (HSCC '09)},
      year = 2009, editor = {Rupak Majumdar and Paulo Tabuada},
      volume = 5469, series = {Lecture Notes in Computer Science},
      pages = {276-290},
      address = {San Francisco, CA, USA},
      month = apr, publisher = {Springer},
      note = {Postprint version},
      ee = {http://dx.doi.org/10.1007/978-3-642-00602-9_20},
      file = {:hscc09.pdf:PDF;},
      isbn = {978-3-642-00601-2} }
  • [inproceedings] bibtex
    C. Storm, T. Warns, und O. Theel, "Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes," in Proc. Proc. of the 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '08), Taipei, Taiwan, 2008, pp. 200-207.
    @INPROCEEDINGS{SWT08:fhs,
      author = {Christian Storm and Timo Warns and Oliver Theel},
      title = {{Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes}},
      booktitle = {Proc. of the 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '08)},
      year = {2008},
      pages = {200-207},
      address = {Taipei, Taiwan},
      month = dec, publisher = {IEEE Computer Society},
      ee = {http://dx.doi.org/10.1109/PRDC.2008.49},
      file = {:prdc08.pdf:PDF;} }
  • [inproceedings] bibtex
    N. Müllner, A. Dhama, und O. Theel, "Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation," in Proc. Proc. of the 41st Annual Symposium on Simulation (ANSS'08), Los Alamitos, CA, USA, 2008, pp. 183-192.
    @INPROCEEDINGS{MDT08:dft,
      author = {Nils M{\"u}llner and Abhishek Dhama and Oliver Theel},
      title = {{Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation}},
      booktitle = {Proc. of the 41st Annual Symposium on Simulation (ANSS'08)},
      year = {2008},
      pages = {183--192},
      address = {Los Alamitos, CA, USA},
      month = apr, publisher = {IEEE Computer Society Press},
      abstract = {Fault tolerance measures can be used to distinguish between different self-stabilizing solutions to the same problem. However, derivation of these measures via analysis suffers from limitations with respect to scalability of and applicability to a wide class of self-stabilizing distributed algorithms. We describe a simulation framework to derive fault tolerance measures for self-stabilizing algorithms which can deal with the complete class of self-stabilizing al- gorithms. We show the advantages of the simulation framework in contrast to the analytical approach not only by means of accuracy of results, range of applicable scenarios and performance, but also for investigation of the influence of schedulers on a meta level and the possibility to simulate large scale systems featuring dynamic fault probabilities.},
      file = {:anss08.pdf:PDF;},
      location = {Ottawa, Ontario, Canada} }
  • [inproceedings] bibtex
    C. Storm und O. Theel, "Availability Analysis of General Dynamic Data Replication Schemes," in Proc. Proc. of the Work-in-Progress Session of the 16th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP '08), 2008, pp. 9-10.
    @INPROCEEDINGS{ST08:aag,
      author = {Christian Storm and Oliver Theel},
      title = {{Availability Analysis of General Dynamic Data Replication Schemes}},
      booktitle = {Proc. of the Work-in-Progress Session of the 16th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP '08)},
      year = {2008},
      editor = {Erwin Grosspietsch and Konrad Kl\"{o}ckner},
      number = {SEA-SR-18},
      series = {SEA Publications},
      pages = {9--10},
      month = feb, organization = {EUROMICRO},
      publisher = {Institute for Systems Engineering and Automation, Johannes Kepler University Linz, Austria},
      file = {:pdp08.pdf:PDF;},
      key = {ISBN 978-3-902457-18-9} }
  • [inproceedings] bibtex
    J. Oehlerking, H. Burchardt, und O. Theel, "Fully Automated Stability Verification for Piecewise Affine Systems," in Proc. Proc. of the 10th IEEE International Conference on Hybrid Systems: Computations and Control (HSCC '07), 2007, pp. 741-745.
    @INPROCEEDINGS{OBT07:fas,
      author = {Jens Oehlerking and Henning Burchardt and Oliver Theel},
      title = {{Fully Automated Stability Verification for Piecewise Affine Systems}},
      booktitle = {Proc. of the 10th IEEE International Conference on Hybrid Systems: Computations and Control (HSCC '07)},
      year = {2007},
      editor = {Alberto Bemporad and Antonio Bicchi and Giorgio Buttazzo},
      volume = {4416},
      series = {Lecture Notes in Computer Science},
      pages = {741--745},
      publisher = {Springer},
      abstract = {We provide a framework for fully automated stability verification of piecewise affine systems, both in discrete and continuous time. Starting from the well known linear matrix inequality approach for piecewise quadratic Lyapunov functions, we provide algorithms for the remaining steps needed for full automation. This includes the choice of an adequate state space partitioning into regions and the possible transitions trajectories can take between the regions. To demonstrate the viability of our algorithms, we give examples of systems for which Lyapunov functions can be computed fully automatically.},
      file = {:hscc07.pdf:PDF;},
      keywords = {piecewise affine systems, stability verification, linear matrix inequalities} }
  • [inproceedings] bibtex
    A. Dhama, J. Oehlerking, und O. Theel, "Verification of Orbitally Self-Stabilizing Distributed Algorithms using Lyapunov Functions and Poincare Maps," in Proc. Proc. of the 1st Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID '06), 2006.
    @INPROCEEDINGS{DOT06:vos,
      author = {Abhishek Dhama and Jens Oehlerking and Oliver Theel},
      title = {{Verification of Orbitally Self-Stabilizing Distributed Algorithms using Lyapunov Functions and Poincare Maps}},
      booktitle = {Proc. of the 1st Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID '06)},
      year = {2006},
      editor = {Joseph L. Hellerstein and Xiaoyun Zhu and Tarek Abdelzaher},
      month = {April},
      organization = {IEEE Communications Society},
      file = {:febid06.pdf:PDF;},
      keywords = {Fault Tolerance, Self-Stabilization, Verification, Hybrid Systems, Lyapunov Theory, Poincare Maps} }
  • [inproceedings] bibtex
    A. Dhama, J. Oehlerking, und O. Theel, "Verification of Orbitally Self-stabilizing Distributed Algorithms using Lyapunov Functions and Poincaré Maps," in Proc. Proc. of the 12th International Conference on Parallel and Distributed Systems (ICPADS '06), 2006, pp. 23-30.
    @INPROCEEDINGS{DOT06a:vos,
      author = {Abhishek Dhama and Jens Oehlerking and Oliver Theel},
      title = {{Verification of Orbitally Self-stabilizing Distributed Algorithms using {Lyapunov} Functions and {Poincar\'{e}} Maps}},
      booktitle = {Proc. of the 12th International Conference on Parallel and Distributed Systems (ICPADS '06)},
      year = {2006},
      pages = {23--30},
      publisher = {IEEE Computer Society},
      note = {SOURCE-IMPORT-FEHLTImproved version of the paper published at FeBID'06},
      abstract = {Self-stabilization is a novel method for achieving fault tolerance in distributed applications. A self-stabilizing algorithm will reach a legal set of states, regardless of the starting state or states adopted due to the effects of transient faults, in finite time. However, proving self-stabilization is a difficult task. In this paper, we present a method for showing self-stabilization of a class of non-silent distributed algorithms, namely orbitally self-stabilizing algorithms. An algorithm of this class is modeled as a hybrid feedback control system. We then employ the control theoretic methods of Poincar´e maps and Lyapunov functions to show convergence to an orbit cycle.},
      file = {:icpads06.pdf:PDF;} }
  • [inproceedings] bibtex
    C. Storm und O. Theel, "Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data," in Proc. Proc. of the 1st International Conference on Availability, Reliability and Security (ARES '06), 2006, pp. 245-253.
    @INPROCEEDINGS{ST06:had,
      author = {Christian Storm and Oliver Theel},
      title = {{Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data}},
      booktitle = {Proc. of the 1st International Conference on Availability, Reliability and Security (ARES '06)},
      year = {2006},
      pages = {245--253},
      month = {April},
      organization = {IEEE Computer Society},
      publisher = {IEEE Computer Society Press},
      file = {:ares06.pdf:PDF;} }
  • [inproceedings] bibtex
    A. Dhama, O. Theel, und T. Warns, "Reliability and Availability Analysis of Self-Stabilizing Systems," in Proc. Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '06), 2006, pp. 244-261.
    @INPROCEEDINGS{DTW06:raa,
      author = {Abhishek Dhama and Oliver Theel and Timo Warns},
      title = {{Reliability and Availability Analysis of Self-Stabilizing Systems}},
      booktitle = {Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '06)},
      year = {2006},
      volume = {4280},
      series = {Lecture Notes in Computer Science},
      pages = {244--261},
      publisher = {Springer},
      file = {:sss06.pdf:PDF;},
      isbn = {978-3540490180} }
  • [article] bibtex
    J. Oehlerking, H. Burchardt, und O. Theel, "Towards Automatic Verification of Affine Hybrid System Stability," SIGBED Review, Special Issue on IEEE RTAS 2005 Work-in-Progress, vol. 2, iss. 2, pp. 27-30, 2005.
    @ARTICLE{OBT05:tav,
      author = {Jens Oehlerking and Henning Burchardt and Oliver Theel},
      title = {{Towards Automatic Verification of Affine Hybrid System Stability}},
      journal = {SIGBED Review, Special Issue on IEEE RTAS 2005 Work-in-Progress},
      year = {2005},
      volume = {2},
      pages = {27 -- 30},
      number = {2},
      abstract = {A well-known approach to show stability for feedback control systems uses so-called Lyapunov functions which measure the ``energy'' of the system under investigation. In our project, we are concerned with automatically proving hybrid system stability using this approach. In a first phase, we focus on a special subclass of hybrid systems, namely piecewise affine hybrid systems. There are powerful methods of verfifying stability for such systems described in the literature, however, these approaches require inputs provided by a human proof designer based on his or her intuition and expert knowledge of the problem domain. The work presented in this paper reports on our current status with respect to achieve full automatization of the stability verification task. The goal is to be able to prove stability of piecewise affine hybrid systems ``by the push of a button'' and without any further knowledge provided by a human user. In the future, we plan to extend and to complement the approach in order to cope with more general non-linear systems, possibly through approximation.},
      ee = {http://doi.acm.org/10.1145/1121788.1121797},
      file = {:rtas05.pdf:PDF;} }
  • [inproceedings] bibtex
    H. Burchardt, J. Oehlerking, und O. Theel, "The Role of State-space Partitioning in Automated Verification of Affine Hybrid System Stability," in Proc. Proc. of the 3rd International Conference on Computing, Communications and Control Technologies (CCCT'05), 2005, pp. 187-192.
    @INPROCEEDINGS{BOT05:rss,
      author = {Henning Burchardt and Jens Oehlerking and Oliver Theel},
      title = {{The Role of State-space Partitioning in Automated Verification of Affine Hybrid System Stability}},
      booktitle = {Proc. of the 3rd International Conference on Computing, Communications and Control Technologies (CCCT'05)},
      year = {2005},
      volume = {1},
      pages = {187--192},
      publisher = {International Institute of Informatics and Systemics},
      abstract = {In this paper we examine methods for automatic stability verification of hybrid feedback control systems. We utilize a linear matrix inequality approach that allows efficient computation of a Lyapunov-like energy function by partitioning the state space and finding a separate function for each region. The prerequisites for automation of this method are presented in detail. These include the choice of a suitable state space partitioning and knowledge about possible transitions between those regions. An algorithm for the latter problem is outlined, as well as examples that illustrate how to suitably choose partitionings.},
      file = {:ccct05.pdf:PDF;},
      keywords = {stability, hybrid systems, Lyapunov functions, piecewise affine systems, linear matrix inequalities, partitioning} }
  • [inproceedings] bibtex
    T. Strauß und O. E. Theel, "Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans," in Proc. Proc. of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'05), part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, 2005, pp. 461-466.
    @INPROCEEDINGS{ST05:ido,
      author = {Thomas Strau{\ss} and Oliver E. Theel},
      title = {{Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans}},
      booktitle = {Proc. of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'05), part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria},
      year = {2005},
      editor = {Thomas Fahringer and M. H. Hamza},
      pages = {461--466},
      month = feb, publisher = {IASTED/ACTA Press},
      file = {:pdcn05.pdf:PDF;},
      isbn = {0-88986-470-5} }
  • [inproceedings] bibtex
    H. Burchardt, J. Oehlerking, und O. Theel, "Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems," in Proc. Proc. of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05), Changsha, Hunan, China, 2005, pp. 374-378.
    @INPROCEEDINGS{BOT05:tpb,
      author = {Henning Burchardt and Jens Oehlerking and Oliver Theel},
      title = {{Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems}},
      booktitle = {Proc. of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05), Changsha, Hunan, China},
      year = {2005},
      pages = {374--378},
      month = dec, publisher = {IEEE Computer Society},
      abstract = {Stability is an important system property. In this paper we examine the steps toward fully automated stability verification for a class of discrete-time hybrid systems. These systems are hybrid in the sense that they can have several modes with possibly different discrete-time dynamics. For systems with affine discrete-time dynamics in each mode, we employ a method that is based on Lyapunov theory and reduces the verification task to convex optimization. We detail the steps that are needed for automatic stability verification using this method: 1) choice of a state space partitioning 2) calculation of possible transitions between the different regions of the partitioning and 3) conversion of the problem into linear matix inequalities, which can be solved through convex optimization. For steps 2) and 3) we present solutions that are suitable for full automation.},
      ee = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2005.59},
      file = {:prdc05.pdf:PDF;},
      isbn = {0-7695-2492-3} }
  • [inproceedings] bibtex
    J. Oehlerking, A. Dhama, und O. Theel, "Towards Automatic Convergence Verification of Self-Stabilizing Algorithms," in Proc. Proc. of the 7th International Symposium on Self-Stabilization (SSS'05), Barcelona, Spain, 2005, pp. 198-213.
    @INPROCEEDINGS{ODT05:tac,
      author = {Jens Oehlerking and Abhishek Dhama and Oliver Theel},
      title = {{Towards Automatic Convergence Verification of Self-Stabilizing Algorithms}},
      booktitle = {Proc. of the 7th International Symposium on Self-Stabilization (SSS'05), Barcelona, Spain},
      year = {2005},
      editor = {Sebastien Tixeuil and Ted Herman},
      series = {Lecture Notes in Computer Science 3764},
      pages = {198--213},
      month = oct, publisher = {Springer},
      abstract = {The verification of the self-stabilization property of a distributed algorithm is a complicated task. By exploiting certain analogies between self-stabilizing distributed algorithms and globally asymptotically stable feedback systems, techniques originally developed for the verification of feedback system stability can be adopted for the verification of selfstabilization of distributed algorithms. In this paper, we show how for a certain subclass of dynamic systems - namely piecewise affine hybrid systems - and distributed algorithms suitable to be modeled in terms of these dynamic systems, a proof of convergence can be obtained fully automatically. Together with some additional non-automated arguments, the complete proof of self-stabilization can be derived.},
      ee = {http://dx.doi.org/10.1007/11577327_14},
      file = {:sss05.pdf:PDF;} }
  • [inproceedings] bibtex
    H. Niemann, W. Hasselbring, M. Hülsmann, und O. Theel, "Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie," in Proc. Proc. of the German Database Conference Datenbanksysteme für Business, Technologie und Web (BTW2003), Leipzig, Germany, 2003, pp. 443-452.
    @INPROCEEDINGS{NHH+03:rar,
      author = {Heiko Niemann and Wilhelm Hasselbring and Michael H\"{u}lsmann and Oliver Theel},
      title = {{Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie}},
      booktitle = {Proc. of the German Database Conference Datenbanksysteme f\"{u}r Business, Technologie und Web (BTW2003), Leipzig, Germany},
      year = {2003},
      pages = {443--452},
      month = {February},
      publisher = {German Computer Society},
      file = {:btw03.pdf:PDF},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    T. S. und O. Theel, "Integration of a Dynamic Object Replication Framework in Java," in Proc. Proc. of the 11th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP2003), Genoa, Italy, 2003, pp. 258-265.
    @INPROCEEDINGS{ST03:ido,
      author = {Thomas Strau\ss{} and Oliver Theel},
      title = {{Integration of a Dynamic Object Replication Framework in Java}},
      booktitle = {Proc. of the 11th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP2003), Genoa, Italy},
      year = {2003},
      pages = {258--265},
      month = {February},
      publisher = {IEEE Computer Society},
      file = {:pdp03.pdf:PDF;:pdp03.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "An Exercise in Proving Self-Stabilization through Ljapunov Functions," in Proc. Proc. of the 21st Intern. Conference on Distributed Computing Systems (ICDCS'01), Phoenix, AZ, U.S.A., 2001.
    @INPROCEEDINGS{The01:eps,
      author = {Oliver Theel},
      title = {{An Exercise in Proving Self-Stabilization through Ljapunov Functions}},
      booktitle = {Proc. of the 21st Intern. Conference on Distributed Computing Systems (ICDCS'01), Phoenix, AZ, U.S.A.},
      year = {2001},
      month = {April},
      organization = {IEEE},
      file = {:icdcs01.pdf:PDF;:icdcs01.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "A New Verification Technique for Self-Stabilizing Distributed Algorithms Based on Variable Structure Systems and Ljapuov Theory," in Proc. Proc. of the 34th Hawaiian International Conference on System Sciences (HICSS-34), Maui, HI, U.S.A., 2001.
    @INPROCEEDINGS{The01:nvt,
      author = {Oliver Theel},
      title = {{A New Verification Technique for Self-Stabilizing Distributed Algorithms Based on Variable Structure Systems and Ljapuov Theory}},
      booktitle = {Proc. of the 34th Hawaiian International Conference on System Sciences (HICSS-34), Maui, HI, U.S.A.},
      year = {2001},
      month = {January},
      organization = {IEEE},
      file = {:hicss01.pdf:PDF;:hicss01.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "On a Control-Theoretic Approach for Proving Termination," in Proc. Proc. of the 5th Intern. Workshop on Termination (WST'01), Utrecht, The Netherlands. Logic Group Preprint Series No. 209, 2001.
    @INPROCEEDINGS{The01:cap,
      author = {Oliver Theel},
      title = {{On a Control-Theoretic Approach for Proving Termination}},
      booktitle = {Proc. of the 5th Intern. Workshop on Termination (WST'01), Utrecht, The Netherlands. Logic Group Preprint Series No. 209},
      year = {2001},
      editor = {N. Dershowitz and A. Visser},
      month = {May},
      publisher = {Utrecht University, Department of Philosophy},
      file = {:wst01.pdf:PDF;:wst01.ps:PostScript},
      key = {ISBN 90-393-2765-3},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [article] bibtex
    B. D. Fleisch, H. Michel, S. K. Shah, und O. E. Theel, "Fault Tolerance and Configurability in DSM Coherence Protocols," IEEE Concurrency, vol. 8, iss. 2, pp. 10-21, 2000.
    @ARTICLE{FMS+00:ftc,
      author = {Brett D. Fleisch and Heiko Michel and Sachin K. Shah and Oliver E. Theel},
      title = {{Fault Tolerance and Configurability in DSM Coherence Protocols}},
      journal = {IEEE Concurrency},
      year = {2000},
      volume = {8},
      pages = {10-21},
      number = {2},
      ee = {http://doi.ieeecomputersociety.org/10.1109/4434.846189},
      file = {:ieee-concurrency00.pdf:PDF;} }
  • [inproceedings] bibtex
    H. Pagnia, O. Theel, und H. Schupp, "Transparent Management of Replicated WWW Document Clusters," in Proc. Proc. of the IEEE International Conference on Parallel and Distributed Systems: Workshops (ICPADS'00), Iwate, Japan, 2000, pp. 263-268.
    @INPROCEEDINGS{PTS00:tmr,
      author = {Henning Pagnia and Oliver Theel and Hans Schupp},
      title = {{Transparent Management of Replicated WWW Document Clusters}},
      booktitle = {Proc. of the IEEE International Conference on Parallel and Distributed Systems: Workshops (ICPADS'00), Iwate, Japan},
      year = {2000},
      pages = {263--268},
      month = {July},
      organization = {IEEE},
      file = {:icpads00.pdf:PDF;:icpads00.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "A Verification Technique for Self-Stabilizing Algorithms based on Ljapunov's ``Second Method'' (Brief Announcement)," in Proc. Proc. of the 19th Annual Symposium on Principles of Distributed Computing (PODC'00), Portland, OR, U.S.A., 2000, p. 331.
    @INPROCEEDINGS{The00:bav,
      author = {Oliver Theel},
      title = {{A Verification Technique for Self-Stabilizing Algorithms based on Ljapunov's ``Second Method'' (Brief Announcement)}},
      booktitle = {Proc. of the 19th Annual Symposium on Principles of Distributed Computing (PODC'00), Portland, OR, U.S.A.},
      year = {2000},
      pages = {331},
      month = {July},
      organization = {ACM SIGACT-SIGOPS},
      file = {:podc00.pdf:PDF;:podc00.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "Proving Convergence and Closure of Self-Stabilizing Algorithms through Ljapunov's ``Second Method''," in Proc. Proc. of the 3rd International Symposium on Intelligent Automation and Control (ISIAC'00), being part of the 4th Biannual World Automation Congress (WAC'00), Maui, HI, U.S.A., 2000.
    @INPROCEEDINGS{The00:pcc,
      author = {Oliver Theel},
      title = {{Proving Convergence and Closure of Self-Stabilizing Algorithms through Ljapunov's ``Second Method''}},
      booktitle = {Proc. of the 3rd International Symposium on Intelligent Automation and Control (ISIAC'00), being part of the 4th Biannual World Automation Congress (WAC'00), Maui, HI, U.S.A.},
      year = {2000},
      editor = {Mo Jamshidi and Pierre Borne and Jila S. Jamshidi},
      series = {Intelligent Automation and Control: Rechent Trends in Development and Applications},
      month = {June},
      publisher = {TSI Press, Albuquerque, NM, U.S.A.},
      file = {:wac00.pdf:PDF;:wac00.ps:PostScript},
      key = {ISBN 1-889335-11-8},
      owner = {theel},
      timestamp = {2010-03-11},
      volumne = {9} }
  • [inproceedings] bibtex
    O. Theel, "Verification of Dijkstra's Self-Stabilizing Token Ring Algorithm by Means of Non-Linear Control System Analysis," in Proc. Proc. of the International Symposium on Computational Intelligence (CI'00) being part of the International Conference on Intelligent Systems and Applications (ISA'00), Wollongong, Australia, 2000, pp. 465-472.
    @INPROCEEDINGS{The00:vds,
      author = {Oliver Theel},
      title = {{Verification of Dijkstra's Self-Stabilizing Token Ring Algorithm by Means of Non-Linear Control System Analysis}},
      booktitle = {Proc. of the International Symposium on Computational Intelligence (CI'00) being part of the International Conference on Intelligent Systems and Applications (ISA'00), Wollongong, Australia},
      year = {2000},
      pages = {465--472},
      month = {December},
      organization = {ICSC},
      publisher = {ICSC Academic Press, Wetaskiwin, Canada},
      file = {:ci00.pdf:PDF;:ci00.ps:PostScript},
      key = {ISBN 3-906454-24-X},
      owner = {theel},
      timestamp = {2010-03-11},
      volumne = {2} }
  • [inproceedings] bibtex
    O. Theel, "Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms," in Proc. Proc. of the 14th Symposium on Distributed Computing (DISC'00), Toledo, Spain, LNCS Vol. 1914, 2000, pp. 209-222.
    @INPROCEEDINGS{The00:elt,
      author = {Oliver Theel},
      title = {{Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms}},
      booktitle = {Proc. of the 14th Symposium on Distributed Computing (DISC'00), Toledo, Spain, LNCS Vol. 1914},
      year = {2000},
      editor = {Maurice Herlihy},
      series = {Lecture Notes in Computer Science},
      pages = {209--222},
      month = {October},
      publisher = {Springer-Verlag},
      file = {:disc00.pdf:PDF;:disc00.ps:PostScript},
      key = {ISBN 3-540-41143-7},
      owner = {theel},
      timestamp = {2010-03-11},
      volumne = {1914} }
  • [inproceedings] bibtex
    O. Theel und F. C. Gärtner, "An Exercise in Proving Convergence through Transfer Functions," in Proc. Proc. of the 4th Workshop on Self-Stabilizing Systems (WSS'99), being part of the 19th International Conference on Distributed Computer Systems (ICDCS'99), Austin, TX, U.S.A., 1999, pp. 41-47.
    @INPROCEEDINGS{TG99:epc,
      author = {Oliver Theel and Felix C. G\"{a}rtner},
      title = {{An Exercise in Proving Convergence through Transfer Functions}},
      booktitle = {Proc. of the 4th Workshop on Self-Stabilizing Systems (WSS'99), being part of the 19th International Conference on Distributed Computer Systems (ICDCS'99), Austin, TX, U.S.A.},
      year = {1999},
      pages = {41-47},
      month = {June},
      organization = {IEEE},
      file = {:wss99.pdf:PDF;:wss99.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und F. C. Gärtner, "On Proving Termination through Transfer Functions (Extended Abstract)," in Proc. Proc. of the 4th International Workshop on Termination (WST'99), Dagstuhl, Germany, 1999, pp. 46-47.
    @INPROCEEDINGS{TG99:ptt,
      author = {Oliver Theel and Felix C. G\"{a}rtner},
      title = {{On Proving Termination through Transfer Functions (Extended Abstract)}},
      booktitle = {Proc. of the 4th International Workshop on Termination (WST'99), Dagstuhl, Germany},
      year = {1999},
      editor = {J\"{u}rgen Giesl},
      pages = {46-47},
      month = {May},
      file = {:wst99.pdf:PDF;:wst99.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und M. Pizka, "Distributed Caching and Replication," in Proc. Proc. of the 32nd International Conference on System Sciences (HICSS-32), Maui, Hawaii, U.S.A., 1999, pp. 283-284.
    @INPROCEEDINGS{TP99:dcr,
      author = {Oliver Theel and Markus Pizka},
      title = {{Distributed Caching and Replication}},
      booktitle = {Proc. of the 32nd International Conference on System Sciences (HICSS-32), Maui, Hawaii, U.S.A.},
      year = {1999},
      pages = {283--284},
      month = {January},
      organization = {IEEE},
      file = {:hicss99.pdf:PDF;:hicss99.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und T. S., "An Excursion to the Zoo of Coterie-based Replication Schemes," in Proc. Proc. of the 28th International Conference on Parallel Processing (ICPP'99), Aizu, Japan, 1999, pp. 344-352.
    @INPROCEEDINGS{TS99:ezc,
      author = {Oliver Theel and Thomas Strau\ss{}},
      title = {{An Excursion to the Zoo of Coterie-based Replication Schemes}},
      booktitle = {Proc. of the 28th International Conference on Parallel Processing (ICPP'99), Aizu, Japan},
      year = {1999},
      pages = {344-352},
      month = {September},
      organization = {IEEE},
      file = {:icpp99.pdf:PDF;:icpp99.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    H. Pagnia und O. Theel, "On Improving Replication Protocols through Priorities (Extended Abstract)," in Proc. Proc. of the 7th International Symposium on High Performance Distributed Computing (HPDC-7), Chicago, IL, U.S.A., 1998, pp. 342-343.
    @INPROCEEDINGS{PT98:irp,
      author = {Henning Pagnia and Oliver Theel},
      title = {{On Improving Replication Protocols through Priorities (Extended Abstract)}},
      booktitle = {Proc. of the 7th International Symposium on High Performance Distributed Computing (HPDC-7), Chicago, IL, U.S.A.},
      year = {1998},
      pages = {342--343},
      month = {July},
      file = {:hpcd98.pdf:PDF;:hpdc98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    H. Pagnia, O. Theel, und J. Iwik, "Replicated Documents for the World-wide Web," in Proc. Proc. of Euromedia, Leicester, UK, 1998, pp. 57-64.
    @INPROCEEDINGS{PTI98:rdw,
      author = {Henning Pagnia and Oliver Theel and J\"{u}rgen Iwik},
      title = {{Replicated Documents for the World-wide Web}},
      booktitle = {Proc. of Euromedia, Leicester, UK},
      year = {1998},
      pages = {57--64},
      month = {January},
      file = {:webtec98.pdf:PDF;:webtec98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und F. C. Gärtner, "Exploiting Control Theory for Proving the Stability of Distributed Algorithms (Extended Abstract)," in Proc. Proc. of the 28th International Symposium on Fault-Tolerant Computing, Digest of FastAbstracts (FTCS-28), München, Germany, 1998, pp. 62-63.
    @INPROCEEDINGS{TG98:ect,
      author = {Oliver Theel and Felix C. G\"{a}rtner},
      title = {{Exploiting Control Theory for Proving the Stability of Distributed Algorithms (Extended Abstract)}},
      booktitle = {Proc. of the 28th International Symposium on Fault-Tolerant Computing, Digest of FastAbstracts (FTCS-28), M\"{u}nchen, Germany},
      year = {1998},
      pages = {62--63},
      month = {June},
      file = {:ftcs98fastabs.pdf:PDF;:ftcs98fastabs.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und H. Pagnia, "Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities," in Proc. Proc. of the 28th International Symposium on Fault-Tolerant Computing (FTCS-28), München, Germany, 1998, pp. 252-261.
    @INPROCEEDINGS{TP98:orc,
      author = {Oliver Theel and Henning Pagnia},
      title = {{Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities}},
      booktitle = {Proc. of the 28th International Symposium on Fault-Tolerant Computing (FTCS-28), M\"{u}nchen, Germany},
      year = {1998},
      pages = {252--261},
      month = {June},
      file = {:ftcs98.pdf:PDF;:ftcs98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    A. Mostefaoui und O. Theel, "Shrinking Timestamp Sizes of Event Ordering Protocols," in Proc. Proc. of the International Conference on Parallel and Distributed Systems (ICPADS'98), Tainan, Taiwan, R.O.C., 1998, pp. 193-200.
    @INPROCEEDINGS{MT98:sts,
      author = {Achour Mostefaoui and Oliver Theel},
      title = {{Shrinking Timestamp Sizes of Event Ordering Protocols}},
      booktitle = {Proc. of the International Conference on Parallel and Distributed Systems (ICPADS'98), Tainan, Taiwan, R.O.C.},
      year = {1998},
      pages = {193--200},
      month = {December},
      organization = {IEEE},
      file = {:icpads98.pdf:PDF;:icpads98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    H. Pagnia und O. Theel, "Priority-based Quorum Protocols for Replicated Objects," in Proc. Proc. of the 2nd International Conference on Parallel and Distributed Computing and Networks (PDCN'98), Brisbane, Australia, 1998, pp. 530-535.
    @INPROCEEDINGS{PT98:pqp,
      author = {Henning Pagnia and Oliver Theel},
      title = {{Priority-based Quorum Protocols for Replicated Objects}},
      booktitle = {Proc. of the 2nd International Conference on Parallel and Distributed Computing and Networks (PDCN'98), Brisbane, Australia},
      year = {1998},
      pages = {530--535},
      month = {December},
      organization = {IASTED},
      file = {:pdcn98.pdf:PDF;:pdcn98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    H. Pagnia und O. Theel, "Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects," in Proc. Proc. of the 31th Hawaii Intern. Conference on System Sciences, HICSS-31, Hawaii, Hawaii, U.S.A., 1998, pp. 599-600.
    @INPROCEEDINGS{PT98:std,
      author = {Henning Pagnia and Oliver Theel},
      title = {{Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects}},
      booktitle = {Proc. of the 31th Hawaii Intern. Conference on System Sciences, HICSS-31, Hawaii, Hawaii, U.S.A.},
      year = {1998},
      volume = {VII},
      pages = {599--600},
      month = {January},
      file = {:hicss98.pdf:PDF;:hicss98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, H. Pagnia, A. Berger, und C. Liebig, "Enhancing the World-Wide Web through Transparent Integration of Document Replication," in Proc. Proc. of the International Conference on Information Systems, Analysis, and Synthesis being part of the World Multiconference on Systemics, Cybernetics, and Informatics (SCI'98), Orlando, FL, U.S.A., 1998, pp. 334-341.
    @INPROCEEDINGS{TPB+98:eww,
      author = {Oliver Theel and Henning Pagnia and Andreas Berger and Christoph Liebig},
      title = {{Enhancing the World-Wide Web through Transparent Integration of Document Replication}},
      booktitle = {Proc. of the International Conference on Information Systems, Analysis, and Synthesis being part of the World Multiconference on Systemics, Cybernetics, and Informatics (SCI'98), Orlando, FL, U.S.A.},
      year = {1998},
      pages = {334--341},
      month = {July},
      file = {:sci98.pdf:PDF;:sci98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11},
      volumne = {3} }
  • [inproceedings] bibtex
    O. Theel und T. S., "Automatic Generation of Dynamic Coterie-based Replication Schemes," in Proc. Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Las Vegas, NV, U.S.A., 1998, pp. 1606-1613.
    @INPROCEEDINGS{TS98:agd,
      author = {Oliver Theel and Thomas Strau\ss{}},
      title = {{Automatic Generation of Dynamic Coterie-based Replication Schemes}},
      booktitle = {Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Las Vegas, NV, U.S.A.},
      year = {1998},
      pages = {1606--1613},
      month = {July},
      file = {:pdpta98.pdf:PDF;:pdpta98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11},
      volumne = {4} }
  • [inproceedings] bibtex
    O. Theel und F. C. Gärtner, "On Proving the Stability of Distributed Algorithms: Self-Stabilitzation vs. Control Theory," in Proc. Proc. of the International Conference on Systems, Signals, Control, Computers (SSCC'98), Durban, South Africa, 1998, pp. 58-66.
    @INPROCEEDINGS{TG98:psd,
      author = {Oliver Theel and Felix C. G\"{a}rtner},
      title = {{On Proving the Stability of Distributed Algorithms: Self-Stabilitzation vs. Control Theory}},
      booktitle = {Proc. of the International Conference on Systems, Signals, Control, Computers (SSCC'98), Durban, South Africa},
      year = {1998},
      editor = {V. B. Baji\'{c}},
      pages = {58--66},
      month = {September},
      publisher = {IAAMSAD and SA branch of ANS},
      file = {:sscc98.pdf:PDF;:sscc98.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11},
      volumne = {3} }
  • [inproceedings] bibtex
    O. Theel und M. Raynal, "Static and Dynamic Adaptation of Transactional Consistency," in Proc. Proc. of the 30th Hawaii Intern. Conference on System Sciences, HICSS-30, Maui, Hawaii, 1997, pp. 533-542.
    @INPROCEEDINGS{TR97:sda,
      author = {Oliver Theel and Michel Raynal},
      title = {{Static and Dynamic Adaptation of Transactional Consistency}},
      booktitle = {Proc. of the 30th Hawaii Intern. Conference on System Sciences, HICSS-30, Maui, Hawaii},
      year = {1997},
      volume = {1},
      pages = {533--542},
      month = {January},
      file = {:hicss97.pdf:PDF;:hicss97.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [article] bibtex
    O. E. Theel und B. D. Fleisch, "The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems," Computer Journal, vol. 39, iss. 6, pp. 496-510, 1996.
    @ARTICLE{TF96:brc,
      author = {Oliver E. Theel and Brett D. Fleisch},
      title = {{The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems}},
      journal = {Computer Journal},
      year = {1996},
      volume = {39},
      pages = {496-510},
      number = {6},
      ee = {http://dx.doi.org/10.1093/comjnl/39.6.496},
      file = {:computer-journal96.pdf:PDF;:computer-journal96.ps:PostScript} }
  • [article] bibtex
    O. E. Theel und B. D. Fleisch, "A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs," IEEE Trans. on Parallel Distributed Systems, vol. 7, iss. 9, pp. 915-930, 1996.
    @ARTICLE{TF96:dcp,
      author = {Oliver E. Theel and Brett D. Fleisch},
      title = {{A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs}},
      journal = {IEEE Trans. on Parallel Distributed Systems},
      year = {1996},
      volume = {7},
      pages = {915-930},
      number = {9},
      ee = {http://doi.ieeecomputersociety.org/10.1109/71.536936},
      file = {:tpds96.pdf:PDF;} }
  • [inproceedings] bibtex
    H. Pagnia, C. Liebig, und O. Theel, "Mutual Trust between Customers and Providers of Distributed Services," in Proc. Proc. of the IASTED International Conference on Networks, Orlando, FL, 1996, pp. 87-90.
    @INPROCEEDINGS{PLT96:mtc,
      author = {Hans-Henning Pagnia and Christoph Liebig and Oliver Theel},
      title = {{Mutual Trust between Customers and Providers of Distributed Services}},
      booktitle = {{Proc. of the IASTED International Conference on Networks, Orlando, FL}},
      year = {1996},
      pages = {87 -- 90},
      month = {January},
      organization = {IASTED},
      file = {:icn96.pdf:PDF;:icn96.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    C. Liebig, H. Pagnia, F. Schwappacher, und O. Theel, "A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems," in Proc. Proc. of the 10th European Simulation Multiconference, ESM96, Budapest, Hungary, 1996, pp. 842-851.
    @INPROCEEDINGS{LPS+96:qam,
      author = {Christoph Liebig and Hans-Henning Pagnia and Frank Schwappacher and Oliver Theel},
      title = {{A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems}},
      booktitle = {Proc. of the 10th European Simulation Multiconference, ESM96, Budapest, Hungary},
      year = {1996},
      editor = {Andras Javor and Axel Lehmann and Istvan Molnar},
      pages = {842--851},
      month = {June},
      organization = {SCS},
      file = {:esm96.pdf:PDF;:esm96.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und H. Pagnia, "Bounded Dynamic Data Allocation in Distributed Systems," in Proc. Proc. of the 3rd Intern. Conference on High Performance Computing (HiPC), Trivandrum, India, 1996, pp. 126-131.
    @INPROCEEDINGS{TP96:bdd,
      author = {Oliver Theel and Henning Pagnia},
      title = {{Bounded Dynamic Data Allocation in Distributed Systems}},
      booktitle = {Proc. of the 3rd Intern. Conference on High Performance Computing (HiPC), Trivandrum, India},
      year = {1996},
      pages = {126--131},
      month = {December},
      organization = {IEEE and ACM},
      publisher = {IEEE},
      file = {:hipc96.pdf:PDF;:hipc96.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    C. Liebig, H. Pagnia-Koch, F. Schwappacher, und O. Theel, "Applying Scalable Read Consistency to Data Replication," in Proc. Proc. of the 13th International Conference on Applied Informatics, Innsbruck, Austria, 1995.
    @INPROCEEDINGS{LPS+95:asr,
      author = {Christoph Liebig and Hans-Henning Pagnia-Koch and Frank Schwappacher and Oliver Theel},
      title = {{Applying Scalable Read Consistency to Data Replication}},
      booktitle = {Proc. of the 13th International Conference on Applied Informatics, Innsbruck, Austria},
      year = {1995},
      month = {February},
      organization = {IASTED},
      file = {:iasted95.pdf:PDF;:iasted95.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. E. Theel und B. D. Fleisch, "Analysis of a Fault-Tolerant Coherence Protocol for Distributed Shared Memory Systems Under Heavy Write Load," in Proc. Proc. of the Pacific Rim Intern. Symposium on Fault-Tolerant Systems, Newport Beach, CA, 1995, pp. 146-151.
    @INPROCEEDINGS{TF95:afc,
      author = {Oliver E. Theel and Brett D. Fleisch},
      title = {{Analysis of a Fault-Tolerant Coherence Protocol for Distributed Shared Memory Systems Under Heavy Write Load}},
      booktitle = {{Proc. of the Pacific Rim Intern. Symposium on Fault-Tolerant Systems, Newport Beach, CA}},
      year = {1995},
      pages = {146--151},
      month = {December},
      organization = {IEEE},
      file = {:prfts95.pdf:PDF;:prfts95.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. E. Theel und B. D. Fleisch, "Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling," in Proc. Proc. of the 24th Intern. Conf. on Parallel Processing, Oconomowoc, WI, 1995, p. i-126.
    @INPROCEEDINGS{TF95:dah,
      author = {Oliver E. Theel and Brett D. Fleisch},
      title = {{Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling}},
      booktitle = {{Proc. of the 24th Intern. Conf. on Parallel Processing, Oconomowoc, WI}},
      year = {1995},
      pages = {I-126 -- I-130},
      month = {August},
      organization = {IEEE},
      file = {:icpp95.pdf:PDF;:icpp95.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel und H. Pagnia-Koch, "General Design of Grid-based Data Replication Schemes Using Graphs and a Few Rules," in Proc. Proc. of the 15th International Conference on Distributed Computing Systems, Vancouver, CA, 1995, pp. 395-403.
    @INPROCEEDINGS{TP95:gdg,
      author = {Oliver Theel and Henning Pagnia-Koch},
      title = {{General Design of Grid-based Data Replication Schemes Using Graphs and a Few Rules}},
      booktitle = {Proc. of the 15th International Conference on Distributed Computing Systems, Vancouver, CA},
      year = {1995},
      pages = {395--403},
      month = {May},
      organization = {IEEE},
      file = {:icdcs95.pdf:PDF;:icdcs95.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "Rapid Replication Scheme Design using General Structured Voting," in Proc. Proc. of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 669-677.
    @INPROCEEDINGS{The94:rrs,
      author = {Oliver Theel},
      title = {{Rapid Replication Scheme Design using General Structured Voting}},
      booktitle = {Proc. of the 17th Annual Computer Science Conference, Christchurch, New Zealand},
      year = {1994},
      pages = {669--677},
      month = {January},
      note = {ISBN 0-473-02313-X},
      file = {:acsc94.pdf:PDF;:acsc94.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [phdthesis] bibtex
    O. E. Theel, "Ein vereinheitlichendes Konzept zur Konstruktion hochverfügbarer Dienste (in German)," PhD Thesis , 1993.
    @PHDTHESIS{The93:diss,
      author = {Oliver E. Theel},
      title = {{Ein vereinheitlichendes Konzept zur Konstruktion hochverf{\"u}gbarer Dienste (in German)}},
      school = {Darmstadt University of Technology, Department of Computer Science, Germany},
      year = {1993},
      file = {:diss-theel93.pdf:PDF;:diss-theel93.ps:PostScript},
      pages = {I-IX, 1-209} }
  • [inproceedings] bibtex
    O. Theel, "General Structured Voting: A Flexible Framework for Modelling Cooperations," in Proc. Proc. of the 13th International Conference on Distributed Computing Systems, Pittsburgh, PA, 1993, pp. 227-236.
    @INPROCEEDINGS{The93:gsv,
      author = {Oliver Theel},
      title = {{General Structured Voting: A Flexible Framework for Modelling Cooperations}},
      booktitle = {Proc. of the 13th International Conference on Distributed Computing Systems, Pittsburgh, PA},
      year = {1993},
      pages = {227--236},
      month = {May},
      organization = {IEEE},
      file = {:dcs93.pdf:PDF;:dcs93.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "Meeting the Application's Needs: A Design Study of a Highly Customized Replication Scheme," in Proc. Proc. of the 1993 Pacific Rim International Symposium on Fault Tolerant Computing, Melbourne, Australia, 1993, pp. 111-117.
    @INPROCEEDINGS{The93:man,
      author = {Oliver Theel},
      title = {{Meeting the Application's Needs: A Design Study of a Highly Customized Replication Scheme}},
      booktitle = {Proc. of the 1993 Pacific Rim International Symposium on Fault Tolerant Computing, Melbourne, Australia},
      year = {1993},
      pages = {111--117},
      month = {December},
      organization = {IEEE and ACS},
      file = {:prfts93.pdf:PDF;:prfts93.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    O. Theel, "A General Framework for Modelling Data Replication Schemes," in Proc. Proc. of the International Workshop on Modelling, Analysis and Simulation of Computer and Telecommunication Systems MASCOTS'93, San Diego, CA, 1993, pp. 247-250.
    @INPROCEEDINGS{The93:gfm,
      author = {Oliver Theel},
      title = {{A General Framework for Modelling Data Replication Schemes}},
      booktitle = {Proc. of the International Workshop on Modelling, Analysis and Simulation of Computer and Telecommunication Systems MASCOTS'93, San Diego, CA},
      year = {1993},
      editor = {H. Schwertman and J. Walrand and K. Bagchi and others},
      pages = {247--250},
      month = {January},
      organization = {SCS and IEEE},
      note = {ISBN 1-56555-018-8},
      file = {:mascots93.pdf:PDF;:mascots93.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [article] bibtex
    B. Freisleben, H. Koch, und O. Theel, "Designing Multi-Level Quorum Schemes for Highly Replicated Data (Extended version)," IEICE Transactions on Information and Systems, vol. E75-D, iss. 6, pp. 763-770, 1992.
    @ARTICLE{FKT92:dml,
      author = {Bernd Freisleben and Hans-Henning Koch and Oliver Theel},
      title = {{Designing Multi-Level Quorum Schemes for Highly Replicated Data (Extended version)}},
      journal = {IEICE Transactions on Information and Systems},
      year = {1992},
      volume = {E75-D},
      pages = {763--770},
      number = {6} }
  • [inproceedings] bibtex
    B. Freisleben, H. Koch, und O. Theel, "Providing Low Cost Read Access to Replicated Data with Multi--Level Voting," in Proc. Proc. of the 4th International Conference on Information Networks and Data Communication (INDC'92), Helsinki, Finland, 1992, pp. 357-376.
    @INPROCEEDINGS{FKT92:plc,
      author = {Bernd Freisleben and Hans-Henning Koch and Oliver Theel},
      title = {{Providing Low Cost Read Access to Replicated Data with Multi--Level Voting}},
      booktitle = {Proc. of the 4th International Conference on Information Networks and Data Communication (INDC'92), Helsinki, Finland},
      year = {1992},
      pages = {357--376},
      month = {March},
      organization = {IFIP},
      file = {:indc92.pdf:PDF;:indc92.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    B. Freisleben, H. Koch, und O. Theel, "Designing Multi-Level Quorum Schemes for Highly Replicated Data," in Proc. Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems, Kyoto, Japan, 1991, pp. 154-159.
    @INPROCEEDINGS{FKT91:dmq,
      author = {Bernd Freisleben and Hans-Henning Koch and Oliver Theel},
      title = {{Designing Multi-Level Quorum Schemes for Highly Replicated Data}},
      booktitle = {Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems, Kyoto, Japan},
      year = {1991},
      pages = {154--159},
      month = {September},
      organization = {IEEE},
      file = {:prfts91.pdf:PDF;:prfts91.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    B. Freisleben, H. Koch, und O. Theel, "The Electoral District Strategy for Replicated Data in Distributed Systems," in Proc. Proc. of the 5th International Conference of Fault-Tolerant Computing Systems, Nuremberg, Germany, 1991, pp. 100-111.
    @INPROCEEDINGS{FKT91:eds,
      author = {Bernd Freisleben and Hans-Henning Koch and Oliver Theel},
      title = {{The Electoral District Strategy for Replicated Data in Distributed Systems}},
      booktitle = {Proc. of the 5th International Conference of Fault-Tolerant Computing Systems, Nuremberg, Germany},
      year = {1991},
      pages = {100--111},
      month = {September},
      organization = {IEEE},
      file = {:giftcs91.pdf:PDF;:giftcs91.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }
  • [inproceedings] bibtex
    B. Freisleben, H. Koch, und O. Theel, "Replication Management in Large Networks," in Proc. Proc. of the 16th Annual Conference on Local Computer Networks, Minneapolis, MN, 1991, pp. 629-637.
    @INPROCEEDINGS{FKT91:rml,
      author = {Bernd Freisleben and Hans-Henning Koch and Oliver Theel},
      title = {{Replication Management in Large Networks}},
      booktitle = {Proc. of the 16th Annual Conference on Local Computer Networks, Minneapolis, MN},
      year = {1991},
      pages = {629--637},
      month = {September},
      organization = {IEEE},
      file = {:lcn91.pdf:PDF;:lcn91.ps:PostScript},
      owner = {theel},
      timestamp = {2010-03-11} }