J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity of dependence and independence logic,”10.1093/logcom/exac070__Journal of Logic and Computation, vol. 32, no. 8, pp. 1624–1644, 2022, doi:10.1093/logcom/exac070 .
LibreCat: /record/45847
DOI: 10.1093/logcom/exac070

Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction in Schaefer’s framework,”10.1093/logcom/exaa079__Journal of Logic and Computation, vol. 31, no. 1, pp. 266–296, 2021, doi:10.1093/logcom/exaa079 .
LibreCat: /record/45844
DOI: 10.1093/logcom/exaa079

R. Biehler and V. Durand-Guerrier, “University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic,” in Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), T. Hausberger, M. Bosch, and F. Chelloughi, Eds. Bizerte, Tunisia: University of Carthage and INDRUM, 2020.
LibreCat: /record/35811

U. Bubeck and H. Kleine Büning, “Learning Boolean Specifications,” Artificial Intelligence, pp. 246–257, 2015.
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003

N. Ho, P. Kaufmann, and M. Platzner, “Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure,” in 2014 IEEE Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37.
LibreCat: /record/10677
DOI: 10.1109/ICES.2014.7008719

R. Cohen, I. Nudelman, and G. Polevoy, “On the Admission of Dependent Flows in Powerful Sensor Networks,” Networking, IEEE/ACM Transactions on, vol. 21, no. 5, pp. 1461–1471, 2013.
LibreCat: /record/17663
DOI: 10.1109/TNET.2012.2227792

J. Anwer, S. Meisner, and M. Platzner, “Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime,” in Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on, 2013, pp. 1–6.
LibreCat: /record/10620
DOI: 10.1109/ReConFig.2013.6732280

S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,”10.1109/DATE.2004.1269214__presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi:10.1109/DATE.2004.1269214 .
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,”10.1109/SEFM.2004.1347516__presented at the10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi:10.1109/SEFM.2004.1347516 .
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,”10.1145/581199.581234 __2002, doi:10.1145/581199.581234  .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”10.1109/HICSS.2002.994469__presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi:10.1109/HICSS.2002.994469 .
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,”10.1109/DATE.2001.915002__presented at the10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi:10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002