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.
9763 Publications
2016 | Book Chapter | LibreCat-ID: 2948
Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
LibreCat
| DOI
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
2016 | Book Chapter | LibreCat-ID: 2968
Theoretical Analysis of the k-Means Algorithm – A Survey
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
LibreCat
| DOI
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
2016 | Preprint | LibreCat-ID: 2969 | 
Hard-Clustering with Gaussian Mixture Models
J. Blömer, S. Brauer, K. Bujna, (2016).
LibreCat
| Download (ext.)
J. Blömer, S. Brauer, K. Bujna, (2016).
2016 | Book Chapter | LibreCat-ID: 2970
Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat
| DOI
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
2016 | Report | LibreCat-ID: 2971
Effizienz und Sicherheit paarungsbasierter Kryptographie
J. Blömer, P. Günther, Effizienz Und Sicherheit Paarungsbasierter Kryptographie, Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
LibreCat
J. Blömer, P. Günther, Effizienz Und Sicherheit Paarungsbasierter Kryptographie, Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
2016 | Journal Article | LibreCat-ID: 3112
Tightly secure signatures and public-key encryption
D. Hofheinz, T. Jager, Des. Codes Cryptography (2016) 29--61.
LibreCat
| DOI
D. Hofheinz, T. Jager, Des. Codes Cryptography (2016) 29--61.
2016 | Journal Article | LibreCat-ID: 3113
Selective opening security of practical public-key encryption schemes
F. Heuer, T. Jager, S. Schäge, E. Kiltz, IET Information Security (2016) 304--318.
LibreCat
| DOI
F. Heuer, T. Jager, S. Schäge, E. Kiltz, IET Information Security (2016) 304--318.
2016 | Journal Article | LibreCat-ID: 3114
Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way
T. Jager, A. Rupp, PoPETs (2016) 62--82.
LibreCat
T. Jager, A. Rupp, PoPETs (2016) 62--82.
2016 | Conference Paper | LibreCat-ID: 3115
How to Generate and Use Universal Samplers
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, M. Zhandry, in: Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
LibreCat
| DOI
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, M. Zhandry, in: Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
2016 | Conference Paper | LibreCat-ID: 3116
Breaking PPTP VPNs via RADIUS Encryption
M. Horst, M. Grothe, T. Jager, J. Schwenk, in: Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 2016, pp. 159--175.
LibreCat
| DOI
M. Horst, M. Grothe, T. Jager, J. Schwenk, in: Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 2016, pp. 159--175.
2016 | Conference Paper | LibreCat-ID: 3117
On the Impossibility of Tight Cryptographic Reductions
C. Bader, T. Jager, Y. Li, S. Schäge, in: Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
LibreCat
| DOI
C. Bader, T. Jager, Y. Li, S. Schäge, in: Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
2016 | Conference Paper | LibreCat-ID: 3118
Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts
D. Hofheinz, T. Jager, A. Rupp, in: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
LibreCat
| DOI
D. Hofheinz, T. Jager, A. Rupp, in: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
2016 | Conference Paper | LibreCat-ID: 3119
Verifiable Random Functions from Standard Assumptions
D. Hofheinz, T. Jager, in: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
LibreCat
| DOI
D. Hofheinz, T. Jager, in: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
2016 | Conference Paper | LibreCat-ID: 3157
Verification of AUTOSAR Software Architectures with Timed Automata
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
2016 | Conference Paper | LibreCat-ID: 3158
Verification of Concurrent Programs on Weak Memory Models
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
2016 | Conference Paper | LibreCat-ID: 3159
Towards a Thread-Local Proof Technique for Starvation Freedom
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
2016 | Conference Paper | LibreCat-ID: 3160
Proving Opacity of a Pessimistic {STM}
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim{\’{e}}nez, F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat
| DOI
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim{\’{e}}nez, F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
2016 | Journal Article | LibreCat-ID: 3161
Deriving approximation tolerance constraints from verification runs
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
LibreCat
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
2016 | Mastersthesis | LibreCat-ID: 210
Congestion Games with Mixed Objectives
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
LibreCat
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 213
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 214
Commitment Schemes - Definitions, Variants, and Security
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
LibreCat
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 215
Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
2016 | Journal Article | LibreCat-ID: 175
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
2016 | Conference Paper | LibreCat-ID: 17655
The Game of Reciprocation Habits
G. Polevoy, M.M. de Weerdt, C.M. Jonker, in: Proceedings of the 2016 European Conference on Artificial Intelligence, 2016, pp. 417–425.
LibreCat
| DOI
G. Polevoy, M.M. de Weerdt, C.M. Jonker, in: Proceedings of the 2016 European Conference on Artificial Intelligence, 2016, pp. 417–425.
2016 | Conference Paper | LibreCat-ID: 17656
The Convergence of Reciprocation
G. Polevoy, M. de Weerdt, C. Jonker, in: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2016, pp. 1431–1432.
LibreCat
G. Polevoy, M. de Weerdt, C. Jonker, in: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2016, pp. 1431–1432.
2016 | Conference Paper | LibreCat-ID: 177
On the Parameterized Parallel Complexity and the Vertex Cover Problem
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
2016 | Special Issue | LibreCat-ID: 187
Introduction to the Special Issue on SPAA 2014
F. Meyer auf der Heide, ed., Introduction to the Special Issue on SPAA 2014, 2016.
LibreCat
| Files available
| DOI
F. Meyer auf der Heide, ed., Introduction to the Special Issue on SPAA 2014, 2016.
2016 | Conference Paper | LibreCat-ID: 19
Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension
M. Lass, D. Leibenger, C. Sorge, in: Proc. 41st Conference on Local Computer Networks (LCN), IEEE, 2016.
LibreCat
| DOI
M. Lass, D. Leibenger, C. Sorge, in: Proc. 41st Conference on Local Computer Networks (LCN), IEEE, 2016.
2016 | Journal Article | LibreCat-ID: 190
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
LibreCat
| Files available
| DOI
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
2016 | Conference Paper | LibreCat-ID: 2367
A Theoretical Analysis of the Fuzzy K-Means Problem
J. Blömer, S. Brauer, K. Bujna, in: 2016 IEEE 16th International Conference on Data Mining (ICDM), IEEE, 2016, pp. 805–810.
LibreCat
| DOI
J. Blömer, S. Brauer, K. Bujna, in: 2016 IEEE 16th International Conference on Data Mining (ICDM), IEEE, 2016, pp. 805–810.
2016 | Conference Paper | LibreCat-ID: 20556
Information Flow Analysis for Go
E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–445.
LibreCat
| DOI
E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–445.
2016 | Conference Paper | LibreCat-ID: 207
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
2016 | Conference Paper | LibreCat-ID: 20716
Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat
| Download (ext.)
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Nordic Workshop on Programming Theory (NWPT’16), 2016.
2016 | Report | LibreCat-ID: 20717
Just-in-Time Static Analysis
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, Just-in-Time Static Analysis, 2016.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, Just-in-Time Static Analysis, 2016.
2016 | Journal Article | LibreCat-ID: 20718
Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen
S. Rasthofer, S. Arzt, E. Bodden, M. Miltenberger, Datenschutz Und Datensicherheit (2016) 718–722.
LibreCat
| DOI
| Download (ext.)
S. Rasthofer, S. Arzt, E. Bodden, M. Miltenberger, Datenschutz Und Datensicherheit (2016) 718–722.
2016 | Conference Paper | LibreCat-ID: 20719
An In-Depth Study of More Than Ten Years of Java Exploitation
P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.
LibreCat
| DOI
P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.
2016 | Conference Paper | LibreCat-ID: 20720
PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution
A. Follner, A. Bartel, H. Peng, Y.-C. Chang, K. Ispoglou, M. Payer, E. Bodden, in: International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
LibreCat
| Download (ext.)
A. Follner, A. Bartel, H. Peng, Y.-C. Chang, K. Ispoglou, M. Payer, E. Bodden, in: International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
2016 | Conference Paper | LibreCat-ID: 20721
Toward an Automated Benchmark Management System
L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat
| Download (ext.)
L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
2016 | Conference Paper | LibreCat-ID: 20722
Towards Cross-Platform Cross-Language Analysis with Soot
S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
LibreCat
| Download (ext.)
S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
2016 | Journal Article | LibreCat-ID: 20724
ROPocop — Dynamic mitigation of code-reuse attacks
A. Follner, E. Bodden, Journal of Information Security and Applications 29 (2016) 16–26.
LibreCat
| DOI
| Download (ext.)
A. Follner, E. Bodden, Journal of Information Security and Applications 29 (2016) 16–26.
2016 | Conference Paper | LibreCat-ID: 20725
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
LibreCat
| Download (ext.)
A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
2016 | Conference Paper | LibreCat-ID: 20726
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016, pp. 116–138.
LibreCat
| DOI
| Download (ext.)
K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016, pp. 116–138.
2016 | Conference Paper | LibreCat-ID: 20727
Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques
S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat
| Download (ext.)
S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed System Security Symposium (NDSS), 2016.
2016 | Conference Paper | LibreCat-ID: 20728
Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?
S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016, pp. 935–946.
LibreCat
| Download (ext.)
S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016, pp. 935–946.
2016 | Conference Paper | LibreCat-ID: 20729
StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework
S. Arzt, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016.
LibreCat
| Download (ext.)
S. Arzt, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016.
2016 | Conference Paper | LibreCat-ID: 20730
Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment
N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.
LibreCat
| DOI
| Download (ext.)
N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.
2016 | Conference Paper | LibreCat-ID: 208
Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat
| Files available
| DOI
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
2016 | Report | LibreCat-ID: 20822
The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
2016 | Report | LibreCat-ID: 20823
The MechatronicUML Requirements Engineering Method: Process and Language
J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.
LibreCat
| DOI
J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.
2016 | Conference Paper | LibreCat-ID: 20825
Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme
M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering 2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86.
LibreCat
| DOI
M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering 2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86.
2016 | Conference Paper | LibreCat-ID: 20830
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems
D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.
LibreCat
D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.
2016 | Conference Paper | LibreCat-ID: 209
Congestion Games with Mixed Objectives
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
2016 | Bachelorsthesis | LibreCat-ID: 18025
Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
2016 | Journal Article | LibreCat-ID: 1835
SplayNet: Towards Locally Self-Adjusting Networks
S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker, IEEE/ACM Trans. Netw. (2016) 1421--1433.
LibreCat
| DOI
S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker, IEEE/ACM Trans. Netw. (2016) 1421--1433.
2016 | Conference Paper | LibreCat-ID: 1836
On the Runtime of Universal Coating for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.
LibreCat
| DOI
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.
2016 | Conference Paper | LibreCat-ID: 1837
Universal Shape Formation for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299.
LibreCat
| DOI
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299.
2016 | Conference Paper | LibreCat-ID: 184
Learning to Aggregate Using Uninorms
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
2016 | Conference (Editor) | LibreCat-ID: 1844
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016
C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.
LibreCat
| DOI
C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.
2016 | Book Chapter | LibreCat-ID: 1845
Jamming-Resistant MAC Protocols for Wireless Networks
A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.
LibreCat
| DOI
A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.
2016 | Conference Paper | LibreCat-ID: 186
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| Files available
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
2016 | Report | LibreCat-ID: 221
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
LibreCat
| Files available
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 222
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering (2016) 112--122.
LibreCat
| Files available
| DOI
T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering (2016) 112--122.
2016 | Mastersthesis | LibreCat-ID: 223
Aggregation in Overlay Networks
K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
LibreCat
| Files available
K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 224
A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
2016 | Conference Paper | LibreCat-ID: 226
A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat
| Files available
| DOI
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
2016 | Conference Paper | LibreCat-ID: 227
A CEGAR Scheme for Information Flow Analysis
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
2016 | Conference Paper | LibreCat-ID: 22870
Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0
D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
LibreCat
D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22871
Einsatz von Leuchten zur Standortbestimmung in der Produktion
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
LibreCat
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22872
Reference Architecture and Maturity Levels for Cyber-Physical Systems
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22873
Reliability in MID - barriers, potentials, fields of action
C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T. Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
LibreCat
C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T. Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22874
Classification of MID-prototypes
C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
LibreCat
C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22876
Systematic for function-oriented development of spatial integrated circuit carriers
C. Jürgenhake, R. Dumitrescu, in: International Design Conference - Design 2016, 16. - 19. Mai 2016, 2016.
LibreCat
C. Jürgenhake, R. Dumitrescu, in: International Design Conference - Design 2016, 16. - 19. Mai 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22878
Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems
L. Kaiser, C. Bremer, R. Dumitrescu, in: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
LibreCat
L. Kaiser, C. Bremer, R. Dumitrescu, in: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
2016 | Conference Paper | LibreCat-ID: 22879
Function-based feasibility study and benchmark for MID concepts
C. Jürgenhake, T. Falkowski, C. Fechtelpeter, R. Dumitrescu, in: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
LibreCat
C. Jürgenhake, T. Falkowski, C. Fechtelpeter, R. Dumitrescu, in: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
2016 | Conference Paper | LibreCat-ID: 22880
A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems
L.H. Bretz, C. Tschirner, R. Dumitrescu, in: IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering, Edinburgh, Scotland, 2016, pp. 143–150.
LibreCat
L.H. Bretz, C. Tschirner, R. Dumitrescu, in: IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering, Edinburgh, Scotland, 2016, pp. 143–150.
2016 | Conference Paper | LibreCat-ID: 217
Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| Files available
| DOI
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
2016 | Conference Paper | LibreCat-ID: 21728
Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests
S. Heppner, M. Dransfeld, G. Domik, in: M. Pinzger, H. Mayr (Eds.), Informatik 2016, Gesellschaft für Informatik e.V., Bonn, 2016, pp. 1591–1604.
LibreCat
S. Heppner, M. Dransfeld, G. Domik, in: M. Pinzger, H. Mayr (Eds.), Informatik 2016, Gesellschaft für Informatik e.V., Bonn, 2016, pp. 1591–1604.
2016 | Conference Paper | LibreCat-ID: 21729
A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency
S. Heppner, M. Dransfeld, G. Domik, in: M. Hullin, M. Stamminger, T. Weinkauf (Eds.), Vision, Modeling & Visualization, The Eurographics Association, 2016.
LibreCat
| DOI
S. Heppner, M. Dransfeld, G. Domik, in: M. Hullin, M. Stamminger, T. Weinkauf (Eds.), Vision, Modeling & Visualization, The Eurographics Association, 2016.
2016 | Journal Article | LibreCat-ID: 21730
3D Image Display Courses for Information Media Students
K. Yanaka, T. Yamanouchi, IEEE Computer Graphics and Applications 36 (2016) 68–73.
LibreCat
| DOI
K. Yanaka, T. Yamanouchi, IEEE Computer Graphics and Applications 36 (2016) 68–73.
2016 | Journal Article | LibreCat-ID: 21731
Using Heuristic Evaluation to Foster Visualization Analysis and Design Skills
B.S. Santos, B.Q. Ferreira, P. Dias, IEEE Computer Graphics and Applications 36 (2016) 86–90.
LibreCat
| DOI
B.S. Santos, B.Q. Ferreira, P. Dias, IEEE Computer Graphics and Applications 36 (2016) 86–90.
2016 | Conference Paper | LibreCat-ID: 219
Architectural Management of On-The-Fly Computing Markets
B. Jazayeri, in: Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops), ACM, Copenhagen, Denmark, 2016, p. 42.
LibreCat
| Files available
| DOI
B. Jazayeri, in: Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops), ACM, Copenhagen, Denmark, 2016, p. 42.
2016 | Journal Article | LibreCat-ID: 21937
Variational tensor approach for approximating the rare-event kinetics of macromolecular systems
F. Nüske, R. Schneider, F. Vitalini, F. Noé, The Journal of Chemical Physics (2016).
LibreCat
| DOI
F. Nüske, R. Schneider, F. Vitalini, F. Noé, The Journal of Chemical Physics (2016).
2016 | Dissertation | LibreCat-ID: 220
Application Deployment at Distributed Clouds
M. Keller, Application Deployment at Distributed Clouds, Universität Paderborn, 2016.
LibreCat
| Files available
M. Keller, Application Deployment at Distributed Clouds, Universität Paderborn, 2016.
2016 | Conference (Editor) | LibreCat-ID: 7756
Mensch und Computer 2016 - Usability Professionals. Tagungsband
S. Hess , H.G. Fischer, eds., Mensch Und Computer 2016 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Aachen, 2016.
LibreCat
S. Hess , H.G. Fischer, eds., Mensch Und Computer 2016 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Aachen, 2016.
2016 | Conference (Editor) | LibreCat-ID: 7757
SOFSEM 2016: Theory and Practice of Computer Science
R. Martins Freivalds, G. Engels, B. Catania, eds., SOFSEM 2016: Theory and Practice of Computer Science, Springer, 2016.
LibreCat
R. Martins Freivalds, G. Engels, B. Catania, eds., SOFSEM 2016: Theory and Practice of Computer Science, Springer, 2016.
2016 | Conference (Editor) | LibreCat-ID: 7758
Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings
P. Van Gorp, G. Engels, eds., Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, Springer, 2016.
LibreCat
P. Van Gorp, G. Engels, eds., Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, Springer, 2016.
2016 | Conference (Editor) | LibreCat-ID: 7759
SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II
R. Martins Freivalds, G. Engels, B. Catania, R. Spanek, eds., SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II, Springer, 2016.
LibreCat
R. Martins Freivalds, G. Engels, B. Catania, R. Spanek, eds., SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II, Springer, 2016.
2016 | Conference Paper | LibreCat-ID: 7765 |
Erkunden mathematischer Strukturen anstatt Interpretation in Modellen – Ein innermathematischer Zugang zu negativen Zahlen
J. Schumacher, in: Institut für Mathematik und Informatik Heidelberg} (Ed.), Beiträge zum Mathematikunterricht 2016, WTM-Verlag, Münster, 2016.
LibreCat
| Download (ext.)
J. Schumacher, in: Institut für Mathematik und Informatik Heidelberg} (Ed.), Beiträge zum Mathematikunterricht 2016, WTM-Verlag, Münster, 2016.
2016 | Conference Paper | LibreCat-ID: 8070
Automated Quality Analysis of Software Engineering Method Models
M. Fazal-Baqaie, F. Kluthe, in: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS, 2016.
LibreCat
M. Fazal-Baqaie, F. Kluthe, in: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS, 2016.
2016 | Conference Paper | LibreCat-ID: 8071
Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten
M. Fazal-Baqaie, B. Güldali, M. Grieger, in: Proceedings of Projektmanagement Und Vorgehensmodelle 2016, Köllen Druck+Verlag GmbH, Bonn, 2016, pp. 109–120.
LibreCat
M. Fazal-Baqaie, B. Güldali, M. Grieger, in: Proceedings of Projektmanagement Und Vorgehensmodelle 2016, Köllen Druck+Verlag GmbH, Bonn, 2016, pp. 109–120.
2016 | Conference Paper | LibreCat-ID: 8072
Concept-Based Engineering of Situation-Specific Migration Methods
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Proceedings of the 15th International Conference on Software Reuse (ICSR), Springer, 2016, pp. 199–214.
LibreCat
| Download (ext.)
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Proceedings of the 15th International Conference on Software Reuse (ICSR), Springer, 2016, pp. 199–214.
2016 | Conference Paper | LibreCat-ID: 5743
Multi-device UI Development for Task-Continuous Cross-Channel Web Applications
E. Yigitbas, T. Kern, P. Urban, S. Sauer, in: Current Trends in Web Engineering - {ICWE} 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016, Revised Selected Papers, 2016, pp. 114–127.
LibreCat
| DOI
E. Yigitbas, T. Kern, P. Urban, S. Sauer, in: Current Trends in Web Engineering - {ICWE} 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016, Revised Selected Papers, 2016, pp. 114–127.
2016 | Conference Paper | LibreCat-ID: 5744
Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications
E. Yigitbas, S. Sauer, in: Human-Centered and Error-Resilient Systems Development - {IFIP} {WG} 13.2/13.5 Joint Working Conference 6th International Conference on Human-Centered Software Engineering, {HCSE} 2016, and 8th International Conference on Human Error, Safety, and System Development, {HESSD} 2016 Stockholm, Sweden, August 29-31, 2016, Proceedings, 2016, pp. 281–300.
LibreCat
| DOI
E. Yigitbas, S. Sauer, in: Human-Centered and Error-Resilient Systems Development - {IFIP} {WG} 13.2/13.5 Joint Working Conference 6th International Conference on Human-Centered Software Engineering, {HCSE} 2016, and 8th International Conference on Human Error, Safety, and System Development, {HESSD} 2016 Stockholm, Sweden, August 29-31, 2016, Proceedings, 2016, pp. 281–300.
2016 | Conference Paper | LibreCat-ID: 5745
Customized UI Development Through Context-Sensitive GUI Patterns
E. Yigitbas, S. Sauer, in: Mensch Und Computer 2016 - Workshopband, Aachen, Germany, September 4-7, 2016, 2016.
LibreCat
| DOI
E. Yigitbas, S. Sauer, in: Mensch Und Computer 2016 - Workshopband, Aachen, Germany, September 4-7, 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 5746
Towards a Task Driven Approach Enabling Continuous User Requirements Engineering
H.G. Fischer, M. Rose, E. Yigitbas, P. Forbrig, in: Joint Proceedings of {REFSQ-2016} Workshops, Doctoral Symposium, Research Method Track, and Poster Track Co-Located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality {(REFSQ} 2016), Gothenburg, Sweden, March 14, 2016., 2016.
LibreCat
H.G. Fischer, M. Rose, E. Yigitbas, P. Forbrig, in: Joint Proceedings of {REFSQ-2016} Workshops, Doctoral Symposium, Research Method Track, and Poster Track Co-Located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality {(REFSQ} 2016), Gothenburg, Sweden, March 14, 2016., 2016.
2016 | Journal Article | LibreCat-ID: 5759
Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects
I. Jovanovikj, M. Grieger, E. Yigitbas, Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering & Evolution (WSRE) & 7th Workshop Design for Future (DFF) 36 (2016) 65–66.
LibreCat
I. Jovanovikj, M. Grieger, E. Yigitbas, Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering & Evolution (WSRE) & 7th Workshop Design for Future (DFF) 36 (2016) 65–66.
2016 | Journal Article | LibreCat-ID: 5762
The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree
T.F. Strothmann, Journal of Graph Algorithms and Applications 20 (2016) 79–100.
LibreCat
| Files available
| DOI
T.F. Strothmann, Journal of Graph Algorithms and Applications 20 (2016) 79–100.
2016 | Conference Paper | LibreCat-ID: 5812
FPGA-based acceleration of high density myoelectric signal processing
A. Boschmann, A. Agne, L. Witschen, G. Thombansen, F. Kraus, M. Platzner, in: 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2016.
LibreCat
| DOI
A. Boschmann, A. Agne, L. Witschen, G. Thombansen, F. Kraus, M. Platzner, in: 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2016.
2016 | Conference Paper | LibreCat-ID: 5825
Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: Q.Z. Sheng, E. Stroulia, S. Tata, S. Bhiri (Eds.), Service-Oriented Computing, Springer International Publishing, Cham, 2016, pp. 171–185.
LibreCat
| DOI
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: Q.Z. Sheng, E. Stroulia, S. Tata, S. Bhiri (Eds.), Service-Oriented Computing, Springer International Publishing, Cham, 2016, pp. 171–185.
2016 | Journal Article | LibreCat-ID: 6249
UUX Method Selection
H.G. Fischer, M. Kauer-Franz, D. Winter, S. Latt, i-com 15 (2016).
LibreCat
| DOI
H.G. Fischer, M. Kauer-Franz, D. Winter, S. Latt, i-com 15 (2016).