Navigation

Skiplinks

Contact

EMail: scare@uol.d6t0e

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olderog@informatik.univbw-olde3bsr3nbur4ng.degf

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

ira.wkadvxemp+kwe@informatik.unskti-orgblblde7y/ffnbuaggvrg.de

Peer-reviewed publications

  • [inproceedings] bibtex | Go to document Go to document
    L. Elend and O. Kramer, "Self-Organizing Maps with Convolutional Layers," in Proc. Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization (WSOM), 2019, pp. 23-32.
    @inproceedings{Elend19, isbn = {978-3-030-19641-7},
      publisher = {Springer},
      volume = {976},
      series = {Advances in Intelligent Systems and Computing},
      editor = {Alfredo Vellido and Karina Gibert and Cecilio Angulo and Jos{\'{e}} David Mart{\'{\i}}n{-}Guerrero},
      title = {Self-Organizing Maps with Convolutional Layers},
      author = {Lars Elend and Oliver Kramer},
      booktitle = {Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization {(WSOM)}},
      year = {2019},
      pages = {23--32},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      biburl = {https://dblp.org/rec/bib/conf/wsom/ElendK19},
      doi = {10.1007/978-3-030-19642-4\_3},
      keywords = {peerreviewed,le},
      timestamp = {Tue, 30 Apr 2019 10:58:24 +0200},
      url = {https://doi.org/10.1007/978-3-030-19642-4\_3} }
  • M. Fränzle, M. Chen, and P. Kröger, "In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata," ACM SIGLOG News, vol. 6, iss. 1, pp. 19-39, 2019.
    @article{fraenzle:automatic-reachability:2019, title = {In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata},
      author = {Fr\"{a}nzle, Martin and Chen, Mingshuai and Kr\"{o}ger, Paul},
      journal = {ACM SIGLOG News},
      year = {2019},
      month = feb, number = {1},
      pages = {19--39},
      volume = {6},
      acmid = {3313913},
      address = {New York, NY, USA},
      doi = {10.1145/3313909.3313913},
      issn = {2372-3491},
      issue_date = {January 2019},
      keywords = {peerreviewed,mf},
      numpages = {21},
      publisher = {ACM},
      url = {http://doi.acm.org/10.1145/3313909.3313913} }
  • [inproceedings] bibtex | Go to document Go to document
    N. Worzyk and O. Kramer, "Properties of adv-1 - Adversarials of Adversarials," in Proc. 26th European Symposium on Artificial Neural Networks, ESANN 2018, Bruges, Belgium, April 25-27, 2018, 2018.
    @inproceedings{DBLP:conf/esann/WorzykK18,
      author = {Nils Worzyk and Oliver Kramer},
      title = {Properties of adv-1 - Adversarials of Adversarials},
      booktitle = {26th European Symposium on Artificial Neural Networks, {ESANN} 2018, Bruges, Belgium, April 25-27, 2018},
      year = {2018},
      url = {http://www.elen.ucl.ac.be/Proceedings/esann/esannpdf/es2018-164.pdf},
      timestamp = {Fri, 09 Nov 2018 12:29:56 +0100},
      biburl = {https://dblp.org/rec/bib/conf/esann/WorzykK18},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      keywords = {peerreviewed,nw} }
  • [inproceedings] bibtex | Go to document Go to document
    W. Damm, M. Fränzle, S. Gerwinn, and P. Kröger, "Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles," in Proc. AAAI Spring Symposium Series, 2018, pp. 512-515.
    @inproceedings{Damm2018, title = {Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles},
      author = {Werner Damm and Martin Fr{\"a}nzle and Sebastian Gerwinn and Paul Kr{\"o}ger},
      booktitle = {AAAI Spring Symposium Series},
      year = {2018},
      pages = {512-515},
      keywords = {peerreviewed,wd},
      owner = {ameier},
      timestamp = {2018.05.30},
      type = {techreport},
      url = {https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17526/15521} }
  • [inproceedings] bibtex
    X. Ma, P. Zhang, W. Tang, X. Li, W. He, F. Zhang, J. Wei, and O. Theel, "Competition: Using Enhanced OFPCOIN to Monitor Multiple Concurrent Events under Adverse Conditions," in Proc. International Conference on Embedded Wireless Systems and Networks, 2018, pp. 211-212.
    @inproceedings{Ma2018, title = {Competition: Using Enhanced {OFPCOIN} to Monitor Multiple Concurrent Events under Adverse Conditions},
      author = {Ma, Xiaoyuan and Zhang, Peilin and Tang, Weisheng and Li, Xin and He, Wangji and Zhang, Fuping and Wei, Jianming and Theel, Oliver},
      booktitle = {International Conference on Embedded Wireless Systems and Networks},
      year = {2018},
      note = {3rd place},
      pages = {211--212},
      series = {EWSN '18},
      keywords = {peerreviewed,mx},
      location = {Madrid, Spain},
      owner = {ameier},
      timestamp = {2018.02.19} }
  • [inproceedings] bibtex
    J. Zacharias and S. Fröschle, "Misbehavior detection system in VANETs using local traffic density," in Proc. 2018 IEEE Vehicular Networking Conference (VNC), 2018, pp. 1-4.
    @inproceedings{Zacharias18, title = {Misbehavior detection system in VANETs using local traffic density},
      author = {J. {Zacharias} and S. {Fröschle}},
      booktitle = {2018 IEEE Vehicular Networking Conference (VNC)},
      year = {2018},
      month = {Dec},
      pages = {1-4},
      doi = {10.1109/VNC.2018.8628321},
      issn = {2157-9865},
      owner = {ameier},
      timestamp = {2019.04.16},
      keywords = {peerreviewed,jz} }
  • M. Schwammberger, "An abstract model for proving safety of autonomous urban traffic," Theor. Comput. Sci., vol. 744, pp. 143-169, 2018.
    @article{DBLP:journals/tcs/Schwammberger18,
      author = {Maike Schwammberger},
      title = {An abstract model for proving safety of autonomous urban traffic},
      journal = {Theor. Comput. Sci.},
      volume = {744},
      pages = {143--169},
      year = {2018},
      url = {https://doi.org/10.1016/j.tcs.2018.05.028},
      doi = {10.1016/j.tcs.2018.05.028},
      timestamp = {Fri, 28 Sep 2018 17:00:52 +0200},
      biburl = {https://dblp.org/rec/bib/journals/tcs/Schwammberger18},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      keywords = {peerreviewed,ms} }
  • [article] bibtex
    P. Zhang, A. Y. Gao, and O. Theel, "Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks," EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, vol. 18, iss. 13, 2018.
    @article{Zhang2018, title = {Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks},
      author = {Peilin Zhang and Alex Yuan Gao and Oliver Theel},
      journal = {EAI Endorsed Transactions on Industrial Networks and Intelligent Systems},
      year = {2018},
      month = {3},
      number = {13},
      volume = {18},
      doi = {10.4108/eai.20-3-2018.154369},
      journal_a = {INIS},
      keywords = {peerreviewed,pz},
      owner = {ameier},
      publisher = {EAI},
      timestamp = {2018.03.21} }
  • [inproceedings] bibtex | Go to document Go to document
    N. Worzyk and O. Kramer, "Adversarials \(^\mbox-1\): Defending by Attacking," in Proc. 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, July 8-13, 2018, 2018, pp. 1-8.
    @inproceedings{DBLP:conf/ijcnn/WorzykK18, isbn = {978-1-5090-6014-6},
      publisher = {{IEEE}},
      author = {Nils Worzyk and Oliver Kramer},
      title = {Adversarials \({}^{\mbox{-1}}\): Defending by Attacking},
      booktitle = {2018 International Joint Conference on Neural Networks, {IJCNN} 2018, Rio de Janeiro, Brazil, July 8-13, 2018},
      pages = {1--8},
      year = {2018},
      url = {https://doi.org/10.1109/IJCNN.2018.8489630},
      doi = {10.1109/IJCNN.2018.8489630},
      timestamp = {Mon, 22 Oct 2018 13:07:32 +0200},
      biburl = {https://dblp.org/rec/bib/conf/ijcnn/WorzykK18},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      keywords = {peerreviewed,nw} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Fränzle and P. Kröger, "The Demon, the Gambler, and the Engineer -- Reconciling Hybrid-System Theory with Metrology," in Proc. Symposium on Real-Time and Hybrid Systems, Cham, 2018, pp. 165-185.
    @inproceedings{fraenzle:bha:2018, title = {The Demon, the Gambler, and the Engineer -- Reconciling Hybrid-System Theory with Metrology},
      author = {Martin Fr{\"a}nzle and Paul Kr{\"o}ger},
      booktitle = {Symposium on Real-Time and Hybrid Systems},
      year = {2018},
      address = {Cham},
      editor = {Cliff Jones and Ji Wang and Naijun Zhan},
      pages = {165-185},
      publisher = {Springer International Publishing},
      series = {Theoretical Computer Science and General Issues},
      volume = {11180},
      doi = {10.1007/978-3-030-01461-2_9},
      keywords = {peerreviewed,mf},
      url = {https://doi.org/10.1007/978-3-030-01461-2_9} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL," in Proc. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018., 2018, pp. 17-31.
    @inproceedings{DBLP:journals/corr/abs-1804-04346, volume = {269},
      series = {{EPTCS}},
      editor = {Mario Gleirscher and Stefan Kugele and Sven Linker},
      author = {Maike Schwammberger},
      title = {Introducing Liveness into Multi-lane Spatial Logic lane change controllers using {UPPAAL}},
      booktitle = {Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018.},
      pages = {17--31},
      year = {2018},
      url = {https://doi.org/10.4204/EPTCS.269.3},
      doi = {10.4204/EPTCS.269.3},
      timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
      biburl = {https://dblp.org/rec/bib/journals/corr/abs-1804-04346},
      bibsource = {dblp computer science bibliography, https://dblp.org},
      keywords = {peerreviewed,ms} }
  • [inproceedings] bibtex | Go to document Go to document
    A. Meier and O. Kramer, "Prediction with Recurrent Neural Networks in Evolutionary Dynamic Optimization," in Proc. Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings, 2018, pp. 848-863.
    @inproceedings{DBLP:conf/evoW/MeierK18, isbn = {978-3-319-77537-1},
      publisher = {Springer},
      volume = {10784},
      series = {Lecture Notes in Computer Science},
      editor = {Kevin Sim and Paul Kaufmann},
      author = {Almuth Meier and Oliver Kramer},
      title = {Prediction with Recurrent Neural Networks in Evolutionary Dynamic Optimization},
      booktitle = {Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings},
      pages = {848--863},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-77538-8_56},
      doi = {10.1007/978-3-319-77538-8_56},
      keywords = {peerreviewed,am},
      timestamp = {Thu, 08 Mar 2018 10:54:33 +0100},
      biburl = {https://dblp.org/rec/bib/conf/evoW/MeierK18},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    A. Meier and O. Kramer, "Recurrent Neural Network-predictions for PSO in Dynamic Optimization," in Proc. Genetic and Evolutionary Computation Conference, 2018, pp. 29-36.
    @inproceedings{MeierGECCO18, title = {Recurrent Neural Network-predictions for PSO in Dynamic Optimization},
      author = {Meier, Almuth and Kramer, Oliver},
      booktitle = {Genetic and Evolutionary Computation Conference},
      year = {2018},
      pages = {29--36},
      publisher = {ACM},
      series = {GECCO '18},
      acmid = {3205527},
      doi = {10.1145/3205455.3205527},
      isbn = {978-1-4503-5618-3},
      keywords = {peerreviewed,am},
      location = {Kyoto, Japan},
      numpages = {8},
      owner = {ameier},
      timestamp = {2018.07.05},
      url = {http://doi.acm.org/10.1145/3205455.3205527} }
  • [article] bibtex
    H. Radke, T. Arendt, J. S. Becker, A. Habel, and G. Taentzer, "Translating Essential OCL Invariants to Nested Graph Constraints for Generating Instances of Meta-models," Science of Computer Programming, 2017.
    @article{Radke+16,
      author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
      title = {Translating Essential OCL Invariants to Nested Graph Constraints for Generating Instances of Meta-models},
      journal = {Science of Computer Programming},
      volume = {},
      year = {2017},
      note = {Accepted modulo revision on 21 October 2016},
      keywords = {peerreviewed,hr} }
  • [inproceedings] bibtex
    A. Usman, P. Zhang, and O. Theel, "A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms," in Proc. 14th IEEE International Conference on Services Computing (SCC), 2017, pp. 495-498.
    @inproceedings{UsmanZhangTheel2017, title = {{A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms}},
      author = {A. Usman and P. Zhang and O. Theel},
      booktitle = {14th IEEE International Conference on Services Computing (SCC)},
      year = {2017},
      month = {June},
      pages = {495-498},
      doi = {10.1109/SCC.2017.73},
      keywords = {peerreviewed,au} }
  • [incollection] bibtex
    M. Fränzle, Y. Gao, and S. Gerwinn, "Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems," in Provably Correct Systems, Hinchey, M., Bowen, J. P., and Olderog, E., Eds., Springer, 2017.
    @incollection{martin2016procos,
      author = {Fr{\"a}nzle, Martin and Gao, Yang and Gerwinn, Sebastian},
      title = {Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems},
      editor = {Mike Hinchey and Jonathan P. Bowen and Ernst-R{\"u}diger Olderog},
      booktitle = {Provably Correct Systems},
      publisher = {Springer},
      series = {NASA Monographs in System and Software Engineering},
      year = {2017},
      note = {29 pages. In print: October 2016},
      keywords = {peerreviewed,yg} }
  • [inproceedings] bibtex
    P. Zhang, O. Landsiedel, and O. Theel, "MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks," in Proc. International Conference on Embedded Wireless Systems and Networks (EWSN), Uppsala, Sweden, 2017, pp. 36-47.
    @inproceedings{Zhang2017, title = {{MOR}: Multichannel Opportunistic Routing for Wireless Sensor Networks},
      author = {Peilin Zhang and Olaf Landsiedel and Oliver Theel},
      booktitle = {International Conference on Embedded Wireless Systems and Networks (EWSN)},
      year = {2017},
      address = {Uppsala, Sweden},
      month = {Feb},
      organization = {ACM},
      pages = {36--47},
      keywords = {peerreviewed,pz} }
  • J. Röbesaat, P. Zhang, M. Abdelaal, and O. Theel, "An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study," Sensors, vol. 17, iss. 5, 2017.
    @article{Roebesaat2017, title = {An Improved {BLE} Indoor Localization with Kalman-Based Fusion: An Experimental Study},
      author = {Jenny R{\"o}besaat and Peilin Zhang and Mohamed Abdelaal and Oliver Theel},
      journal = {Sensors},
      year = {2017},
      number = {5},
      volume = {17},
      doi = {10.3390/s17050951},
      issn = {1424-8220},
      url = {http://www.mdpi.com/1424-8220/17/5/951},
      keywords = {peerreviewed,pz} }
  • [inproceedings] bibtex | Go to document Go to document
    E. -R. Olderog and M. Schwammberger, "Formalising a Hazard Warning Communication Protocol with Timed Automata," in Proc. Models, Algorithms, Logics and Tools, 2017, pp. 640-660.
    @inproceedings{OlderogSchwammberger17,
      author = {E.-R. Olderog and M. Schwammberger},
      title = {Formalising a Hazard Warning Communication Protocol with Timed Automata},
      editor = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Axel Legay and Radu Mardare},
      booktitle = {Models, Algorithms, Logics and Tools},
      pages = {640--660},
      series = {LNCS},
      volume = {10460},
      publisher = {Springer},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-63121-9_32},
      keywords = {peerreviewed,ms} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Symbolic vs. Bounded Synthesis for Petri Games," in Proc. Sixth Workshop on Synthesis, Heidelberg, Germany, 22nd July 2017, 2017, pp. 23-43.
    @inproceedings{EPTCS260.5, title = {Symbolic vs. Bounded Synthesis for Petri Games},
      author = {Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-R\"udiger},
      booktitle = {Sixth Workshop on Synthesis, Heidelberg, Germany, 22nd July 2017},
      year = {2017},
      editor = {Fisman, Dana and Jacobs, Swen},
      pages = {23-43},
      publisher = {Open Publishing Association},
      series = {Electronic Proceedings in Theoretical Computer Science},
      volume = {260},
      doi = {10.4204/EPTCS.260.5},
      keywords = {peerreviewed,bf},
      url = {https://arxiv.org/abs/1711.10637} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Ody, "Monitoring of Traffic Manoeuvres with Imprecise Information," in Proc. First Workshop on Formal Verification of Autonomous Vehicles, Turin, Italy, 19th September 2017, 2017, pp. 43-58.
    @inproceedings{Ody17, title = {Monitoring of Traffic Manoeuvres with Imprecise Information},
      author = {Ody, Heinrich},
      booktitle = {{First Workshop on} Formal Verification of Autonomous Vehicles, {Turin, Italy, 19th September 2017}},
      year = {2017},
      editor = {Bulwahn, Lukas and Kamali, Maryam and Linker, Sven},
      pages = {43-58},
      publisher = {Open Publishing Association},
      series = {Electronic Proceedings in Theoretical Computer Science},
      volume = {257},
      doi = {10.4204/EPTC.257.6},
      keywords = {peerreviewed,ho},
      url = {https://arxiv.org/abs/1709.02558v1} }
  • E. Badouel and U. Schlachter, "Incremental Process Discovery using Petri Net Synthesis," Fundam. Inform., vol. 154, iss. 1-4, pp. 1-13, 2017.
    @article{DBLP:journals/fuin/BadouelS17, title = {Incremental Process Discovery using Petri Net Synthesis},
      author = {Eric Badouel and Uli Schlachter},
      journal = {Fundam. Inform.},
      year = {2017},
      number = {1-4},
      pages = {1--13},
      volume = {154},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.org/rec/bib/journals/fuin/BadouelS17},
      doi = {10.3233/FI-2017-1548},
      keywords = {peerreviewed.eb},
      timestamp = {Thu, 17 Aug 2017 16:21:56 +0200},
      url = {https://doi.org/10.3233/FI-2017-1548} }
  • [inproceedings] bibtex | Go to document Go to document
    N. Müllner, S. Khan, M. H. Rahman, W. Afzal, and M. Saadatmand, "Simulation-Based Safety Testing Brake-By-Wire," in Proc. ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 2017, pp. 61-64.
    @inproceedings{Muellner2017, title = {Simulation-Based Safety Testing Brake-By-Wire},
      author = {Nils M{\"u}llner and Saifullah Khan and Md Habibur Rahman and Wasif Afzal and Mehrdad Saadatmand},
      booktitle = {ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems},
      year = {2017},
      month = {March},
      pages = {61--64},
      publisher = {{IEEE} Computer Society},
      doi = {10.1109/ICSTW.2017.17},
      isbn = {978-1-5090-6676-6},
      keywords = {peerreviewed.nm},
      owner = {habib},
      timestamp = {2017.12.14},
      url = {http://ieeexplore.ieee.org/abstract/document/7899034/} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Schwammberger, "Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres," in Proc. First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017., 2017, pp. 59-74.
    @inproceedings{DBLP:journals/corr/abs-1709-02559, volume = {257},
      series = {{EPTCS}},
      editor = {Lukas Bulwahn and Maryam Kamali and Sven Linker},
      author = {Maike Schwammberger},
      title = {Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres},
      booktitle = {First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.},
      pages = {59--74},
      year = {2017},
      url = {https://doi.org/10.4204/EPTCS.257.7},
      doi = {10.4204/EPTCS.257.7},
      timestamp = {Mon, 16 Oct 2017 16:32:11 +0200},
      biburl = {http://dblp.org/rec/bib/journals/corr/abs-1709-02559},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,ms} }
  • [inproceedings] bibtex | Go to document Go to document
    E. Erofeev and H. Wimmel, "Reachability Graphs of Two-Transition Petri Nets," in Proc. International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017., 2017, pp. 39-54.
    @inproceedings{DBLP:conf/apn/ErofeevW17, urn = {urn:nbn:de:0074-1847-5},
      volume = {1847},
      series = {{CEUR} Workshop Proceedings},
      publisher = {CEUR-WS.org},
      editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona},
      author = {Evgeny Erofeev and Harro Wimmel},
      title = {Reachability Graphs of Two-Transition Petri Nets},
      booktitle = {International Workshop on Algorithms {\&} Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design {ACSD} 2017, Zaragoza, Spain, June 26-27, 2017.},
      pages = {39--54},
      year = {2017},
      url = {http://ceur-ws.org/Vol-1847/paper03.pdf},
      timestamp = {Wed, 25 Oct 2017 18:40:07 +0200},
      biburl = {http://dblp.org/rec/bib/conf/apn/ErofeevW17},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,ee} }
  • [inproceedings] bibtex | Go to document Go to document
    U. Schlachter and V. Spreckels, "Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets," in Proc. International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017., 2017, pp. 122-130.
    @inproceedings{DBLP:conf/apn/SchlachterS17, urn = {urn:nbn:de:0074-1847-5},
      volume = {1847},
      series = {{CEUR} Workshop Proceedings},
      publisher = {CEUR-WS.org},
      editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona},
      title = {Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets},
      author = {Uli Schlachter and Valentin Spreckels},
      booktitle = {International Workshop on Algorithms {\&} Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design {ACSD} 2017, Zaragoza, Spain, June 26-27, 2017.},
      year = {2017},
      pages = {122--130},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.org/rec/bib/conf/apn/SchlachterS17},
      keywords = {peerreviewed,us},
      timestamp = {Wed, 25 Oct 2017 18:40:07 +0200},
      url = {http://ceur-ws.org/Vol-1847/paper09.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    E. Best, R. R. Devillers, and U. Schlachter, "A Graph-Theoretical Characterisation of State Separation," in Proc. SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, 2017, pp. 163-175.
    @inproceedings{DBLP:conf/sofsem/BestDS17,
      author = {Eike Best and Raymond R. Devillers and Uli Schlachter},
      title = {A Graph-Theoretical Characterisation of State Separation},
      booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings},
      pages = {163--175},
      year = {2017},
      url = {http://dx.doi.org/10.1007/978-3-319-51963-0_13},
      doi = {10.1007/978-3-319-51963-0_13},
      timestamp = {Wed, 11 Jan 2017 11:03:34 +0100},
      editor = {Bernhard Steffen and Christel Baier and Mark van den Brand and Johann Eder and Mike Hinchey and Tiziana Margaria},
      series = {Lecture Notes in Computer Science},
      volume = {10139},
      publisher = {Springer},
      biburl = {http://dblp.dagstuhl.de/rec/bib/conf/sofsem/BestDS17},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,us} }
  • [inproceedings] bibtex | Go to document Go to document
    A. Usman, R. Schadek, and O. Theel, "A Novel Highly Available Data Replication Strategy exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge," in Proc. 22nd IEEE Pacific Rim Intern. Symp. on Dependable Computing -- PRDC 2017, 2017.
    @inproceedings{UsmanSchadekTheel16,
      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},
      editor = {},
      booktitle = {22nd IEEE Pacific Rim Intern. Symp. on Dependable Computing -- PRDC 2017},
      series = {},
      volume = {},
      publisher = {IEEE},
      pages = {},
      month = {Jan.},
      year = {2017},
      url = {},
      doi = {},
      note = {10 pages. Accepted on 26 Sept. 2016},
      keywords = {peerreviewed,au},
      optnote = {SCARE Acknowledgement} }
  • [inproceedings] bibtex | Go to document Go to document
    P. Zhang, A. Y. Gao, and O. Theel, "Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding," in Proc. Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, New York, NY, USA, 2017, pp. 323-332.
    @inproceedings{Zhang2017LessIsMore, title = {Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding},
      author = {Zhang, Peilin and Gao, Alex Yuan and Theel, Oliver},
      booktitle = {Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services},
      year = {2017},
      address = {New York, NY, USA},
      pages = {323--332},
      publisher = {ACM},
      series = {MobiQuitous 2017},
      acmid = {3144482},
      doi = {10.1145/3144457.3144482},
      isbn = {978-1-4503-5368-7},
      keywords = {peerreviewed,pz},
      location = {Melbourne, VIC, Australia},
      numpages = {10},
      url = {http://doi.acm.org/10.1145/3144457.3144482} }
  • K. Barylska, E. Best, U. Schlachter, and V. Spreckels, "Properties of Plain, Pure, and Safe Petri Nets," Transactions on Petri Nets and Other Models of Concurrency, vol. 12, pp. 1-18, 2017.
    @article{DBLP:journals/topnoc/BarylskaBSS17, isbn = {978-3-662-55861-4},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Maciej Koutny and Jetty Kleijn and Wojciech Penczek},
      title = {Properties of Plain, Pure, and Safe Petri Nets},
      author = {Kamila Barylska and Eike Best and Uli Schlachter and Valentin Spreckels},
      journal = {Transactions on Petri Nets and Other Models of Concurrency},
      year = {2017},
      pages = {1--18},
      volume = {12},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.org/rec/bib/journals/topnoc/BarylskaBSS17},
      doi = {10.1007/978-3-662-55862-1_1},
      keywords = {peerreviewed,kb},
      timestamp = {Thu, 21 Sep 2017 06:18:59 +0200},
      url = {https://doi.org/10.1007/978-3-662-55862-1_1} }
  • [inproceedings] bibtex | Go to document Go to document
    U. Schlachter and H. Wimmel, "K-Bounded Petri Net Synthesis from Modal Transition Systems," in Proc. 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, 2017, p. 6:1-6:15.
    @inproceedings{DBLP:conf/concur/SchlachterW17, isbn = {978-3-95977-048-4},
      volume = {85},
      series = {LIPIcs},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
      editor = {Roland Meyer and Uwe Nestmann},
      title = {k-Bounded Petri Net Synthesis from Modal Transition Systems},
      author = {Uli Schlachter and Harro Wimmel},
      booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017, September 5-8, 2017, Berlin, Germany},
      year = {2017},
      pages = {6:1--6:15},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.org/rec/bib/conf/concur/SchlachterW17},
      doi = {10.4230/LIPIcs.CONCUR.2017.6},
      keywords = {peerreviewed.us},
      timestamp = {Thu, 28 Sep 2017 13:37:47 +0200},
      url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.6} }
  • [inproceedings] bibtex | Go to document Go to document
    A. Meier and O. Kramer, "An Experimental Study of Dimensionality Reduction Methods," in Proc. KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings, 2017, pp. 178-192.
    @inproceedings{DBLP:conf/ki/MeierK17, isbn = {978-3-319-67189-5},
      publisher = {Springer},
      volume = {10505},
      series = {Lecture Notes in Computer Science},
      editor = {Gabriele Kern{-}Isberner and Johannes F{\"{u}}rnkranz and Matthias Thimm},
      author = {Almuth Meier and Oliver Kramer},
      title = {An Experimental Study of Dimensionality Reduction Methods},
      booktitle = {{KI} 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings},
      pages = {178--192},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-67190-1_14},
      doi = {10.1007/978-3-319-67190-1_14},
      keywords = {peerreviewed.am},
      timestamp = {Tue, 19 Sep 2017 16:35:39 +0200},
      biburl = {http://dblp.org/rec/bib/conf/ki/MeierK17},
      bibsource = {dblp computer science bibliography, http://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    A. Usman, P. Zhang, and O. Theel, "An Efficient and Updatable Item-to-item Frequency Matrix for Frequent Itemset Generation," in Proc. International Conference on Internet of Things and Cloud Computing, New York, NY, USA, 2017, p. 85:1-85:6.
    @inproceedings{Usman:2017:EUI:3018896.3025133, title = {An Efficient and Updatable Item-to-item Frequency Matrix for Frequent Itemset Generation},
      author = {Usman, Awais and Zhang, Peilin and Theel, Oliver},
      booktitle = {International Conference on Internet of Things and Cloud Computing},
      year = {2017},
      address = {New York, NY, USA},
      pages = {85:1--85:6},
      publisher = {ACM},
      series = {ICC '17},
      acmid = {3025133},
      articleno = {85},
      doi = {10.1145/3018896.3025133},
      isbn = {978-1-4503-4774-7},
      keywords = {peerreviewed,au},
      location = {Cambridge, United Kingdom},
      numpages = {6},
      url = {http://doi.acm.org/10.1145/3018896.3025133} }
  • [inproceedings] bibtex
    E. Best, E. K. Erofeev, U. Schlachter, and H. Wimmel, "Characterising Petri Net Solvable Binary Words," in Proc. Application and Theory of Petri Nets and Concurrency - 37th International Conference, 2016.
    @inproceedings{PNBinaryWords, volume = {9698},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      author = {Eike Best and Evgeny K. Erofeev and Uli Schlachter and Harro Wimmel},
      title = {Characterising Petri Net Solvable Binary Words},
      booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International Conference},
      year = {2016},
      note = {Accepted for publication (20 pages)},
      keywords = {peerreviewed,ee,us} }
  • M. Abdelaal, O. E. Theel, C. Kuka, P. Zhang, Y. Gao, V. Bashlovkina, D. Nicklas, and M. Fränzle, "Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks," Intern. Journal of Distributed Sensor Networks, vol. 2016, p. 1576038:1-1576038:28, 2016.
    @article{DBLP:journals/ijdsn/AbdelaalTKZGBNF16,
      author = {Mohamed Abdelaal and Oliver E. 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},
      optjournal = {IJDSN)},
      volume = {2016},
      pages = {1576038:1--1576038:28},
      year = {2016},
      url = {http://dx.doi.org/10.1155/2016/1576038},
      doi = {10.1155/2016/1576038},
      keywords = {peerreviewed,ma,ck,pz,yg} }
  • [inproceedings] bibtex
    Y. Gao and M. Fränzle, "CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions," in Proc. 2016 Intern. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016, pp. 1-6.
    @inproceedings{GaoF16,
      author = {Yang Gao and M. Fr{\"a}nzle},
      title = {{CSiSAT}: A satisfiability solver for {SMT} formulas with continuous probability distributions},
      editor = {Erika {\'A}brah{\'a}m and Sergiy Bogomolov},
      booktitle = {2016 Intern. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)},
      publisher = {IEEE},
      year = {2016},
      pages = {1-6},
      keywords = {peerreviewed,yg},
      doi = {10.1109/SNR.2016.7479382},
      month = {April} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Engelmann and E. -R. Olderog, "A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs," in Proc. Theory and Practice of Formal Methods, 2016, pp. 173-193.
    @inproceedings{EngelmannOlderog2015,
      author = {Bj\"orn Engelmann and E. -R. Olderog},
      title = {{A} {S}ound and {C}omplete {H}oare {L}ogic for {D}ynamically-{T}yped, {O}bject-{O}riented {P}rograms},
      booktitle = {Theory and Practice of Formal Methods},
      year = {2016},
      editor = {Erika {\' A}brah{\' a}m and Marcello Bonsangue and Einar Broch Johnsen},
      volume = {9660},
      series = {LNCS},
      publisher = {Springer},
      pages = {173--193},
      keywords = {peerreviewed,be},
      url = {http://link.springer.com/chapter/10.1007%2F978-3-319-30734-3_13},
      optaddress = {Eindhoven, The Netherlands} }
  • [inproceedings] bibtex
    M. Chen, M. Fränzle, Y. Li, P. N. Mosaad, and N. Zhan, "Validated Simulation-Based Verification of Delayed Differential Dynamics," in Proc. Formal Methods -- FM 2016, 2016.
    @inproceedings{MCFMosaad2016,
      author = {Minbshuai Chen and Martin Fr{\"a}nzle and Yangjia Li and Peter Nazier Mosaad and Naijun Zhan},
      title = {Validated Simulation-Based Verification of Delayed Differential Dynamics},
      booktitle = {Formal Methods -- FM 2016},
      optbooktitle = {21st Intern. Symposium on Formal Methods, FM2016, November 7-11, Limassol, Cyprus},
      editor = {John S. Fitzgerald and Stefania Gnesi and Constance L. Heitmeyer and Anna Philippou},
      series = {LNCS},
      volume = {9995},
      publisher = {Springer},
      month = {Nov.},
      year = {2016},
      note = {20 pages. In print: October 2016},
      keywords = {peerreviewed,pm} }
  • [inproceedings] bibtex
    P. N. Mosaad, M. Fränzle, and B. Xue, "Temporal Logic Verification for Delay Differential Equations," in Proc. Theoretical Aspects of Computing -- ICTAC 2016, 2016.
    @inproceedings{MosaadFX2016,
      author = {Peter Nazier Mosaad and Martin Fr{\"a}nzle and Bai Xue},
      title = {Temporal Logic Verification for Delay Differential Equations},
      booktitle = {Theoretical Aspects of Computing -- ICTAC 2016},
      optbooktitle = {13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, October 24-30, Taipei, Taiwan, ROC},
      editor = {Augusto Sampaio and Farn Wang},
      series = {LNCS},
      volume = {9965},
      publisher = {Springer},
      month = {Oct.},
      keywords = {peerreviewed,pm},
      year = {2016},
      note = {18 pages. In print: September 2016} }
  • [inproceedings] bibtex | Go to document Go to document
    U. Schlachter, "Petri Net Synthesis for Restricted Classes of Nets," in Proc. Application and Theory of Petri Nets and Concurrency -- PETRI NETS 2016, 2016, pp. 79-97.
    @inproceedings{DBLP:conf/apn/Schlachter16,
      author = {Uli Schlachter},
      title = {Petri Net Synthesis for Restricted Classes of Nets},
      editor = {Fabrice Kordon and Daniel Moldt},
      booktitle = {Application and Theory of Petri Nets and Concurrency -- {PETRI} {NETS} 2016},
      series = {LNCS},
      volume = {9698},
      publisher = {Springer},
      pages = {79--97},
      year = {2016},
      url = {http://dx.doi.org/10.1007/978-3-319-39086-4_6},
      doi = {10.1007/978-3-319-39086-4_6},
      keywords = {peerreviewed,us},
      optnote = {No SCARE Acknowledgement} }
  • [inproceedings] bibtex | Go to document Go to document
    E. Erofeev, K. Barylska, L. Mikulski, and M. Piatkowski, "Generating All Minimal Petri Net Unsolvable Binary Words," in Proc. Prague Stringology Conference 2016, Prague, Czech Republic, August 29-31, 2015, 2016, pp. 33-46.
    @inproceedings{DBLP:conf/stringology/ErofeevBMP16, isbn = {978-80-01-05996-8},
      publisher = {Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague},
      editor = {Jan Holub and Jan Zd{\'{a}}rek},
      author = {Evgeny Erofeev and Kamila Barylska and Lukasz Mikulski and Marcin Piatkowski},
      title = {Generating All Minimal Petri Net Unsolvable Binary Words},
      booktitle = {Prague Stringology Conference 2016, Prague, Czech Republic, August 29-31, 2015},
      pages = {33--46},
      year = {2016},
      url = {http://www.stringology.org/event/2016/p04.html},
      timestamp = {Thu, 22 Sep 2016 19:13:10 +0200},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/stringology/ErofeevBMP16},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,ee} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Ody, M. Fränzle, and M. R. Hansen, "Discounted Duration Calculus," in Proc. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, 2016, pp. 577-592.
    @inproceedings{DBLP:conf/fm/OdyFH16,
      author = {Heinrich Ody and Martin Fr{\"{a}}nzle and Michael R. Hansen},
      editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou},
      title = {Discounted Duration Calculus},
      booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9995},
      pages = {577--592},
      year = {2016},
      url = {http://dx.doi.org/10.1007/978-3-319-48989-6_35},
      doi = {10.1007/978-3-319-48989-6_35},
      timestamp = {Tue, 08 Nov 2016 20:35:20 +0100},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/fm/OdyFH16},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,ho} }
  • [inproceedings] bibtex | Go to document Go to document
    K. Barylska, L. Mikulski, M. Piatkowski, M. Koutny, and E. Erofeev, "Reversing Transitions in Bounded Petri Nets," in Proc. 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016., 2016, pp. 74-85.
    @inproceedings{DBLP:conf/csp/BarylskaMPKE16, urn = {urn:nbn:de:0074-1698-4},
      publisher = {CEUR-WS.org},
      volume = {1698},
      series = {{CEUR} Workshop Proceedings},
      editor = {Bernd{-}Holger Schlingloff},
      author = {Kamila Barylska and Lukasz Mikulski and Marcin Piatkowski and Maciej Koutny and Evgeny Erofeev},
      title = {Reversing Transitions in Bounded Petri Nets},
      booktitle = {25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.},
      pages = {74--85},
      year = {2016},
      url = {http://ceur-ws.org/Vol-1698/CS&P2016_08_Barylska&Mikulski&Piatkowski&Koutny&Erofeev_Reversing-Transitions-in-Bounded-Petri-Nets.pdf},
      timestamp = {Mon, 10 Oct 2016 15:21:01 +0200},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/csp/BarylskaMPKE16},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,ee} }
  • K. Barylska, E. Best, E. Erofeev, L. Mikulski, and M. Piatkowski, "Conditions for Petri Net Solvable Binary Words," T. Petri Nets and Other Models of Concurrency, vol. 11, pp. 137-159, 2016.
    @article{DBLP:journals/topnoc/BarylskaBEMP16, isbn = {978-3-662-53400-7},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      editor = {Maciej Koutny and J{\"{o}}rg Desel and Jetty Kleijn},
      author = {Kamila Barylska and Eike Best and Evgeny Erofeev and Lukasz Mikulski and Marcin Piatkowski},
      title = {Conditions for Petri Net Solvable Binary Words},
      journal = {T. Petri Nets and Other Models of Concurrency},
      volume = {11},
      pages = {137--159},
      year = {2016},
      url = {http://dx.doi.org/10.1007/978-3-662-53401-4_7},
      doi = {10.1007/978-3-662-53401-4_7},
      timestamp = {Fri, 02 Sep 2016 11:15:21 +0200},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/topnoc/BarylskaBEMP16},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,ee} }
  • [inproceedings] bibtex | Go to document Go to document
    U. Schlachter, "Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable," in Proc. 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 2016, p. 15:1-15:14.
    @inproceedings{DBLP:conf/concurSchlachter16,
      author = {Uli Schlachter},
      title = {Bounded {Petri} Net Synthesis from Modal Transition Systems is Undecidable},
      booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'e}bec City, Canada},
      pages = {15:1--15:14},
      year = {2016},
      url = {htttp://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.15},
      doi = {10.4230/LIPIcs.CONCUR.2016.15},
      editor = {Jos{\'e}e Desharnais and Radha Jagadeesan},
      series = {LIPIcs},
      volume = {59},
      publisher = {Schloss Dagstuhl - Leibnitz-Zentrum fuer Informatik},
      isbn = {978-3-95977-017-0},
      timestamp = {Tur, 30 Aug 2016 15:28:48+0200},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/concur/Schlachter16},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      keywords = {peerreviewed,us} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Ody, M. Fränzle, and M. R. Hansen, "Discounted Duration Calculus," in Proc. Formal Methods -- FM 2016, 2016.
    @inproceedings{DBLP:conf/fm/Ody16,
      author = {Heinrich Ody and Martin Fr{\"a}nzle and Michael R. Hansen},
      title = {Discounted Duration Calculus},
      editor = {John S. Fitzgerald and Stefani Gnesi and Constance L. Heitmeyer},
      booktitle = {Formal Methods -- {FM} 2016 },
      optbooktitle = {21st International Symposium on Formal Methods, FM2016, November 7-11, Limassol, Cyprus},
      series = {LNCS},
      volume = {9995},
      publisher = {Springer},
      pages = {},
      month = {Nov.},
      year = {2016},
      url = {},
      doi = {},
      note = {17 pages. In print: October 2016},
      keywords = {peerreviewed,ho},
      optnote = {SCARE Acknowledgement} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Hilscher and M. Schwammberger, "An Abstract Model for Proving Safety of Autonomous Urban Traffic," in Proc. Theoretical Aspects of Computing -- ICTAC 2016, 2016.
    @inproceedings{Hilscher-Schwammberger16,
      author = {M. Hilscher and Maike Schwammberger},
      title = {An Abstract Model for Proving Safety of Autonomous Urban Traffic},
      booktitle = {Theoretical Aspects of Computing -- ICTAC 2016},
      optbooktitle = {ICTAC 2016},
      editor = {A. Sampaio and F. Wang},
      series = {LNCS},
      volume = {9965},
      pages = {},
      publisher = {Springer},
      month = {Oct.},
      year = {2016},
      note = {19 pages. In print: Sept. 2016},
      url = {http://dx.doi.org/10.1007/978-3-319-46750-4_16},
      doi = {10.1007/978-3-319-46750-4_16},
      keywords = {peerreviewed,ms},
      optnote = {No SCARE Acknowledgement} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Schwammberger, "Properties of Communicating Controllers for Safe Traffic Manoeuvres," in Proc. Doctoral Symposium of Formal Methods 2015, 2015, pp. 3-7.
    @inproceedings{MS15,
      author = {Schwammberger, Maike},
      title = {Properties of Communicating Controllers for Safe Traffic Manoeuvres},
      booktitle = {Doctoral Symposium of Formal Methods 2015},
      year = {2015},
      editor = {Aichernig, Bernhard K. and Rossini, Alessandro},
      pages = {3--7},
      keywords = {peerreviewed,ms},
      url = {http://fm2015.ifi.uio.no/wp-content/uploads/2015/06/ds-fm15-proceedings.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    S. Khan and M. Fränzle, "Robust mid-range communication in Urban VANETs," in Proc. 17th Intern. Conf. on Advanced Communication Technology (ICACT), 2015, pp. 115-120.
    @inproceedings{khan2015robust,
      author = {Khan, Saifullah and Fr\"anzle, Martin},
      title = {Robust mid-range communication in Urban VANETs},
      booktitle = {17th Intern. Conf. on Advanced Communication Technology (ICACT)},
      year = {2015},
      pages = {115--120},
      organization = {IEEE},
      url = {http://dx.doi.org/10.1109/ICACT.2015.7224769},
      keywords = {peerreviewed,sk} }
  • [inproceedings] bibtex
    M. Abdelaal, P. Zhang, and O. Theel, "QoS Improvement with Lifetime Planning Strategy in Wireless Sensor Networks," in Proc. The 11th Intern. Conf. on Mobile Ad Hoc and Sensor Networks (IEEE MSN'15), China, 2015.
    @inproceedings{msn15,
      author = {Mohamed Abdelaal and P. Zhang and O. Theel},
      title = {QoS Improvement with Lifetime Planning Strategy in Wireless Sensor Networks},
      booktitle = {The 11th Intern. Conf. on Mobile Ad Hoc and Sensor Networks (IEEE MSN'15)},
      year = {2015},
      address = {China},
      month = {December},
      note = {Proc. to appear},
      keywords = {peerreviewed,ma,pz} }
  • [inproceedings] bibtex
    V. Bashlovkina, M. Abdelaal, and O. Theel, "Poster Abstract: FuzzyCAT: A Novel Procedure for Refining the F-transform Based Sensor Data Compression," in Proc. The 14th Intern. Conf. on Information Processing in Sensor Networks (IPSN '15), Seattle, WA, USA, 2015, pp. 340-341.
    @inproceedings{Abdelaalseattle,
      author = {Vasilisa Bashlovkina and Mohamed Abdelaal and Oliver Theel},
      title = {Poster Abstract: FuzzyCAT: A Novel Procedure for Refining the F-transform Based Sensor Data Compression},
      booktitle = {The 14th Intern. Conf. on Information Processing in Sensor Networks (IPSN '15)},
      year = {2015},
      pages = {340--341},
      address = {Seattle, WA, USA},
      month = {April},
      publisher = {ACM},
      keywords = {peerreviewed,ma} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal, P. N. Mosaad, and O. Theel, "LiteDTW: A Lightweight Dynamic Time Warping for Tiny Sensing Devices," in Proc. The IEEE Intern. Conf. on Wireless Sensors (ICWiSE 2015), Malaysia, 2015, pp. 34-39.
    @inproceedings{icwise15,
      author = {Mohamed Abdelaal and P. N. Mosaad and O. Theel},
      title = {liteDTW: A Lightweight Dynamic Time Warping for Tiny Sensing Devices},
      booktitle = {The IEEE Intern. Conf. on Wireless Sensors (ICWiSE 2015)},
      year = {2015},
      pages = {34--39},
      address = {Malaysia},
      month = {August},
      url = {http://dx.doi.org/10.1109/ICWISE.2015.7380350},
      keywords = {peerreviewed,ma,pnm} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal, "Distributed Techniques for Energy Conservation in Wireless Sensor Networks," in Proc. Doctoral Consortium in conjunction with the 4th Intern. Conf. on Sensor Networks (SENSORNETS), Angers, France, 2015, pp. 9-20.
    @inproceedings{sensornetAbdelaal,
      author = {Mohamed Abdelaal},
      title = {Distributed Techniques for Energy Conservation in Wireless Sensor Networks},
      booktitle = {Doctoral Consortium in conjunction with the 4th Intern. Conf. on Sensor Networks (SENSORNETS)},
      year = {2015},
      pages = {9--20},
      address = {Angers, France},
      month = {February},
      keywords = {peerreviewed,ma},
      url = {http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=wSln/xxOi0M=&t=1} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Engelmann, "Formally Verifying Dynamically-typed Programs like Statically-typed Ones -- Another Perspective," in Proc. Frontiers of Formal Methods, Aachen, Germany, 2015, pp. 87-91.
    @inproceedings{EngelmannAachen2015,
      author = {Bj\"orn Engelmann},
      title = {{F}ormally {V}erifying {D}ynamically-typed {P}rograms like {S}tatically-typed {O}nes -- {A}nother {P}erspective},
      booktitle = {Frontiers of Formal Methods},
      year = {2015},
      editor = {Thomas Str\"oder and Wolfgang Thomas},
      series = {Aachener Informatik Bericht},
      number = {AIB-2015-06},
      pages = {87--91},
      address = {Aachen, Germany},
      url = {https://ffm2015.rwth-aachen.de/},
      keywords = {peerreviewed,be} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal, "Fuzzy Compression Refinement via Curvature Tracking," in Proc. Frontiers of Formal Methods, Aachen, Germany, 2015, pp. 31-35.
    @inproceedings{FFMabdelaal,
      author = {Mohamed Abdelaal},
      title = {Fuzzy Compression Refinement via Curvature Tracking},
      booktitle = {Frontiers of Formal Methods},
      year = {2015},
      editor = {Thomas Str\"oder and Wolfgang Thomas},
      series = {Aachener Informatik Bericht},
      number = {AIB-2015-06},
      pages = {31--35},
      address = {Aachen, Germany},
      url = {https://ffm2015.rwth-aachen.de/},
      keywords = {peerreviewed,ma} }
  • [inproceedings] bibtex | Go to document Go to document
    N. E. Flick, "Derivation Languages of Graph Grammars and Correctness," in Proc. Frontiers of Formal Methods, Aachen, Germany, 2015, pp. 99-101.
    @inproceedings{FlickAachen2015,
      author = {Nils Erik Flick},
      title = {Derivation Languages of Graph Grammars and Correctness},
      booktitle = {Frontiers of Formal Methods},
      year = {2015},
      editor = {Thomas Str\"oder and Wolfgang Thomas},
      series = {Aachener Informatik Bericht},
      number = {AIB-2015-06},
      pages = {99--101},
      address = {Aachen, Germany},
      url = {https://ffm2015.rwth-aachen.de/},
      keywords = {peerreviewed,nef} }
  • [inproceedings] bibtex | Go to document Go to document
    D. Rahmatov and O. Theel, "Region-adherent Distributed Algorithms in Faulty Environments," in Proc. Masters' and Doctorate Symposium of the Information Technologies in Environmental Engineering Conference (ITEE 2015), Port Elizabeth, South Africa, 2015, pp. 188-193.
    @inproceedings{ITEE15:dsr,
      author = {Dilshod Rahmatov and O. Theel},
      title = {{Region-adherent Distributed Algorithms in Faulty Environments}},
      booktitle = {Masters' and Doctorate Symposium of the Information Technologies in Environmental Engineering Conference (ITEE 2015)},
      year = {2015},
      address = {Port Elizabeth, South Africa},
      month = jul, organization = {IEEE},
      pages = {188--193},
      url = {https://www.uni-oldenburg.de/fileadmin/user_upload/gk_scare/ITEE_2015_Proceedings_edited.pdf},
      keywords = {peerreviewed,dr},
      isbn = {978-1-920508-60-9} }
  • [inproceedings] bibtex | Go to document Go to document
    Y. Gao, "Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain," in Proc. Frontiers of Formal Methods, Aachen, Germany, 2015, pp. 103-108.
    @inproceedings{gao2015ffm,
      author = {Gao, Yang},
      title = {Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain},
      booktitle = {Frontiers of Formal Methods},
      year = {2015},
      editor = {Thomas Str\"oder and Wolfgang Thomas},
      series = {Aachener Informatik Bericht},
      number = {AIB-2015-06},
      pages = {103--108},
      address = {Aachen, Germany},
      url = {https://ffm2015.rwth-aachen.de/},
      keywords = {peerreviewed,yg} }
  • [inproceedings] bibtex | Go to document Go to document
    S. Khan, "Traffic data dissemination in realist urban VANETs environment," in Proc. Frontiers of Formal Methods, Aachen, Germany, 2015, pp. 167-171.
    @inproceedings{khan2015ffm,
      author = {Khan, Saifullah},
      title = {Traffic data dissemination in realist urban VANETs environment},
      booktitle = {Frontiers of Formal Methods},
      year = {2015},
      editor = {Thomas Str\"oder and Wolfgang Thomas},
      series = {Aachener Informatik Bericht},
      number = {AIB-2015-06},
      pages = {167--171},
      address = {Aachen, Germany},
      url = {https://ffm2015.rwth-aachen.de/},
      keywords = {peerreviewed,sk} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal, C. Kuka, O. E. Theel, and D. Nicklas, "Reliable virtual sensing for wireless sensor networks," in Proc. Tenth IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing, ISSNIP 2015, Singapore, April 7-9, 2015, pp. 1-7.
    @inproceedings{AKTN15, isbn = {978-1-4799-8055-0},
      publisher = {{IEEE}},
      author = {Mohamed Abdelaal and Christian Kuka and Oliver E. Theel and Daniela Nicklas},
      title = {Reliable virtual sensing for wireless sensor networks},
      booktitle = {Tenth {IEEE} International Conference on Intelligent Sensors, Sensor Networks and Information Processing, {ISSNIP} 2015, Singapore, April 7-9},
      year = {2015},
      pages = {1--7},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/issnip/AbdelaalKTN15},
      doi = {10.1109/ISSNIP.2015.7106926},
      keywords = {peerreviewed,ma,ck},
      timestamp = {Mon, 18 May 2015 08:00:58 +0200},
      url = {http://dx.doi.org/10.1109/ISSNIP.2015.7106926} }
  • [inproceedings] bibtex | Go to document Go to document
    V. Bashlovkina, M. Abdelaal, and O. Theel, "FuzzyCAT: A lightweight Adaptive Transform for sensor data compression," in Proc. IEEE International Conference on Communication, ICC 2015, London, United Kingdom, June 8-12, 2015, pp. 2756-2762.
    @inproceedings{BAT15, isbn = {978-1-4673-6305-1},
      publisher = {{IEEE}},
      author = {Vasilisa Bashlovkina and Mohamed Abdelaal and Oliver Theel},
      title = {FuzzyCAT: {A} lightweight Adaptive Transform for sensor data compression},
      booktitle = {{IEEE} International Conference on Communication, {ICC} 2015, London, United Kingdom, June 8-12},
      year = {2015},
      pages = {2756--2762},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/icc/BashlovkinaAT15},
      doi = {10.1109/ICCW.2015.7247596},
      keywords = {peerreviewed,ma},
      timestamp = {Wed, 16 Sep 2015 15:19:48 +0200},
      url = {http://dx.doi.org/10.1109/ICCW.2015.7247596} }
  • [inproceedings] bibtex | Go to document Go to document
    Y. Gao and M. Fränzle, "Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain," in Proc. Symbolic and Numerical Methods for Reachability Analysis, 1st Intern. Workshop, SNR 2015, 2015, pp. 2-10.
    @inproceedings{GaoSNR2015,
      author = {Gao, Yang and Fr\"anzle, Martin},
      title = {Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain},
      booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st Intern. Workshop, SNR 2015},
      year = {2015},
      editor = {Sergiy Bogomolov and Ashish Tiwari},
      volume = {37},
      series = {EPiC Series in Computing},
      pages = {2-10},
      publisher = {EasyChair},
      bibsource = {EasyChair, http://www.easychair.org},
      issn = {2040-557X},
      keywords = {peerreviewed,yg},
      url = {http://www.easychair.org/publications/volume/SNR_2015} }
  • [inproceedings] bibtex | Go to document Go to document
    N. E. Flick, "On Correctness of Graph Programs Relative to Recursively Nested Conditions," in Proc. 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015), L'Aquila, Italy, July 20, 2015, pp. 97-112.
    @inproceedings{Fli15, volume = {1403},
      series = {{CEUR} Workshop Proceedings},
      publisher = {CEUR-WS.org},
      editor = {Detlef Plump},
      author = {Nils Erik Flick},
      title = {On Correctness of Graph Programs Relative to Recursively Nested Conditions},
      booktitle = {6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation {(ICGT} 2015), L'Aquila, Italy, July 20},
      year = {2015},
      pages = {97--112},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/gg/Flick15},
      keywords = {peerreviewed,nef},
      timestamp = {Thu, 03 Sep 2015 17:01:02 +0200},
      url = {http://ceur-ws.org/Vol-1403/paper8.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Peuser and A. Habel, "Attribution of Graphs by Composition of $\mathcalM,\mathcalN$-adhesive Categories," in Proc. 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015, pp. 66-81.
    @inproceedings{Peuser-Habel15a, volume = {1403},
      series = {{CEUR} Workshop Proceedings},
      publisher = {CEUR-WS.org},
      editor = {Detlef Plump},
      author = {Christoph Peuser and Annegret Habel},
      title = {Attribution of Graphs by Composition of $\mathcal{M},
     \mathcal{N}$-adhesive Categories},
      booktitle = {6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation {(ICGT} 2015) part of the Software Technologies: Applications and Foundations {(STAF} 2015) federation of conferences, L'Aquila, Italy, July 20},
      year = {2015},
      pages = {66--81},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/gg/PeuserH15},
      keywords = {peerreviewed,cp},
      timestamp = {Thu, 03 Sep 2015 17:01:02 +0200},
      url = {http://ceur-ws.org/Vol-1403/paper6.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Yan, H. Fang, C. Kuka, and H. Zhu, "Verification for OAuth Using ASLan++," in Proc. 16th IEEE intern. Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 76-84.
    @inproceedings{Yan_Fang_Kuka_Zhu, owner = {stephie},
      isbn = {978-1-4799-8110-6},
      publisher = {{IEEE} Computer Society},
      author = {Haixing Yan and Huixing Fang and Christian Kuka and Huibiao Zhu},
      title = {Verification for OAuth Using ASLan++},
      booktitle = {16th {IEEE} intern. Symposium on High Assurance Systems Engineering, {HASE} 2015, Daytona Beach, FL, USA, January 8-10},
      year = {2015},
      pages = {76--84},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/hase/YanFKZ15},
      doi = {10.1109/HASE.2015.20},
      keywords = {peerreviewed,ck},
      timestamp = {Tue, 16 Jun 2015 19:31:28 +0200},
      url = {http://dx.doi.org/10.1109/HASE.2015.20} }
  • [inproceedings] bibtex | Go to document Go to document
    S. Khan, M. Alam, N. Müllner, and M. Fränzle, "Cooperation and network coding based MAC protocol for VANETs," in Proc. 2015 IEEE Vehicular Networking Conference, VNC 2015, Kyoto, Japan, December 16-18, 2015, pp. 64-67.
    @inproceedings{khan2015protocal, owner = {stephie},
      isbn = {978-1-4673-9411-6},
      publisher = {{IEEE}},
      author = {Saifullah Khan and Muhammad Alam and Nils M{\"{u}}llner and Martin Fr{\"{a}}nzle},
      title = {Cooperation and network coding based {MAC} protocol for VANETs},
      booktitle = {2015 {IEEE} Vehicular Networking Conference, {VNC} 2015, Kyoto, Japan, December 16-18},
      year = {2015},
      pages = {64--67},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/vnc/KhanAMF15},
      doi = {10.1109/VNC.2015.7385548},
      keywords = {peerreviewed,sk},
      timestamp = {Mon, 25 Jan 2016 12:52:31 +0100},
      url = {http://dx.doi.org/10.1109/VNC.2015.7385548} }
  • [inproceedings] bibtex | Go to document Go to document
    K. Barylska, E. Best, E. K. Erofeev, L. Mikulski, and M. Piatkowski, "On Binary Words Being Petri Net Solvable," in Proc. Intern. Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015 (Satellite event of the conferences: 36th Intern. Conf. on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th Intern. Conf. on Application of Concurrency to System Design ACSD 2015), Brussels, Belgium, June 22-23, 2015, pp. 1-15.
    @inproceedings{DBLP:conf/apn/BarylskaBEMP15, owner = {stephie},
      volume = {1371},
      series = {{CEUR} Workshop Proceedings},
      publisher = {CEUR-WS.org},
      editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona},
      author = {Kamila Barylska and Eike Best and Evgeny K. Erofeev and Lukasz Mikulski and Marcin Piatkowski},
      title = {On Binary Words Being Petri Net Solvable},
      booktitle = {Intern. Workshop on Algorithms {\&} Theories for the Analysis of Event Data, {ATAED} 2015 (Satellite event of the conferences: 36th Intern. Conf. on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th Intern. Conf. on Application of Concurrency to System Design {ACSD} 2015), Brussels, Belgium, June 22-23},
      year = {2015},
      pages = {1--15},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/apn/BarylskaBEMP15},
      keywords = {peerreviewed,ee},
      timestamp = {Mon, 06 Jul 2015 14:19:04 +0200},
      url = {http://ceur-ws.org/Vol-1371/paper01.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    I. Virbitskaite, E. N. Bozhenkova, and E. K. Erofeev, "Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures," in Proc. 24th Intern. Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015, pp. 222-233.
    @inproceedings{DBLP:conf/csp/VirbitskaiteBE15, owner = {stephie},
      volume = {1492},
      series = {{CEUR} Workshop Proceedings},
      publisher = {CEUR-WS.org},
      editor = {Zbigniew Suraj and Ludwik Czaja},
      author = {Irina Virbitskaite and Elena N. Bozhenkova and Evgeny K. Erofeev},
      title = {Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures},
      booktitle = {24th Intern. Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30},
      year = {2015},
      pages = {222--233},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/csp/VirbitskaiteBE15},
      keywords = {peerreviewed,ee},
      timestamp = {Sun, 15 Nov 2015 18:48:40 +0100},
      url = {http://ceur-ws.org/Vol-1492/Paper_47.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    E. Best and U. Schlachter, "Analysis of Petri Nets and Transition Systems," in Proc. 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, June 4-5, 2015, pp. 53-67.
    @inproceedings{DBLP:journals/corr/BestS15, owner = {stephie},
      volume = {189},
      series = {{EPTCS}},
      editor = {Sophia Knight and Ivan Lanese and Alberto Lluch{-}Lafuente and Hugo Torres Vieira},
      author = {Eike Best and Uli Schlachter},
      title = {Analysis of Petri Nets and Transition Systems},
      booktitle = {8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, June 4-5},
      year = {2015},
      pages = {53--67},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/BestS15},
      doi = {10.4204/EPTCS.189.6},
      keywords = {peerreviewed,us},
      timestamp = {Thu, 03 Sep 2015 11:02:38 +0200},
      url = {http://dx.doi.org/10.4204/EPTCS.189.6} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka and D. Nicklas, "Bestimmung von Datenunsicherheit in einem probabilistischen Datenstrommanagementsystem," in Proc. Datenbanksysteme für Business, Technologie und Web (BTW 2015) - Workshopband, 2.-3. März 2015, Hamburg, Germany, 2015, pp. 81-90.
    @inproceedings{Kuka2015, isbn = {978-3-88579-636-7},
      volume = {242},
      series = {{LNI}},
      publisher = {{GI}},
      editor = {Norbert Ritter and Andreas Henrich and Wolfgang Lehner and Andreas Thor and Steffen Friedrich and Wolfram Wingerath},
      author = {Christian Kuka and Daniela Nicklas},
      title = {Bestimmung von Datenunsicherheit in einem probabilistischen Datenstrommanagementsystem},
      booktitle = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web {(BTW} 2015) - Workshopband, 2.-3. M{\"{a}}rz 2015, Hamburg, Germany},
      year = {2015},
      pages = {81--90},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/btw/KukaN15},
      keywords = {peerreviewed,ck},
      timestamp = {Thu, 28 May 2015 09:19:06 +0200},
      url = {http://subs.emis.de/LNI/Proceedings/Proceedings242/article7.html} }
  • [inproceedings] bibtex | Go to document Go to document
    D. Rahmatov, J. S. Becker, and O. Theel, "A Transformational Approach for the Hardening of Region-Adherent Algorithms," in Proc. 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015, pp. 80-90.
    @inproceedings{PRDC15, owner = {stephie},
      isbn = {978-1-4673-9376-8},
      publisher = {{IEEE}},
      editor = {Guojun Wang and Tatsuhiro Tsuchiya and Dong Xiang},
      author = {Dilshod Rahmatov and Jan Steffen Becker and Oliver Theel},
      title = {A Transformational Approach for the Hardening of Region-Adherent Algorithms},
      booktitle = {21st {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2015, Zhangjiajie, China, November 18-20},
      year = {2015},
      pages = {80--90},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/prdc/RahmatovBT15},
      doi = {10.1109/PRDC.2015.31},
      keywords = {peerreviewed,dr},
      timestamp = {Thu, 14 Jan 2016 18:49:12 +0100},
      url = {http://dx.doi.org/10.1109/PRDC.2015.31} }
  • [inproceedings] bibtex | Go to document Go to document
    N. E. Flick, "Quotients of Unbounded Parallelism," in Proc. Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, pp. 241-257.
    @inproceedings{QUP, isbn = {978-3-319-25149-3},
      volume = {9399},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Martin Leucker and Camilo Rueda and Frank D. Valencia},
      author = {Nils Erik Flick},
      title = {Quotients of Unbounded Parallelism},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Cali, Colombia, October 29-31},
      year = {2015},
      pages = {241--257},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/ictac/Flick15},
      doi = {10.1007/978-3-319-25150-9_15},
      keywords = {peerreviewed,nef},
      timestamp = {Thu, 08 Oct 2015 11:31:54 +0200},
      url = {http://dx.doi.org/10.1007/978-3-319-25150-9_15} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Ody, "Undecidability Results for Multi-Lane Spatial Logic," in Proc. Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, pp. 404-421.
    @inproceedings{ody2015undecidability, isbn = {978-3-319-25149-3},
      volume = {9399},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Martin Leucker and Camilo Rueda and Frank D. Valencia},
      author = {Heinrich Ody},
      title = {Undecidability Results for Multi-Lane Spatial Logic},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Cali, Colombia, October 29-31},
      year = {2015},
      pages = {404--421},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/ictac/Ody15},
      doi = {10.1007/978-3-319-25150-9_24},
      keywords = {peerreviewed,topicero1,ho},
      timestamp = {Thu, 08 Oct 2015 11:31:54 +0200},
      url = {http://dx.doi.org/10.1007/978-3-319-25150-9_24} }
  • [inproceedings] bibtex | Go to document Go to document
    L. Zou, M. Fränzle, N. Zhan, and P. N. Mosaad, "Automatic Verification of Stability and Safety for Delay Differential Equations," in Proc. Computer Aided Verification (CAV), Part II, 2015, pp. 338-355.
    @inproceedings{DBLP:conf/cav/ZouFZM15, owner = {stephie},
      isbn = {978-3-319-21667-6},
      doi = {10.1007/978-3-319-21668-3},
      author = {Liang Zou and Martin Fr{\"{a}}nzle and Naijun Zhan and Mosaad, Peter Nazier},
      title = {Automatic Verification of Stability and Safety for Delay Differential Equations},
      booktitle = {Computer Aided Verification (CAV), Part {II}},
      year = {2015},
      editor = {Daniel Kroening and Corina S. Pasareanu},
      volume = {9207},
      series = {LNCS},
      pages = {338--355},
      publisher = {Springer},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/ZouFZM15},
      url = {http://dx.doi.org/10.1007/978-3-319-21668-3},
      keywords = {peerreviewed,pnm},
      timestamp = {Mon, 20 Jul 2015 11:19:16 +0200} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Radke, T. Arendt, J. S. Becker, A. Habel, and G. Taentzer, "Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations," in Proc. Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015, pp. 155-170.
    @inproceedings{RABHT15, owner = {stephie},
      isbn = {978-3-319-21144-2},
      volume = {9151},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Francesco Parisi{-}Presicce and Bernhard Westfechtel},
      author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Gabriele Taentzer},
      title = {Translating Essential {OCL} Invariants to Nested Graph Constraints Focusing on Set Operations},
      booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015, Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23},
      year = {2015},
      pages = {155--170},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/gg/RadkeABHT15},
      doi = {10.1007/978-3-319-21145-9_10},
      keywords = {peerreviewed,hr},
      timestamp = {Thu, 30 Jul 2015 12:17:44 +0200},
      url = {http://dx.doi.org/10.1007/978-3-319-21145-9_10} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Fränzle, M. R. Hansen, and H. Ody, "No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL," in Proc. Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, pp. 152-171.
    @inproceedings{franzle2015no, owner = {stephie},
      isbn = {978-3-319-23505-9},
      volume = {9360},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim},
      author = {Martin Fr{\"{a}}nzle and Michael R. Hansen and Heinrich Ody},
      title = {No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of {MLSL}},
      booktitle = {Correct System Design - Symposium in Honor of Ernst-R\"udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9},
      year = {2015},
      pages = {152--171},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/birthday/FranzleHO15},
      doi = {10.1007/978-3-319-23506-6_11},
      keywords = {peerreviewed,topicero1,ho},
      timestamp = {Fri, 04 Sep 2015 13:09:10 +0200},
      url = {http://dx.doi.org/10.1007/978-3-319-23506-6_11} }
  • [inproceedings] bibtex | Go to document Go to document
    Y. Gao and M. Fränzle, "A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain," in Proc. Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, pp. 295-311.
    @inproceedings{gao2015solving, owner = {stephie},
      isbn = {978-3-319-22263-9},
      volume = {9259},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Javier Campos and Boudewijn R. Haverkort},
      author = {Yang Gao and Martin Fr{\"{a}}nzle},
      title = {A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain},
      booktitle = {Quantitative Evaluation of Systems, 12th International Conference, {QEST} 2015, Madrid, Spain, September 1-3},
      year = {2015},
      pages = {295--311},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/qest/GaoF15},
      doi = {10.1007/978-3-319-22264-6_19},
      keywords = {peerreviewed,yg},
      timestamp = {Thu, 11 Feb 2016 15:59:49 +0100},
      url = {http://dx.doi.org/10.1007/978-3-319-22264-6_19} }
  • [inproceedings] bibtex | Go to document Go to document
    N. E. Flick and B. Engelmann, "Properties of Petri Nets with Context-free Structure Changes," in Proc. Fifth International Workshop on Graph Computations Models (GCM 2014), York, UK, 2014, pp. 76-90.
    @inproceedings{EngelmannFlickGCM2014,
      author = {Nils Erik Flick and Bj\"orn Engelmann},
      title = {{P}roperties of {P}etri {N}ets with {C}ontext-free {S}tructure {C}hanges},
      booktitle = {Fifth International Workshop on Graph Computations Models (GCM 2014)},
      year = {2014},
      editor = {R. Echahed and A. Habel and M. Mosbah},
      pages = {76--90},
      address = {York, UK},
      keywords = {peerreviewed,nef,be},
      url = {http://gcm2014.imag.fr/proceedingsGCM2014.pdf} }
  • N. E. Flick and B. Engelmann, "Analysis of Petri Nets with Context-Free Structure Changes," ECEASST, vol. 71(1), 2014.
    @article{FlickEngelmann2014,
      author = {Nils Erik Flick and Bj{\"{o}}rn Engelmann},
      title = {Analysis of Petri Nets with Context-Free Structure Changes},
      journal = {{ECEASST}},
      year = {2014},
      volume = {71(1)},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/FlickE14},
      keywords = {peerreviewed,nef,be},
      timestamp = {Fri, 09 Oct 2015 10:03:31 +0200},
      url = {http://journal.ub.tu-berlin.de/eceasst/article/view/1003} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal and O. E. Theel, "Recent energy-preservation endeavours for longlife wireless sensor networks: A concise survey," in Proc. Eleventh International Conference on Wireless and Optical Communications Networks, WOCN 2014, Vijayawada, Guntur District, Andhra Pradesh, India, September 11-13, 2014, pp. 1-7.
    @inproceedings{DBLP:conf/wocn/AbdelaalT14, publisher = {{IEEE}},
      author = {Mohamed Abdelaal and Oliver E. Theel},
      title = {Recent energy-preservation endeavours for longlife wireless sensor networks: {A} concise survey},
      booktitle = {Eleventh International Conference on Wireless and Optical Communications Networks, {WOCN} 2014, Vijayawada, Guntur District, Andhra Pradesh, India, September 11-13},
      year = {2014},
      pages = {1--7},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/wocn/AbdelaalT14},
      doi = {10.1109/WOCN.2014.6923052},
      keywords = {peerreviewed,ma},
      timestamp = {Wed, 05 Nov 2014 19:19:10 +0100},
      url = {http://dx.doi.org/10.1109/WOCN.2014.6923052} }
  • M. Kudlek and N. E. Flick, "Properties of Languages with Catenation and Shuffle," Fundamenta Informaticae, vol. 129, iss. 1-2, pp. 117-132, 2014.
    @article{DBLP:journals/fuin/KudlekF14,
      author = {Manfred Kudlek and Nils Erik Flick},
      title = {Properties of Languages with Catenation and Shuffle},
      journal = {Fundamenta Informaticae},
      year = {2014},
      volume = {129},
      number = {1-2},
      pages = {117--132},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/KudlekF14},
      doi = {10.3233/FI-2014-964},
      keywords = {peerreviewed,nef},
      timestamp = {Wed, 12 Feb 2014 10:07:29 +0100},
      url = {http://dx.doi.org/10.3233/FI-2014-964} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal, Y. Gao, M. Fränzle, and O. E. Theel, "EAVS: Energy aware virtual sensing for wireless sensor networks," in Proc. 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Singapore, April 21-24, 2014, pp. 1-6.
    @inproceedings{AGFT14, isbn = {978-1-4799-2843-9},
      publisher = {{IEEE}},
      author = {Mohamed Abdelaal and Yang Gao and Martin Fr{\"{a}}nzle and Oliver E. Theel},
      title = {{EAVS:} Energy aware virtual sensing for wireless sensor networks},
      booktitle = {2014 {IEEE} Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Singapore, April 21-24},
      year = {2014},
      pages = {1--6},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/issnip/AbdelaalGFT14},
      doi = {10.1109/ISSNIP.2014.6827655},
      keywords = {peerreviewed,ma,yg},
      timestamp = {Fri, 15 May 2015 14:59:57 +0200},
      url = {http://dx.doi.org/10.1109/ISSNIP.2014.6827655} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka and D. Nicklas, "Enriching sensor data processing with quality semantics," in Proc. 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28, 2014, pp. 437-442.
    @inproceedings{Kuka2014a, owner = {stephie},
      publisher = {{IEEE}},
      author = {Christian Kuka and Daniela Nicklas},
      title = {Enriching sensor data processing with quality semantics},
      booktitle = {2014 {IEEE} International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28},
      year = {2014},
      pages = {437--442},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/percom/KukaN14},
      doi = {10.1109/PerComW.2014.6815246},
      keywords = {peerreviewed,ck},
      timestamp = {Mon, 15 Sep 2014 09:25:04 +0200},
      url = {http://dx.doi.org/10.1109/PerComW.2014.6815246} }
  • [inproceedings] bibtex | Go to document Go to document
    J. S. Becker, D. Rahmatov, and O. Theel, "Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality," in Proc. 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 203-212.
    @inproceedings{PRDC14:dsr, owner = {stephie},
      isbn = {978-1-4799-6474-1},
      publisher = {{IEEE}},
      author = {Jan Steffen Becker and Dilshod Rahmatov and Oliver Theel},
      title = {Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality},
      booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2014, Singapore, November 18-21},
      year = {2014},
      pages = {203--212},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/prdc/BeckerRT14},
      doi = {10.1109/PRDC.2014.34},
      keywords = {peerreviewed,dr},
      timestamp = {Fri, 09 Jan 2015 09:21:32 +0100},
      url = {http://dx.doi.org/10.1109/PRDC.2014.34} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka and D. Nicklas, "Quality matters: supporting quality-aware pervasive applications by probabilistic data stream management," in Proc. The 8th ACM International Conference on Distributed Event-Based Systems, DEBS '14, Mumbai, India, May 26-29, 2014, pp. 1-12.
    @inproceedings{Kuka2014b, owner = {stephie},
      isbn = {978-1-4503-2737-4},
      publisher = {{ACM}},
      editor = {Umesh Bellur and Ravi Kothari},
      author = {Christian Kuka and Daniela Nicklas},
      title = {Quality matters: supporting quality-aware pervasive applications by probabilistic data stream management},
      booktitle = {The 8th {ACM} International Conference on Distributed Event-Based Systems, {DEBS} '14, Mumbai, India, May 26-29},
      year = {2014},
      pages = {1--12},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/debs/KukaN14},
      doi = {10.1145/2611286.2611292},
      keywords = {peerreviewed,ck},
      timestamp = {Fri, 30 May 2014 08:18:42 +0200},
      url = {http://doi.acm.org/10.1145/2611286.2611292} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka and D. Nicklas, "Demo: supporting quality-aware pervasive applications by probabilistic data stream management," in Proc. The 8th ACM International Conference on Distributed Event-Based Systems, DEBS '14, Mumbai, India, May 26-29, 2014, pp. 330-333.
    @inproceedings{Kuka2014c, owner = {stephie},
      isbn = {978-1-4503-2737-4},
      publisher = {{ACM}},
      editor = {Umesh Bellur and Ravi Kothari},
      author = {Christian Kuka and Daniela Nicklas},
      title = {Demo: supporting quality-aware pervasive applications by probabilistic data stream management},
      booktitle = {The 8th {ACM} International Conference on Distributed Event-Based Systems, {DEBS} '14, Mumbai, India, May 26-29},
      year = {2014},
      pages = {330--333},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/debs/KukaN14},
      doi = {10.1145/2611286.2611292},
      keywords = {peerreviewed,ck},
      timestamp = {Fri, 30 May 2014 08:18:42 +0200},
      url = {http://doi.acm.org/10.1145/2611286.2611292} }
  • [inproceedings] bibtex | Go to document Go to document
    T. Arendt, A. Habel, H. Radke, and G. Taentzer, "From Core OCL Invariants to Nested Graph Constraints," in Proc. Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, pp. 97-112.
    @inproceedings{AHRT14, owner = {stephie},
      isbn = {978-3-319-09107-5},
      volume = {8571},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Holger Giese and Barbara K{\"{o}}nig},
      author = {Thorsten Arendt and Annegret Habel and Hendrik Radke and Gabriele Taentzer},
      title = {From Core {OCL} Invariants to Nested Graph Constraints},
      booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014, Held as Part of {STAF} 2014, York, UK, July 22-24},
      year = {2014},
      pages = {97--112},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/gg/ArendtHRT14},
      doi = {10.1007/978-3-319-09108-2_7},
      keywords = {peerreviewed,hr},
      timestamp = {Wed, 07 Jan 2015 18:21:20 +0100},
      url = {http://dx.doi.org/10.1007/978-3-319-09108-2_7} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Abdelaal and O. Theel, "An efficient and adaptive data compression technique for energy conservation in wireless sensor networks," in Proc. 2013 IEEE Conf. on Wireless Sensor (ICWISE), 2013, pp. 124-129.
    @inproceedings{AT13b,
      author = {Abdelaal, M. and Theel, O.},
      title = {An efficient and adaptive data compression technique for energy conservation in wireless sensor networks},
      booktitle = { 2013 IEEE Conf. on Wireless Sensor (ICWISE)},
      year = {2013},
      pages = {124--129},
      month = {Dec},
      url = {http://dx.doi.org/10.1109/ICWISE.2013.6728793},
      keywords = {peerreviewed,ma} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Engelmann, "Towards Practical Verification of Dynamically Typed Programs," in Proc. 25th Nordic Workshop on Programming Theory (NWPT 2013), Tallinn, Estonia, 2013, pp. 28-30.
    @inproceedings{EngelmannNWPT2013,
      author = {Bj\"orn Engelmann},
      title = {{T}owards {P}ractical {V}erification of {D}ynamically {T}yped {P}rograms},
      booktitle = {25th Nordic Workshop on Programming Theory (NWPT 2013)},
      year = {2013},
      pages = {28-30},
      address = {Tallinn, Estonia},
      keywords = {peerreviewed,be},
      url = {http://cs.ioc.ee/nwpt13/abstracts-book} }
  • [inproceedings] bibtex
    J. S. Becker, D. Rahmatov, and O. Theel, "Dependable Systems through Region-Adherent Distributed Algorithms," in Proc. Intern. Conf. in Central Asia on Internet (ICI '13), Tashkent, Uzbekistan, 2013.
    @inproceedings{ICI13:dsr,
      author = {Jan Steffen Becker and Dilshod Rahmatov and Oliver Theel},
      title = {{Dependable Systems through Region-Adherent Distributed Algorithms}},
      booktitle = {Intern. Conf. in Central Asia on Internet (ICI '13)},
      year = {2013},
      address = {Tashkent, Uzbekistan},
      month = oct, organization = {IEEE},
      keywords = {peerreviewed,dr} }
  • N. E. Flick, "Derivation Languages of Graph Grammars," eceasst, vol. 61, 2013.
    @article{flick2013derivation,
      author = {Nils Erik Flick},
      title = {Derivation Languages of Graph Grammars},
      journal = eceasst, year = {2013},
      volume = {61},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/Flick12},
      keywords = {peerreviewed,nef},
      timestamp = {Wed, 17 Jul 2013 07:54:24 +0200},
      url = {http://journal.ub.tu-berlin.de/eceasst/article/view/829} }
  • H. Radke, "HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas," ECEASST, vol. 61, 2013.
    @article{Radk13,
      author = {Hendrik Radke},
      title = {HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas},
      journal = {{ECEASST}},
      year = {2013},
      volume = {61},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/Radke12},
      booktitle = {Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012)},
      keywords = {peerreviewed,hr},
      timestamp = {Wed, 17 Jul 2013 07:54:34 +0200},
      url = {http://journal.ub.tu-berlin.de/eceasst/article/view/831} }
  • M. Kudlek and N. E. Flick, "A Hierarchy of Languages with Catenation and Shuffle," Fundamenta Informaticae, vol. 128, iss. 1-2, pp. 113-128, 2013.
    @article{DBLP:journals/fuin/KudlekF13,
      author = {Manfred Kudlek and Nils Erik Flick},
      title = {A Hierarchy of Languages with Catenation and Shuffle},
      journal = {Fundamenta Informaticae},
      year = {2013},
      volume = {128},
      number = {1-2},
      pages = {113--128},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/KudlekF13},
      doi = {10.3233/FI-2013-936},
      keywords = {peerreviewed,nef},
      timestamp = {Tue, 21 Jan 2014 15:39:37 +0100},
      url = {http://dx.doi.org/10.3233/FI-2013-936} }
  • Y. Gao, M. Xu, N. Zhan, and L. Zhang, "Model checking conditional CSL for continuous-time Markov chains," Inf. Process. Lett., vol. 113, iss. 1-2, pp. 44-50, 2013.
    @article{gao2013model,
      author = {Yang Gao and Ming Xu and Naijun Zhan and Lijun Zhang},
      title = {Model checking conditional {CSL} for continuous-time Markov chains},
      journal = {Inf. Process. Lett.},
      year = {2013},
      volume = {113},
      number = {1-2},
      pages = {44--50},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/ipl/GaoXZZ13},
      doi = {10.1016/j.ipl.2012.09.009},
      keywords = {peerreviewed,yg},
      publisher = {Elsevier},
      timestamp = {Fri, 25 Jan 2013 07:47:16 +0100},
      url = {http://dx.doi.org/10.1016/j.ipl.2012.09.009} }
  • [inproceedings] bibtex | Go to document Go to document
    O. Kramer, U. Schlachter, and V. Spreckels, "An adaptive penalty function with meta-modeling for constrained problems," in Proc. IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013, pp. 1350-1354.
    @inproceedings{DBLP:conf/cec/KramerSS13, owner = {stephie},
      isbn = {978-1-4799-0452-5},
      publisher = {{IEEE}},
      author = {Oliver Kramer and Uli Schlachter and Valentin Spreckels},
      title = {An adaptive penalty function with meta-modeling for constrained problems},
      booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2013, Cancun, Mexico, June 20-23},
      year = {2013},
      pages = {1350--1354},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/cec/KramerSS13},
      doi = {10.1109/CEC.2013.6557721},
      keywords = {peerreviewed,us},
      timestamp = {Thu, 05 Sep 2013 19:25:44 +0200},
      url = {http://dx.doi.org/10.1109/CEC.2013.6557721} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka, A. Bolles, A. Funk, S. Eilers, S. Schweigert, S. Gerwinn, and D. Nicklas, "SaLsA Streams: Dynamic Context Models for Autonomous Transport Vehicles Based on Multi-sensor Fusion," in Proc. 2013 IEEE 14th International Conference on Mobile Data Management, Volume 1, Milan, Italy, June 3-6, 2013, pp. 263-266.
    @inproceedings{Kuka2013a, owner = {stephie},
      isbn = {978-1-4673-6068-5},
      publisher = {{IEEE} Computer Society},
      author = {Christian Kuka and Andre Bolles and Alexander Funk and S{\"{o}}nke Eilers and S{\"{o}}ren Schweigert and Sebastian Gerwinn and Daniela Nicklas},
      title = {SaLsA Streams: Dynamic Context Models for Autonomous Transport Vehicles Based on Multi-sensor Fusion},
      booktitle = {2013 {IEEE} 14th International Conference on Mobile Data Management, Volume 1, Milan, Italy, June 3-6},
      year = {2013},
      pages = {263--266},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/mdm/KukaBFESGN13},
      doi = {10.1109/MDM.2013.37},
      keywords = {peerreviewed,ck},
      timestamp = {Thu, 07 Aug 2014 20:35:58 +0200},
      url = {http://dx.doi.org/10.1109/MDM.2013.37} }
  • [inproceedings] bibtex | Go to document Go to document
    Y. Gao, E. M. Hahn, N. Zhan, and L. Zhang, "CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains," in Proc. Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, pp. 464-468.
    @inproceedings{gao2013ccmc, owner = {stephie},
      isbn = {978-3-319-02443-1},
      volume = {8172},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Dang Van Hung and Mizuhito Ogawa},
      author = {Yang Gao and Ernst Moritz Hahn and Naijun Zhan and Lijun Zhang},
      title = {{CCMC:} {A} Conditional {CSL} Model Checker for Continuous-Time Markov Chains},
      booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18},
      year = {2013},
      pages = {464--468},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/GaoHZ013},
      doi = {10.1007/978-3-319-02444-8_36},
      keywords = {peerreviewed,yg},
      timestamp = {Fri, 30 Aug 2013 12:50:31 +0200},
      url = {http://dx.doi.org/10.1007/978-3-319-02444-8_36} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka, "Processing the uncertainty: Quality-aware data stream processing for dynamic context models," in Proc. Tenth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2012, Lugano, Switzerland, March 19-23, 2012, pp. 560-561.
    @inproceedings{Kuka2012, owner = {stephie},
      isbn = {978-1-4673-0905-9},
      publisher = {{IEEE} Computer Society},
      author = {Christian Kuka},
      title = {Processing the uncertainty: Quality-aware data stream processing for dynamic context models},
      booktitle = {Tenth Annual {IEEE} International Conference on Pervasive Computing and Communications, PerCom 2012, Lugano, Switzerland, March 19-23},
      year = {2012},
      pages = {560--561},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/percom/Kuka12},
      doi = {10.1109/PerComW.2012.6197574},
      keywords = {peerreviewed,ck},
      timestamp = {Fri, 27 Nov 2015 10:04:12 +0100},
      url = {http://dx.doi.org/10.1109/PerComW.2012.6197574} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka and D. Nicklas, "Approximating Complex Sensor Quality Using Failure Probability Intervals," in Proc. Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012, pp. 287-298.
    @inproceedings{Kuka2012d, owner = {stephie},
      isbn = {978-3-642-33361-3},
      volume = {7520},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Eyke H{\"{u}}llermeier and Sebastian Link and Thomas Fober and Bernhard Seeger},
      author = {Christian Kuka and Daniela Nicklas},
      title = {Approximating Complex Sensor Quality Using Failure Probability Intervals},
      booktitle = {Scalable Uncertainty Management - 6th International Conference, {SUM} 2012, Marburg, Germany, September 17-19},
      year = {2012},
      pages = {287--298},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/sum/KukaN12},
      doi = {10.1007/978-3-642-33362-0_22},
      keywords = {peerreviewed,ck},
      timestamp = {Thu, 13 Sep 2012 14:17:14 +0200},
      url = {http://dx.doi.org/10.1007/978-3-642-33362-0_22} }
  • [inproceedings] bibtex | Go to document Go to document
    J. Kamenik, C. Peuser, V. Gollücke, D. Lorenz, R. Piechocki, M. Wasmann, and O. Theel, "ZeDDS--Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users," in Proc. Fifth Intern. Conf. on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2011), Lisbon, Portugal, 2011, pp. 11-16.
    @inproceedings{KPGLPWT11,
      author = {Kamenik, Jens and Peuser, Christoph and Goll{\"u}cke, Volker and Lorenz, Daniel and Piechocki, Roland and Wasmann, Merlin and Theel, Oliver},
      title = {{ZeDDS--Fault-Tolerant Data Management in Wireless Sensor Networks with Mobile Users}},
      booktitle = {Fifth Intern. Conf. on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2011)},
      year = {2011},
      editor = {S. Manharan and J. L. Mauri and N. Speirs and K. Selvarajah and P. Rodrigues},
      pages = {11--16},
      address = {Lisbon, Portugal},
      publisher = {IARIA},
      keywords = {peerreviewed,cp},
      url = {https://www.thinkmind.org/index.php?view=instance&instance=UBICOMM+2011} }
  • [inproceedings] bibtex
    C. Kuka, C. Busemann, D. Nicklas, and S. Boll, "Mashups for Community Aware Sensor Processing with SCAMPI," in Proc. BTW 2011 - Workshops und Studierendenprogramm, 1. März 2011, Kaiserslautern, Germany, 2011, pp. 52-57.
    @inproceedings{Kuka2011a, owner = {stephie},
      isbn = {978-3-941438-61-3},
      publisher = {Technische Universit{\"{a}}t Kaiserslautern},
      editor = {Peter M. Fischer and Hagen H{\"{o}}pfner and Joachim Klein and Daniela Nicklas and Bernhard Seeger and Tobias Umblia and Matthias Virgin},
      author = {Christian Kuka and Claas Busemann and Daniela Nicklas and Susanne Boll},
      title = {Mashups for Community Aware Sensor Processing with {SCAMPI}},
      booktitle = {{BTW} 2011 - Workshops und Studierendenprogramm, 1. M{\"{a}}rz 2011, Kaiserslautern, Germany},
      year = {2011},
      pages = {52--57},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/btw/KukaBNB11},
      keywords = {peerreviewed,ck},
      timestamp = {Wed, 22 Jul 2015 16:37:33 +0200} }
  • [inproceedings] bibtex
    C. Busemann, C. Kuka, D. Nicklas, and S. Boll, "Flexible and Efficient Sensor Data Processing - A Hybrid Approach," in Proc. Datenbanksysteme für Business, Technologie und Web (BTW), 14. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 2.-4.3.2011 in Kaiserslautern, Germany, 2011, pp. 123-134.
    @inproceedings{Busemann2011, owner = {stephie},
      isbn = {978-3-88579-274-1},
      volume = {180},
      series = {{LNI}},
      publisher = {{GI}},
      editor = {Theo H{\"{a}}rder and Wolfgang Lehner and Bernhard Mitschang and Harald Sch{\"{o}}ning and Holger Schwarz},
      author = {Claas Busemann and Christian Kuka and Daniela Nicklas and Susanne Boll},
      title = {Flexible and Efficient Sensor Data Processing - {A} Hybrid Approach},
      booktitle = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web (BTW), 14. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 2.-4.3.2011 in Kaiserslautern, Germany},
      year = {2011},
      pages = {123--134},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/btw/BusemannKNB09},
      keywords = {peerreviewed,ck},
      timestamp = {Sat, 26 Mar 2011 08:58:38 +0100} }
  • [inproceedings] bibtex | Go to document Go to document
    A. Funk, C. Busemann, C. Kuka, S. Boll, and D. Nicklas, "Open Sensor Platforms: The Sensor Web Enablement Framework and Beyond," in Proc. MMS 2011: Mobile und ubiquitäre Informationssysteme. Proceedings der 6. Konferenz, 28. Februar 2011 in Kaiserslautern, Deutschland, 2011, pp. 39-52.
    @inproceedings{Funk2011, owner = {stephie},
      isbn = {978-3-88579-279-6},
      volume = {185},
      series = {{LNI}},
      publisher = {{GI}},
      editor = {Hagen H{\"{o}}pfner and G{\"{u}}nther Specht and Thomas Ritz and Christian Bunse},
      author = {Alexander Funk and Claas Busemann and Christian Kuka and Susanne Boll and Daniela Nicklas},
      title = {Open Sensor Platforms: The Sensor Web Enablement Framework and Beyond},
      booktitle = {{MMS} 2011: Mobile und ubiquit{\"{a}}re Informationssysteme. Proceedings der 6. Konferenz, 28. Februar 2011 in Kaiserslautern, Deutschland},
      year = {2011},
      pages = {39--52},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/mms/FunkBKBN11},
      keywords = {peerreviewed,ck},
      timestamp = {Thu, 10 May 2012 17:32:17 +0200},
      url = {http://subs.emis.de/LNI/Proceedings/Proceedings185/article6339.html} }
  • [inproceedings] bibtex | Go to document Go to document
    T. Toben, S. Eilers, C. Kuka, S. Schweigert, H. Winkelmann, and S. Ruehrup, "Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments," in Proc. Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18. Revised Selected Papers, 2011, pp. 61-75.
    @inproceedings{Eilers2012a, owner = {stephie},
      isbn = {978-3-642-34780-1},
      volume = {336},
      series = {Communications in Computer and Information Science},
      publisher = {Springer},
      editor = {Reiner H{\"{a}}hnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen},
      author = {Tobe Toben and S{\"{o}}nke Eilers and Christian Kuka and S{\"{o}}ren Schweigert and Hannes Winkelmann and Stefan Ruehrup},
      title = {Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments},
      booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18. Revised Selected Papers},
      year = {2011},
      pages = {61--75},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/isola/TobenEKSWR11},
      doi = {10.1007/978-3-642-34781-8_5},
      keywords = {peerreviewed,ck},
      timestamp = {Fri, 21 Mar 2014 08:41:40 +0100},
      url = {http://dx.doi.org/10.1007/978-3-642-34781-8_5} }
  • A. Habel and H. Radke, "Expressiveness of Graph Conditions with Variables," eceasst, vol. 30, 2010.
    @article{HaRa10,
      author = {Annegret Habel AND Hendrik Radke},
      title = {Expressiveness of Graph Conditions with Variables},
      journal = eceasst, year = {2010},
      volume = {30},
      booktitle = {Int. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of {H}artmut {E}hrig},
      keywords = {peerreviewed,hr},
      url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/404} }
  • [inproceedings] bibtex | Go to document Go to document
    H. Radke, "Correctness of Graph Programs Relative to HR\(^\mbox + \) Conditions," in Proc. Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010, pp. 410-412.
    @inproceedings{Radke10, owner = {stephie},
      isbn = {978-3-642-15927-5},
      volume = {6372},
      series = {Lecture Notes in Computer Science},
      publisher = {Springer},
      editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"{u}}rr},
      author = {Hendrik Radke},
      title = {Correctness of Graph Programs Relative to HR\({}^{\mbox{ + }}\) Conditions},
      booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010, Enschede, The Netherlands, September 27 - - October 2},
      year = {2010},
      pages = {410--412},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/gg/Radke10},
      doi = {10.1007/978-3-642-15928-2_35},
      keywords = {peerreviewed,hr},
      timestamp = {Mon, 27 Sep 2010 10:12:34 +0200},
      url = {http://dx.doi.org/10.1007/978-3-642-15928-2_35} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Busemann, C. Kuka, U. Westermann, S. Boll, and D. Nicklas, "SCAMPI - Sensor Configuration and Aggregation Middleware for Multi Platform Interchange," in Proc. Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings, 2009, pp. 2084-2097.
    @inproceedings{Busemann2009, isbn = {978-3-88579-248-2},
      volume = {154},
      series = {{LNI}},
      publisher = {{GI}},
      editor = {Stefan Fischer and Erik Maehle and R{\"{u}}diger Reischuk},
      author = {Claas Busemann and Christian Kuka and Utz Westermann and Susanne Boll and Daniela Nicklas},
      title = {{SCAMPI} - Sensor Configuration and Aggregation Middleware for Multi Platform Interchange},
      booktitle = {Informatik 2009: Im Focus das Leben, Beitr{\"{a}}ge der 39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 28.9.-2.10.2009, L{\"{u}}beck, Proceedings},
      year = {2009},
      pages = {2084--2097},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/gi/BusemannKWBN09},
      keywords = {peerreviewed,ck},
      timestamp = {Mon, 15 Dec 2014 10:21:52 +0100},
      url = {http://subs.emis.de/LNI/Proceedings/Proceedings154/article2715.html} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Johns, B. Engelmann, and J. Posegga, "XSSDS: Server-Side Detection of Cross-Site Scripting Attacks," in Proc. Twenty-Fourth Annual Computer Security Applications Conference, ACSAC 2008, Anaheim, California, USA, December 8-12, 2008, pp. 335-344.
    @inproceedings{JEP08, isbn = {978-0-7695-3447-3},
      publisher = {{IEEE} Computer Society},
      author = {Martin Johns and Bj{\"{o}}rn Engelmann and Joachim Posegga},
      title = {{XSSDS:} Server-Side Detection of Cross-Site Scripting Attacks},
      booktitle = {Twenty-Fourth Annual Computer Security Applications Conference, {ACSAC} 2008, Anaheim, California, USA, December 8-12},
      year = {2008},
      pages = {335--344},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/acsac/JohnsEP08},
      doi = {10.1109/ACSAC.2008.36},
      keywords = {peerreviewed,be},
      timestamp = {Mon, 04 Aug 2014 17:08:33 +0200},
      url = {http://dx.doi.org/10.1109/ACSAC.2008.36} }

Other publications

  • [techreport] bibtex
    E. Best, E. K. Erofeev, U. Schlachter, and H. Wimmel, "Characterising Petri Net Solvable Binary Words," Universität Oldenburg, Berichte aus dem Department für Informatik 01/16, 2016.
    @techreport{RoteReihePNBinaryWords2016,
      author = {Eike Best and Evgeny K. Erofeev and Uli Schlachter and Harro Wimmel},
      title = {Characterising Petri Net Solvable Binary Words},
      number = {01/16},
      type = {Berichte aus dem Department f{\"u}r Informatik},
      year = {2016},
      institution = {Universit{\"a}t Oldenburg},
      pages = {1--20},
      keywords = {other,us,ee} }
  • C. Peuser and A. Habel, Attribution of Graphs by Composition of $\mathcalM,\mathcalN$-adhesive Categories: Long Version, 2015.
    @misc{Peuser-Habel15b,
      author = {Christoph Peuser and Annegret Habel},
      title = {Attribution of Graphs by Composition of $\mathcal{M},
     \mathcal{N}$-adhesive Categories: Long Version},
      year = {2015},
      keywords = {other,cp},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/PH15_mn-composition_long.pdf} }
  • [inproceedings] bibtex
    P. N. Mosaad, "Handling Delay Differential Equations in Automatic Verification of Hybrid Systems," in Proc. 9th Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl, 2015.
    @inproceedings{mosaadabstract15,
      author = {Mosaad, Peter Nazier},
      title = {Handling Delay Differential Equations in Automatic Verification of Hybrid Systems},
      booktitle = {9th Joint Workshop of the German Research Training Groups in Computer Science},
      year = {2015},
      address = {Dagstuhl},
      keywords = {other,pnm} }
  • [inproceedings] bibtex
    P. Zhang, "Quality of Service Optimization in Self-adaptive Sensor Networks," in Proc. 9th Joint Workshop of the German Research Training Groups in Computer Science, 2015.
    @inproceedings{qos,
      author = {Peilin Zhang},
      title = {Quality of Service Optimization in Self-adaptive Sensor Networks},
      booktitle = {9th Joint Workshop of the German Research Training Groups in Computer Science},
      year = {2015},
      month = {May},
      keywords = {other,pz} }
  • [inbook] bibtex
    J. Oehlerking and T. Strathmann, "SPES\_XT." Springer, 2015.
    @inbook{Oehlerking2015, chapter = {Verification of Systems in Physical Environments},
      title = {SPES\_XT},
      publisher = {Springer},
      year = {2015},
      author = {Jens Oehlerking and Thomas Strathmann},
      keywords = {other,ts},
      timestamp = {2015.09.01} }
  • [inproceedings] bibtex
    M. Chen, M. Fränzle, Y. Li, P. N. Mosaad, and N. Zhan, "Safety and Stability Verification of Nonlinear Delay Differential Equations," in Proc. Young Researcher Workshop on Formal Methods YR-SETTA 2015, Nanjing, China, 2015.
    @inproceedings{mingshuaichen15,
      author = {Mingshuai Chen and Martin Fr{\"{a}}nzle and Yangjia Li and Mosaad, Peter Nazier and Naijun Zhan},
      title = {Safety and Stability Verification of Nonlinear Delay Differential Equations},
      booktitle = {Young Researcher Workshop on Formal Methods YR-SETTA 2015},
      year = {2015},
      address = {Nanjing, China},
      month = {November},
      keywords = {other,pnm} }
  • [inproceedings] bibtex
    D. Rahmatov and O. Theel, "Towards a Design Theory of Region-Adherent Algorithms," in Proc. The 23d Euromicro Intern. Conf. on Parallel, Distributed and Network-based Processing, Work-in-Progress (PDP 2015), Turku, Finland, 2015.
    @inproceedings{PDP15:dsr,
      author = {Dilshod Rahmatov and Oliver Theel},
      title = {{Towards a Design Theory of Region-Adherent Algorithms}},
      booktitle = {The 23d Euromicro Intern. Conf. on Parallel, Distributed and Network-based Processing, Work-in-Progress (PDP 2015)},
      year = {2015},
      address = {Turku, Finland},
      month = mar, organization = {IEEE},
      keywords = {other,dr} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Fränzle, M. R. Hansen, and H. Ody, "Discounted Duration Calculus," in Proc. 27th Nordic Workshop on Programming Theory (NWPT 2015), Reykjawik, Island, 2015, pp. 75-78.
    @inproceedings{franzlediscounted,
      author = {Fr{\"a}nzle, Martin and Hansen, Michael R. and Ody, Heinrich},
      title = {Discounted Duration Calculus},
      booktitle = {27th Nordic Workshop on Programming Theory (NWPT 2015)},
      year = {2015},
      pages = {75-78},
      address = {Reykjawik, Island},
      keywords = {other,ho},
      url = {http://icetcs.ru.is/nwpt2015/NWTP15Proceedings.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    T. Strathmann and J. Oehlerking, "Verifying Properties of an Electro-Mechanical Braking System," in Proc. 2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015), 2015.
    @inproceedings{arch2015,
      author = {Thomas Strathmann and Jens Oehlerking},
      title = {Verifying Properties of an Electro-Mechanical Braking System},
      booktitle = {2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)},
      year = {2015},
      month = {4},
      abstract = {In this experience report, we apply the hybrid verification tools iSAT-ODE, Flow*, and S-TaLiRo to a case study consisting of an experimental electro-mechanical braking system. Starting from a Simulink closed-loop model, we describe the derivation of hybrid automaton models for plant and controller and give verifcation results for the different tools.},
      keywords = {other,ts},
      timestamp = {2015.06.09},
      url = {http://cps--vo.org/group/ARCH/ExperienceReports} }
  • B. Engelmann and E. Olderog, "A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -," CoRR, vol. abs/1509.08605, 2015.
    @article{EngelmannOlderog2015extended,
      author = {Bj{\"{o}}rn Engelmann and Ernst-R\"udiger Olderog},
      title = {A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -},
      journal = {CoRR},
      year = {2015},
      volume = {abs/1509.08605},
      month = {September},
      note = {26 pages},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/EngelmannO15},
      keywords = {other,be},
      timestamp = {Thu, 01 Oct 2015 14:28:48 +0200},
      url = {http://arxiv.org/abs/1509.08605} }
  • B. Engelmann, E. Olderog, and N. E. Flick, "Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version," CoRR, vol. abs/1501.02699, 2015.
    @article{EngelmannOlderogFlick2015,
      author = {Bj{\"{o}}rn Engelmann and Ernst-R\"udiger Olderog and Nils Erik Flick},
      title = {{C}losing the {G}ap -- {F}ormally {V}erifying {D}ynamically {T}yped {P}rograms like {S}tatically {T}yped {O}nes {U}sing {H}oare {L}ogic -- Extended Version},
      journal = {CoRR},
      year = {2015},
      volume = {abs/1501.02699},
      month = {January},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/EngelmannOF15},
      howpublished = {CoRR, arXiv:1501.02699 [cs.PL]},
      keywords = {other,be,nef},
      timestamp = {Mon, 02 Feb 2015 14:12:25 +0100},
      url = {http://arxiv.org/abs/1501.02699} }
  • [inproceedings] bibtex
    J. S. Becker, D. Rahmatov, and O. Theel, "Brief Announcement: Region-Adherent Algorithms -- Bounding the Impact of Faults in Space," in Proc. The 16th Intern. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS '14), Paderborn, Germany, 2014.
    @inproceedings{BRT13:dsr,
      author = {Jan Steffen Becker and Dilshod Rahmatov and Oliver Theel},
      title = {{Brief Announcement: Region-Adherent Algorithms -- Bounding the Impact of Faults in Space}},
      booktitle = {The 16th Intern. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS '14)},
      year = {2014},
      address = {Paderborn, Germany},
      month = sep, organization = {LNCS},
      keywords = {other,dr} }
  • [mastersthesis] bibtex | Go to document Go to document
    C. Peuser, "Attribution Concepts for Graph Transformation," Master's Dissertation , 2013.
    @mastersthesis{Peuser13,
      author = {Christoph Peuser},
      title = {Attribution Concepts for Graph Transformation},
      school = {Carl von Ossietzky Universit{\"a}t Oldenburg},
      year = {2013},
      keywords = {other,cp},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Peus13-Masterarbeit.pdf} }
  • [techreport] bibtex
    S. Eilers, M. Fränzle, S. Gerwinn, C. Kuka, S. Schweigert, and T. Toben, "An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments," 2012.
    @techreport{Eilers2012b,
      author = {Eilers, S\"{o}nke and Fr\"{a}nzle, Martin and Gerwinn, Sebastian and Kuka, Christian and Schweigert, S\"{o}ren and Toben, Tobe},
      title = {{An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments}},
      year = {2012},
      month = {August},
      booktitle = {Technical Report, School of Computing Science, University of Newcastle upon Tyne},
      keywords = {other,ck} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Kuka, S. Gerwinn, S. Schweigert, S. Eilers, and D. Nicklas, "Demo: Context-model generation for safe autonomous transport vehicles," in Proc. 6th ACM intern. Conf. on Distributed Event-Based Systems, New York, NY, USA, 2012, pp. 365-366.
    @inproceedings{Kuka2012a, url = {http://dl.acm.org/citation.cfm?id=2335484},
      timestamp = {Fri, 07 Sep 2012 11:05:52 +0200},
      owner = {stephie},
      isbn = {978-1-4503-1315-5},
      biburl = {http://dblp.uni-trier.de/rec/bib/conf/debs/2012},
      bibsource = {dblp computer science bibliography, http://dblp.org},
      editor = {Fran{\c{c}}ois Bry and Adrian Paschke and Patrick Th. Eugster and Christof Fetzer and Andreas Behrend},
      author = {Christian Kuka and Sebastian Gerwinn and S{\"{o}}ren Schweigert and S{\"{o}}nke Eilers and Daniela Nicklas},
      title = {{Demo: Context-model generation for safe autonomous transport vehicles}},
      booktitle = {6th {ACM} intern. Conf. on Distributed Event-Based Systems},
      year = {2012},
      series = {{DEBS} '12},
      pages = {365--366},
      address = {New York, {NY},
      {USA}},
      publisher = {{ACM} Press},
      note = {{Best Demonstration Award}},
      keywords = {other,ck} }
  • B. Engelmann, "Dynamic Web Application Analysis for Cross Site Scripting Detection," , 2007.
    @thesis{Engelmann2007,
      author = {Bj{\"o}rn Engelmann},
      keywords = {other,thesis,be},
      note = {Diploma Thesis},
      school = {University of Hamburg, Germany},
      title = {{D}ynamic {W}eb {A}pplication {A}nalysis for {C}ross {S}ite {S}cripting {D}etection},
      url = {http://theoretica.informatik.uni-oldenburg.de/~ben/papers/diploma-thesis.ps},
      year = {2007} }
Olciiver Theelexr (olivdcer.thee9aicl@wdvuo4yl.d7obe) (Changed: 2019-05-31)