Biblio

Found 397 results
2018
Rockstroh, M. et al., 2018. From SOMDA to application – integration strategies in the OR.NET demonstration sites. Biomedical Engineering / Biomedizinische Technik, 63(1), pp.69–80.
Convent, L. et al., 2018. Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. In Runtime Verification. Runtime Verification. Springer.
PDF icon rv2018-tutorial.pdf (1.8 MB)
Decker, N. et al., 2018. Online Analysis of Debug Trace Data for Embedded Systems. In Design, Automation & Test in Europe Conference (DATE). Design, Automation & Test in Europe Conference (DATE). 03/2018. Germany: IEEE.
PDF icon date2018.pdf (584.54 KB)
Kasparick, M. et al., 2018. OR.NET: a service-oriented architecture for safe and dynamic medical device interoperability. Biomedical Engineering / Biomedizinische Technik, 63(1), pp.11–33.
Jakšić, S. et al., 2018. Static analysis for dynamic data race detection with TeSSLa. In 30th Nordic Workshop on Programming Theory. 30th Nordic Workshop on Programming Theory. Department of Informatics Faculty of Mathematics and Natural Sciences, University of Oslo.
PDF icon proceedings.pdf (7.58 MB)
Leucker, M. et al., 2018. TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. In ACM Symposium on Applied Computing (SAC). ACM Symposium on Applied Computing (SAC). 04/2018. France: ACM.
PDF icon sac2018.pdf (931.2 KB)
Convent, L. et al., 2018. TeSSLa: Temporal Stream-Based Specification Language. In Brazilian Symposium on Formal Methods SBMF. Brazilian Symposium on Formal Methods SBMF. Springer.
PDF icon 1808.10717.pdf (376.77 KB)
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.
Scheffel, T. et al., 2017. TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams. In Report from Dagstuhl Seminar. Report from Dagstuhl Seminar. Dagstuhl Reports.
PDF icon dagstuhl2017.pdf (2.28 MB)
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)

Pages