Biblio

Found 388 results
2017
Jakšić, S. et al., 2017. COEMS – open traces from the industry. In RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Seattle, WA, USA: EasyChair. Available at: https://easychair.org/publications/paper/QljX.
PDF icon COEMS_open_traces_from_the_industry.pdf (772.18 KB)
Decker, N. et al., 2017. Model-Checking Counting Temporal Logics on Flat Structures. In 28th International Conference on Concurrency Theory (CONCUR 2017). 28th International Conference on Concurrency Theory (CONCUR 2017). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Available at: http://drops.dagstuhl.de/opus/volltexte/2017/7770.
Decker, N. et al., 2017. Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In 20th Brazilian Symposium on Formal Methods (SBMF). 20th Brazilian Symposium on Formal Methods (SBMF). 11/2017. Brazil: Springer. Available at: https://link.springer.com/chapter/10.1007/978-3-319-70848-5_12.
2016
Kasparick, M. et al., 2016. Dynamic Remote Control through Service Orchestration of Point-of-Care and Surgical Devices based on IEEE 11073 SDC. In IEEE-NIH 2016 Special Topics Conference on Healthcare Innovations and Point-of-Care Technologies, Cancun, Mexico. IEEE-NIH 2016 Special Topics Conference on Healthcare Innovations and Point-of-Care Technologies, Cancun, Mexico. 2016/11. IEEE.
Decker, N. & Thoma, D., 2016. On Freeze LTL with Ordered Attributes. In FoSSaCS. FoSSaCS. to appear. Springer. Available at: http://arxiv.org/abs/1504.06355.
Macias, F. et al., 2016. Integration of Runtime Verification into Metamodeling. In Nordic Workshop on Programming Theory (NWPT). Nordic Workshop on Programming Theory (NWPT). Aalborg University, Denmark.
PDF icon main.pdf (194.58 KB)
Macias, F. et al., 2016. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). In Runtime Verification. Runtime Verification. 09/2016. Springer.
PDF icon main.pdf (296.48 KB)
PDF icon itSchulenISP.pdf (1.36 MB)
Decker, N., Leucker, M. & Thoma, D., 2016. Monitoring modulo theories. International Journal on Software Tools for Technology Transfer, 18(2), pp.205-225. Available at: http://dx.doi.org/10.1007/s10009-015-0380-3.
PDF icon Decker_Leucker_Thoma-Monitoring_Modulo_Theories-STTT15.pdf (586.11 KB)
Decker, N. et al., 2016. Runtime Monitoring with Union-Find Structures. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Springer.
PDF icon DHSST_-_RV_with_Union-Find-tacas16.pdf (841.52 KB)
Leucker, M., Schmitz, M. & Tellinghusen, Dà, 2016. Runtime Verification for Interconnected Medical Devices. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}. 10/2016. Springer. Available at: http://dx.doi.org/10.1007/978-3-319-47169-3_29.
PDF icon main.pdf (355.8 KB)
2015
Martin, L., Grigory, M. & R., N.Martin, 2015. A New Refinement Strategy for CEGAR-Based Industrial Model Checking. In Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Cham: Springer International Publishing, pp. 155–170. Available at: http://dx.doi.org/10.1007/978-3-319-26287-1_10.
Leucker, M. & Schmitz, M., 2015. Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). In Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. 03/2015. Dresden: CEUR-WS.org. Available at: http://ceur-ws.org/Vol-1337/paper3.pdf.
PDF icon SecuredSOA.pdf (133.83 KB)
Busshaus, T. et al., 2015. Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente – Technologietransfer im CMSSE. In Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Dresden: GI.
PDF icon main.pdf (506.32 KB)
2014
Sachenbacher, M., Blankenburg, M. & Leucker, M., 2014. CeLiM: Centralized Runtime Monitoring of Lithium-Ion Battery Packs. In International Workshop on Principles of Diagnosis (DX'14). International Workshop on Principles of Diagnosis (DX'14).
Leucker, M., 2014. Challenges for the Dynamic Interconnection of Medical Devices. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}. Springer. Available at: http://dx.doi.org/10.1007/978-3-662-45231-8_29.
Cordy, M. et al., 2014. Counterexample guided abstraction refinement of product-line behavioural models. In Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. {ACM}. Available at: http://doi.acm.org/10.1145/2635868.2635919.
Schönfelder, R., Leucker, M. & Walther, S., 2014. Efficient Profile Routing for Electric Vehicles. In Internet of Vehicles – Technologies and Services. Internet of Vehicles – Technologies and Services. Beijing, China: Springer International Publishing. Available at: http://link.springer.com/chapter/10.1007%2F978-3-319-11167-4_3.
Moszkowski, B.C., Guelev, D.P. & Leucker, M., 2014. Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell., 71, pp.1-9.
Decker, N. et al., 2014. Learning Transparent Data Automata. In Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014. Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014. to appear. Springer.
PDF icon PETRI14-final.pdf (401.04 KB)
Decker, N., Leucker, M. & Thoma, D., 2014. Monitoring Modulo Theories. In Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Springer.
PDF icon Decker_Leucker_Thoma_-_MMT-tacas14.pdf (364.23 KB)
Decker, N. et al., 2014. Ordered Navigation on Multi-attributed Data Words. In P. Baldan & Gorla, D. Concurrency Theory - 25th International Conference, CONCUR 2014. Concurrency Theory - 25th International Conference, CONCUR 2014. 2014. Springer. Available at: http://dx.doi.org/10.1007/978-3-662-44584-6_34.

Pages