Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2296 Publications


2018 | Dissertation | LibreCat-ID: 6597
J. Juhnke, Models and Constructions for Secure Reputation Systems. Universität Paderborn, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 669
M. Feldotto, L. Leder, and A. Skopalik, “Congestion games with mixed objectives,” Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1145–1167, 2018.
LibreCat | Files available | DOI | arXiv
 

2018 | Book | LibreCat-ID: 6738
H. Gruber and C. Harteis, Individual and Social Influences on Professional Learning. Cham: Springer International Publishing, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6743
D. Wolters, “Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken,” die hochschullehre, no. 4, 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 6761
I. Jovanovikj, V. Narasimhan, G. Engels, and S. Sauer, “Context-specific Quality Evaluation of Test Cases,” in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Madeira, Portugal, 2018, pp. 594–601.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6763
I. Jovanovikj, G. Engels, A. Anjorin, and S. Sauer, “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model,” in Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Tallinn, Estonia, 2018, pp. 133–147.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6828
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Mechanized proofs of opacity: a comparison of two techniques,” Formal Asp. Comput., vol. 30, no. 5, pp. 597–625, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6836
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6838
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6839
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Brief Announcement: Generalising Concurrent Correctness to Weak Memory,” in 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6967
M. Derakhshanmanesh, J. Ebert, M. Grieger, and G. Engels, “Model-integrating development of software systems: a flexible component-based approach,” Software & Systems Modeling, pp. 1–30, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 6970 | OA
S. B. Schneider, S. Dräxler, and H. Karl, “Trade-offs in Dynamic Resource Allocation in Network Function Virtualization,” in IEEE Global Communications Conference (GLOBECOM 2018), Abu Dhabi, UAE, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 6972 | OA
S. B. Schneider, M. Peuster, and H. Karl, “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 6974 | OA
S. B. Schneider, M. Peuster, W. Tavernier, and H. Karl, “A Fully Integrated Multi-Platform NFV SDK,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 16416
Z. Li, L. Liu, Y. Deng, S. Yin, and S. Wei, “Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution,” IEEE Computer Architecture Letters, pp. 147–150, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16421
C. Ceissler, R. Nepomuceno, M. Pereira, and G. Araujo, “Automatic Offloading of Cluster Accelerators,” in 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16425
L. Solis-Vasquez and A. Koch, “A Case Study in Using OpenCL on FPGAs: Creating an Open-Source Accelerator of the AutoDock Molecular Docking Software,” in FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers, 2018, pp. 1–10.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 16435
P. Kemper, P. Rehlaender, U. Witkowski, and A. Schwung, “Competitive Evaluation of Energy Management Strategies for Hybrid Electric Vehicle Based on Real World Driving,” in 2017 European Modelling Symposium (EMS), 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16437
P. Rehlaender, P. Kemper, A. Schwung, and U. Witkowski, “A fuel cell vehicle thermal system model,” in 2018 IEEE International Energy Conference (ENERGYCON), 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16439
P. Rehlaender, P. Kemper, A. Schwung, and U. Witkowski, “A Novel Predictive Energy Management System,” in 2017 European Modelling Symposium (EMS), 2018.
LibreCat | DOI
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed