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.
9804 Publications
2016 | Bachelorsthesis | LibreCat-ID: 201
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 24154
A. Ramaswamy and S. Bhatnagar, “Stochastic recursive inclusion in two timescales with an application to the lagrangian dual problem,” Stochastics, vol. 88, no. 8, pp. 1173–1187, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 26428
R. Keil, “Design of virtual research environments for {\ "u} r detailed philological work,” in “Eh, the old man, I would like to pay attention”. Festschrift for {\ "u} r Joachim Veit for his 60th birthday, K. Richts and P. Stadler, Eds. Allitera M {\" u} nchen, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 33
T. Steinle, Modeling and simulation of metallic, particle-damped spheres for lightweight materials. 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3318
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, and Pritha Gupta, “Pairwise versus Pointwise Ranking: A Case Study,” Schedae Informaticae, vol. 25, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 35 | 
H. Linnenbank, Y. Grynko, J. Förstner, and S. Linden, “Second harmonic generation spectroscopy on hybrid plasmonic/dielectric nanoantennas,” Light: Science & Applications, vol. 5, no. 1, p. e16013, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3543
A. Hildebrandt, S. Alhaddad, M. Hammer, and J. Förstner, “Oblique incidence of semi-guided waves on step-like folds in planar dielectric slabs: Lossless vertical interconnects in 3D integrated photonic circuits,” in Integrated Optics: Devices, Materials, and Technologies XX, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3747
K. Al Khatib, H. Wachsmuth, J. Kiesel, M. Hagen, and B. Stein, “A News Editorial Corpus for Mining Argumentation Strategies,” in Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 3433–3443.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3801
K. Al-Khatib, H. Wachsmuth, M. Hagen, J. Köhler, and B. Stein, “Cross-Domain Mining of Argumentative Text through Distant Supervision,” in Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2016, pp. 1395–1404.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3816
H. Wachsmuth, K. Al Khatib, and B. Stein, “Using Argument Mining to Assess the Argumentation Quality of Essays,” in Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 1680–1691.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3834
A. Konoshonkin et al., “Light scattering by ice crystals of cirrus clouds: From exact numerical methods to physical-optics approximation,” Journal of Quantitative Spectroscopy and Radiative Transfer, vol. 195, pp. 132–140, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3840
A. V. Konoshonkin et al., “Comparison between the physical-optics approximation and exact methods solving the problem of light scattering by ice crystals of cirrus clouds,” in 22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3841 |
W. Quiring et al., “Phase sensitive properties and coherent manipulation of a photonic crystal microcavity,” Optics Express, vol. 24, no. 18, pp. 20672–20684, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3843
Y. Grynko, Y. Shkuratov, and J. Förstner, “Light scattering by irregular particles much larger than the wavelength with wavelength-scale surface roughness,” Optics Letters, vol. 41, no. 15, pp. 3491–3493, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3849
A. V. Konoshonkin, N. V. Kustova, A. G. Borovoi, Y. Grynko, and J. Förstner, “Light scattering by ice crystals of cirrus clouds: comparison of the physical optics methods,” Journal of Quantitative Spectroscopy and Radiative Transfer, vol. 182, pp. 12–23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3880
H. Wachsmuth, “Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse,” in Ausgezeichnete Informatikdissertationen 2015, 2016, pp. 329–338.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3884 |
Y. Kou and J. Förstner, “Discrete plasmonic solitons in graphene-coated nanowire arrays,” Optics Express, vol. 24, no. 5, p. 4714, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3886
J. Alberti, H. Linnenbank, S. Linden, Y. Grynko, and J. Förstner, “The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials,” Applied Physics B, vol. 122, no. 2, pp. 45–50, 2016.
LibreCat
| Files available
| DOI
2016 | Preprint | LibreCat-ID: 2969 |
J. Blömer, S. Brauer, and K. Bujna, “Hard-Clustering with Gaussian Mixture Models.” Computing Research Repository, 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 2971
J. Blömer and P. Günther, Effizienz und Sicherheit paarungsbasierter Kryptographie. Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 3114
T. Jager and A. Rupp, “Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way,” PoPETs, no. 3, pp. 62--82, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, and M. Zhandry, “How to Generate and Use Universal Samplers,” 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
2016 | Conference Paper | LibreCat-ID: 3117
C. Bader, T. Jager, Y. Li, and S. Schäge, “On the Impossibility of Tight Cryptographic Reductions,” 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
2016 | Conference Paper | LibreCat-ID: 3118
D. Hofheinz, T. Jager, and A. Rupp, “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts,” 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
2016 | Conference Paper | LibreCat-ID: 3157
S. Beringer and H. Wehrheim, “Verification of AUTOSAR Software Architectures with Timed Automata,” in 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
2016 | Conference Paper | LibreCat-ID: 3158
O. Travkin and H. Wehrheim, “Verification of Concurrent Programs on Weak Memory Models,” in Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
G. Schellhorn, O. Travkin, and H. Wehrheim, “Towards a Thread-Local Proof Technique for Starvation Freedom,” in Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Opacity of a Pessimistic {STM},” in 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
T. Isenberg, M.-}Christine Jakobs, F. Pauck, and H. Wehrheim, “Deriving approximation tolerance constraints from verification runs,” CoRR, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
L. Leder, Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
L. Porzenheim, Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
K. S. Bemmann, Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
M. Drees, R. Gmyr, and C. Scheideler, “Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration,” in Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
S. Walther and H. Wehrheim, “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs,” Science of Computer Programming, pp. 2--23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 17656
G. Polevoy, M. de Weerdt, and C. Jonker, “The Convergence of Reciprocation,” in Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 2016, pp. 1431–1432.
LibreCat
2016 | Conference Paper | LibreCat-ID: 177
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “On the Parameterized Parallel Complexity and the Vertex Cover Problem,” in Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat
| Files available
| DOI
2016 | Special Issue | LibreCat-ID: 187
F. Meyer auf der Heide, Ed., Introduction to the Special Issue on SPAA 2014, no. 1. 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
M. C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, and W. Schäfer, “Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic,” IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, no. 8, pp. 739–759, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
E. Bodden, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Information Flow Analysis for Go,” 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, doi: 10.1007/978-3-319-47166-2_30.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 207
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go,” 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, Just-in-Time Static Analysis. 2016.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
S. Rasthofer, S. Arzt, E. Bodden, and M. Miltenberger, “Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen,” Datenschutz und Datensicherheit, pp. 718–722, 2016, doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of More Than Ten Years of Java Exploitation,” in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790, doi: http://doi.acm.org/10.1145/2976749.2978361.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
A. Follner et al., “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution,” in International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark Management System,” in Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language Analysis with Soot,” in Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,” Journal of Information Security and Applications , vol. 29, pp. 16–26, 2016, doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels,” in 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, 2016, pp. 116–138, doi: 10.1007/978-3-662-49635-0_7.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
S. Rasthofer, S. Arzt, M. Miltenberger, and E. Bodden, “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
S. Nadi, S. Krüger, M. Mezini, and E. Bodden, “Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?,” in International Conference for Software Engineering (ICSE), 2016, pp. 935–946.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
S. Arzt and E. Bodden, “StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675, doi: 10.1109/HICSS.2016.458.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes,” in Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering 2016, 2016, pp. 77–86, doi: 10.3139/9783446451414.008.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
D. Schubert, C. Heinzemann, and C. Gerking, “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems,” 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 209
M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat
| Files available
| DOI
| arXiv
2016 | Bachelorsthesis | LibreCat-ID: 18025
S. Heuchler, Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1836
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, and T. F. Strothmann, “On the Runtime of Universal Coating for Programmable Matter,” in DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, vol. 9818, pp. 148--164.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1837
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “Universal Shape Formation for Programmable Matter,” 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, 2016, pp. 289--299.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” 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
2016 | Conference Paper | LibreCat-ID: 186
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
M. C. Platenius et al., An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers & Electrical Engineering, pp. 112--122, 2016.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
K. Hinnenthal, Aggregation in Overlay Networks. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
J. Krämer and H. Wehrheim, “A short survey on using software error localization for service compositions,” in Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction in Service Compositions,” 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
2016 | Conference Paper | LibreCat-ID: 227
M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22870
D. Röltgen, H. Anacker, and R. Dumitrescu, “Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0,” in VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22871
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, and R. Dumitrescu, “ Einsatz von Leuchten zur Standortbestimmung in der Produktion,” in VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22872
M. Westermann, H. Anacker, R. Dumitrescu, and A. M. Czaja, “Reference Architecture and Maturity Levels for Cyber-Physical Systems,” in 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22873
C. Fechtelpeter et al., “Reliability in MID - barriers, potentials, fields of action,” in 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22874
C. Jürgenhake, T. Falkowski, and R. Dumitrescu, “Classification of MID-prototypes,” in 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22876
C. Jürgenhake and R. Dumitrescu, “Systematic for function-oriented development of spatial integrated circuit carriers,” in International Design Conference - Design 2016, 16. - 19. Mai 2016, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22878
L. Kaiser, C. Bremer, and R. Dumitrescu, “Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems,” in Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22879
C. Jürgenhake, T. Falkowski, C. Fechtelpeter, and R. Dumitrescu, “ Function-based feasibility study and benchmark for MID concepts,” in Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22880
L. H. Bretz, C. Tschirner, and R. Dumitrescu, “ A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems,” in IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering, 2016, pp. 143–150.
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
S. Schwichtenberg, “Automatized Derivation of Comprehensive Specifications for Black-box Services,” in Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 21728
S. Heppner, M. Dransfeld, and G. Domik, “Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests,” in Informatik 2016, 2016, pp. 1591–1604.
LibreCat