- Fraunhofer FOKUS
- Business Units
- SQC
- Publications
More information
2023
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2023 |
Student’s View on Hate Speech: Gamified Annotation for Educational Use Fillies, Jan; Solorzano Niederhausen, Raimi; Peikert, Silvio; Paschke, Adrian |
Konferenzbeitrag Conference Paper |
2023 |
A Testing Pipeline for Quantum Computing Applications Becker, Colin Kai-Uwe; Gheorghe-Pop, Ilie-Daniel; Tcholtchev, Nikolay Vassilev |
Konferenzbeitrag Conference Paper |
2023 |
Security-by-design IOT-Entwicklung und Validierung mit IOTAC Hackel, Sascha; Schneider, Martin; Barakat, Ramon |
Zeitschriftenaufsatz Journal Article |
2023 |
Evaluating the effectiveness of attacks and defenses on machine learning through adversarial samples Gala, Viraj Rohit; Schneider, Martin |
Konferenzbeitrag Conference Paper |
2023 |
Design and development of a short-term photovoltaic power output forecasting method based on Random Forest, Deep Neural Network and LSTM using readily available weather features Rangelov, Denis; Boerger, Michell; Tcholtchev, Nikolay Vassilev; Lämmel, Philipp; Hauswirth, Manfred |
Zeitschriftenaufsatz Journal Article |
2023 |
Towards an integrated methodology and toolchain for machine learning-based intrusion detection in Urban IoT networks and platforms Rangelov, Denis; Lämmel, Philipp; Brunzel, Lisa; Borgert, Stephan; Darius, Paul; Tcholtchev, Nikolay Vassilev; Boerger, Michell |
Zeitschriftenaufsatz Journal Article |
2023 |
Test and training data generation for object recognition in the railway domain Großmann, Jürgen; Grube, Nicolas; Kharma, Sami; Knoblauch, Dorian; Krajewski, Roman; Kucheiko, Mariia; Wiesbrock, Hans-Werner |
Konferenzbeitrag Conference Paper |
2023 |
Social approach to the transition to smart cities Macaluso, Agnese; Flickenschild, Michael; Gasparotti, Alessandro; Wedman, Hidde; Panagiotidou, Zinovia; Lämmel, Philipp; Tcholtchev, Nikolay Vassilev; Fernandez Lopez, Trinidad; Baudouin, Philippe; Gars, Gaelle le |
Studie Study |
2023 |
Defining software test architectures with the UML testing profile Hagar, Jon; Wendland, Marc-Florian |
Konferenzbeitrag Conference Paper |
2023 |
Automatic generation of Grover quantum oracles for arbitrary data structures Seidel, Raphael; Becker, Colin Kai-Uwe; Bock, Sebastian; Tcholtchev, Nikolay Vassilev; Gheorghe-Pop, Ilie-Daniel; Hauswirth, Manfred |
Zeitschriftenaufsatz Journal Article |
2023 |
Safety- und Security-Engineering Hand in Hand Sadeghipour, Sadegh; Schlingloff, Holger; Conrad, Mirko; Schülzke, Harald |
Zeitschriftenaufsatz Journal Article |
2023 |
A cooperative decentralised optimization method for vehicle platooning Wudka, Björn; Thomas, Carsten; Schlingloff, Holger |
Konferenzbeitrag Conference Paper |
2023 |
Uncomputation in the Qrisp High-Level Quantum Programming Framework Seidel, Raphael; Tcholtchev, Nikolay Vassilev; Bock, Sebastian; Hauswirth, Manfred |
Konferenzbeitrag Conference Paper |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2022
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2022 |
Equivalence in delegated quantum computing Wiesner, Fabian; Eisert, Jens; Pappa, Anna |
Paper |
2022 |
Formal methods for software engineering Roggenbach, Markus; Cerone, Antonio; Schlingloff, Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed |
Buch Book |
2022 |
Towards a Standardised Quantum Software Stack Bock, Sebastian; Seidel, Raphael; Becker, Colin Kai-Uwe |
Zeitschriftenaufsatz Journal Article |
2022 |
Design and specification of a privacy-preserving registration for Blockchain-based energy markets Boerger, Michell; Lämmel, Philipp; Tcholtchev, Nikolay Vassilev; Hauswirth, Manfred |
Zeitschriftenaufsatz Journal Article |
2022 |
Attack-based automation of security testing for IoT applications with genetic algorithms and fuzzing Lüdtke, Steffen; Kraus, Roman; Barakat, Ramon; Schneider, Martin |
Konferenzbeitrag Conference Paper |
2022 |
Enabling short-term energy flexibility markets through Blockchain Boerger, Michell; Lämmel, Philipp; Tcholtchev, Nikolay Vassilev; Hauswirth, Manfred |
Zeitschriftenaufsatz Journal Article |
2022 |
Secure anonymous conferencing in quantum networks Grasselli, Federico; Murta, Gláucia; de Jong, Jarn; Hahn, Frederik; Bruß, Dagmar; Kampermann, Hermann; Pappa, Anna |
Zeitschriftenaufsatz Journal Article |
2022 |
Learning classical readout quantum PUFs based on single-qubit gates Pirnay, Niklas; Pappa, Anna; Seifert, Jean-Pierre |
Zeitschriftenaufsatz Journal Article |
2022 |
Software engineering and formal methods. 20th International Conference, SEFM 2022. Proceedings |
Tagungsband Conference Proceeding |
2022 |
Towards a Quantum Benchmark Suite with Standardized KPIs Becker, Colin Kai-Uwe; Tcholtchev, Nikolay Vassilev; Gheorghe-Pop, Ilie-Daniel; Bock, Sebastian; Seidel, Raphael; Hauswirth, Manfred |
Konferenzbeitrag Conference Paper |
2022 |
Qrisp: a framework for compilable high-level programming of gate-based quantum computers Seidel, Raphael; Bock, Sebastian; Tcholtchev, Nikolay Vassilev; Hauswirth, Manfred |
Vortrag Presentation |
2022 |
NEMI: A 6G-ready, AI-enabled autonomic network management system for open campus networks Corici, Marius-Iulian; Gowtham, Varun; Magedanz, Thomas; Prakash, Arun; Schreiner, Florian |
Konferenzbeitrag Conference Paper |
2022 |
Efficient Floating Point Arithmetic for Quantum Computers Seidel, Raphael; Tcholtchev, Nikolay Vassilev; Bock, Sebastian; Becker, Colin Kai-Uwe; Hauswirth, Manfred |
Zeitschriftenaufsatz Journal Article |
2022 |
SmartDelta: automated quality assurance and optimization in incremental industrial software systems development Saadatmand, Mehrdad; Enoiu, Eduard Paul; Schlingloff, Holger; Felderer, Michael; Afzal, Wasif |
Konferenzbeitrag Conference Paper |
2022 |
Approach to generating functional test cases from BPMN process diagrams Olberg, Pauline von; Strey, Lukas |
Konferenzbeitrag Conference Paper |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2021
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2021 |
Robust anonymous conference key agreement enhanced by multipartite entanglement Grasselli, Federico; Murta, Gláucia; Jong, Jarn de; Hahn, Frederik; Bruß, Dagmar; Kampermann, Hermann; Pappa, Anna |
Paper |
2021 |
Summarising a Framework for the Certification of Reliable Autonomous Systems Fisher, Michael; Mascardi, Viviana; Rozier, Kristin Y.; Schlingloff, Bernd-Holger; Winikoff, Michael; Yorke-Smith, Neil |
Konferenzbeitrag Conference Paper |
2021 |
IoT put to the test Rennoch, Axel |
Zeitschriftenaufsatz Journal Article |
2021 |
Towards a certification scheme for IoT security evaluation Barakat, Ramon; Catal, Faruk; Hackel, Sascha; Rennoch, Axel; Schneider, Martin A. |
Konferenzbeitrag Conference Paper |
2021 |
Creating Trust in Collaborative Embedded Systems Akili, Samira; Cioroaica, Emilia; Kuhn, Thomas; Schlingloff, Holger |
Aufsatz in Buch Book Article |
2021 |
Digital laboratory notifications first rollout results for Sars-CoV-2 and the extension towards generic pathogen reporting Corici, Andreea Ancuta; Rode, Olaf; Rollet, René Wiegmann; Bureck, Max |
Konferenzbeitrag Conference Paper |
2021 |
Presentation of the Programme of the 6th GI/ACM Standardization Workshop on Industrial Automation and Control Systems Meer, Jan de; Waedt, Karl; Rennoch, Axel; Hof, Joachim |
Konferenzbeitrag Conference Paper |
2021 |
Policies and Recommendations for IT Security in Urban Environments from the Morgenstadt Urban Data Partnership Project Lämmel, Philipp; Boerger, Michell; Tcholtchev, Nikolay; Ottendörfer, Eva |
Zeitschriftenaufsatz Journal Article |
2021 |
CrESt Use Cases Schlingloff, Holger |
Aufsatz in Buch Book Article |
2021 |
Goal-Based Strategy Exploration Obe, Patricia Aluko; Brings, Jennifer; Daun, Marian; Feeken, Linda; Mirzaei, Elham; Neumann, Martin; Nickles, Jochen; Rösel, Simon; Sauer, Markus; Schlingloff, Holger; Stierand, Ingo; Zernickel, Jan-Stefan |
Aufsatz in Buch Book Article |
2021 |
Sustainable and Reliable Information and Communication Technology for Resilient Smart Cities Tcholtchev, Nikolay; Schieferdecker, Ina |
Zeitschriftenaufsatz Journal Article |
2021 |
The 5th GI/ACM Workshop 2020 Scope and Draft Programme on Standardization of Secure and Safe Smart Manufacturing Systems with respect to IEC 62443 IACS Meer, Jan de; Waedt, Karl; Rennoch, Axel; Hof, Hans-Joachim |
Konferenzbeitrag Conference Paper |
2021 |
spaceAPPS - A modular approach for on-board software Herpel, Hans Jürgen; Schön, Friedrich; Selegrad, Harald |
Zeitschriftenaufsatz Journal Article |
2021 |
Towards modular and scalable on-board computer architecture Kulau, Ulf; Herpel, Hans Jürgen; Qedar, Ran; Rosenthal, Patrick; Krieger, Joachim; Schön, Friedrich; Masar, Ivan |
Zeitschriftenaufsatz Journal Article |
2021 |
Towards a framework for certification of reliable autonomous systems Fisher, Michael; Mascardi, Viviana; Rozier, Kristin Y.; Schlingloff, Bernd-Holger; Winikoff, Michael; Yorke-Smith, Neil |
Zeitschriftenaufsatz Journal Article |
2021 |
Testing Challenges and Approaches in Edge Computing Rennoch, Axel; Willner, Alexander; Hackel, Sascha |
Vortrag Presentation |
2021 |
A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems Schlingloff, Bernd-Holger; Hoppe, Niels |
Konferenzbeitrag Conference Paper |
2021 |
IoTAC - An innovative approach towards security assurance of IoT architecture and services Barakat, Ramon; Catal, Faruk; Hackel, Sascha; Rennoch, Axel; Schneider, Martin |
Vortrag Presentation |
2021 |
Teaching Model Checking via Games and Puzzles Schlingloff, Bernd-Holger |
Konferenzbeitrag Conference Paper |
2021 |
Design and specification of a blockchain-based P2P energy trading platform Rangelov, Denis; Subudhi, Budankailu Sameer Kumar; Lämmel, Philipp; Boerger, Michell; Tcholtchev, Nikolay Vassilev; Khan, Jaffer |
Konferenzbeitrag Conference Paper |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2020
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2020 |
Wie können KI-Komponenten mit Modellen abgesichert werden? Schlingloff, Holger; Großmann, Jürgen |
Zeitschriftenaufsatz Journal Article |
2020 |
Performance testing for VoIP emergency services Subudhi, Budankailu Sameer Kumar; Catal, Faruk; Tcholtchev, Nikolay; Chiu, Kin Tsun; Rebahi, Yacine; Boerger, Michell; Lämmel, Philipp |
Zeitschriftenaufsatz Journal Article |
2020 |
Using TDL for Standardised Test Purpose Definitions Makedonski, Philip; Gheorghe-Pop, Ilie-Daniel; Rennoch, Axel; Kristoffersen, Finn; Pintar, Bostjan; Ulrich, Andreas |
Konferenzbeitrag Conference Paper |
2020 |
LabChain: An interactive prototype for synthetic peer-to-peer trade research in experimental energy economics Johanning, Simon; Retzlaff, Nancy; Lämmel, Philipp; Dittwald, Benjamin; Bruckner, Thomas |
Konferenzbeitrag Conference Paper |
2020 |
A performance benchmarking methodology for MQTT broker implementations Gheorghe-Pop, Ilie-Daniel; Kaiser, Alexander; Rennoch, Axel; Hackel, Sascha |
Konferenzbeitrag Conference Paper |
2020 |
Building Data ecosystems to unlock the value of Urban (Big) Data. A good practices reference guide Radecki, Alanus von; Tcholtchev, Nikolay; Lämmel, Philipp; Schaj, Gretel |
Studie Study |
2020 |
IoT-T Rennoch, Axel; Jäkel, Frank-Walter; Hackel, Sascha; Stomber, Jens; Stölzle, Stefan; Wardaschka, Andre; Kaiser, Alexander |
Bericht Report |
2020 |
Excellence in variant testing Schlingloff, Holger; Kruse, Peter M.; Saadatmand, Mehrdad |
Konferenzbeitrag Conference Paper |
2020 |
Blockchain for supply chains and international trade Copigneaux, Bertrand; Vlasov, Nikita; Bani, Emarildo; Tcholtchev, Nikolay; Lämmel, Philipp; Fuenfzig, Michael; Snoeijenbos, Simone; Flickenschild, Michael; Piantoni, Martina; Frazzani, Simona |
Studie Study |
2020 |
Specification, synthesis and validation of strategies for collaborative embedded systems Schlingloff, Bernd-Holger |
Konferenzbeitrag Conference Paper |
2020 |
Building Data ecosystems to Unlock the Value of Urban (Big) Data. A good practices reference guide Radecki, Alanus von; Tcholtchev, Nikolay; Lämmel, Philipp; Schaj, Gretel |
Studie Study |
2020 |
Cloud testing automation: Industrial needs and ElasTest response Bertolino, Antonia; Calabrò, Antonello; Marchetti, Eda; Cervantes Sala, Anton; Tuñón de Hita, Guioma; Gheorghe-Pop, Ilie-Daniel; Gowtham, Varun |
Zeitschriftenaufsatz Journal Article |
2020 |
Entwurf und Entwicklung automatisierter Tests für IoT Rennoch, Axel; Hackel, Sascha |
Vortrag Presentation |
2020 |
Quantum DevOps: Towards reliable and applicable NISQ Quantum Computing Gheorghe-Pop, Ilie-Daniel; Tcholtchev, Nikolay; Ritter, Tom; Hauswirth, Manfred |
Konferenzbeitrag Conference Paper |
2020 |
IoT-T Projektergebnisse Rennoch, Axel; Hackel, Sascha |
Vortrag Presentation |
2020 |
Prototype implementation and evaluation of a blockchain component on IoT devices Kullig, Niclas; Lämmel, Philipp; Tcholtchev, Nikolay |
Zeitschriftenaufsatz Journal Article |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2019
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2019 |
Basiswissen Sicherheitstests Simon, Frank; Großmann, Jürgen; Graf, Christian Alexander; Mottok, Jürgen; Schneider, Martin A. |
Buch Book |
2019 |
Unleugbare Daten und digitale Währungen Viehmann, Johannes |
Buch Book |
2019 |
Neue Wege in der IT-Sicherheitszertifizierung von Cloud-Infrastrukturen Großmann, Jürgen; Knoblauch, Dorian |
Internetbeitrag Internet Contribution |
2019 |
Enabling the structuring, enhancement and creation of urban ICT through the extension of a standardized smart city reference model Tcholtchev, Nikolay; Lämmel, Philipp; Scholz, Robert; Rebahi, Yacine; Konitzer, Wojciech; Schieferdecker, Ina |
Konferenzbeitrag Conference Paper |
2019 |
Perceived needs and gains from an industrial study in cloud testing automation Bertolino, Antonia; Calabrò, Antonello; Marchetti, Eda; Cervantes Sala, Anton; Tuñón de Hita, Guioma; Gheorghe-Pop, Ilie-Daniel; Gowtham, Varun |
Konferenzbeitrag Conference Paper |
2019 |
Performance testing for VoIP emergency services Subudhi, Budankailu Sameer Kumar; Catal, Faruk; Tcholtchev, Nikolay; Chiu, Kin Tsun; Rebahi, Yacine |
Zeitschriftenaufsatz Journal Article |
2019 |
Visualization of traffic flows in a simulated network environment to investigate abnormal network behavior in complex network infrastructures Catal, Faruk; Tcholtchev, Nikolay; Höfig, Edzard; Hoffmann, Andreas |
Zeitschriftenaufsatz Journal Article |
2019 |
Extending UTP 2 with cascading arbitration specifications Wendland, Marc-Florian; Schneider, Martin; Hoffmann, Andreas |
Konferenzbeitrag Conference Paper |
2019 |
The need for unified testbed management across multiple teams and stakeholders in a large scale Telecom integration context Tcholtchev, Nikolay; Ulrich, Steven; Catal, Faruk; Konitzer, Wojciech; Barakat, Ramon; Hoffmann, Andreas; Schieferdecker, Ina |
Konferenzbeitrag Conference Paper |
2019 |
Reducing Implementation Efforts in Continuous Auditing Certification Via an Audit API Knoblauch, Dorian; Banse, Christian |
Konferenzbeitrag Conference Paper |
2019 |
Standards-based IoT testing with Open-Source test equipment Kaiser, Alexander; Hackel, Sascha |
Konferenzbeitrag Conference Paper |
2019 |
Prototypische Migration eines webbasierten UML-Werkzeugs zur Steigerung der Performance und Verbesserung der Testbarkeit Fox, Tobias |
Bachelor Thesis |
2019 |
Testing communication in Virtual Power Plants environment with standardized test approach TTCN-3 Lüdtke, Steffen; Hempel, Jens |
Vortrag Presentation |
2019 |
Scalable and efficient distributed self-healing with self-optimization features in fixed IP networks Tcholtchev, Nikolay |
Dissertation Doctoral Thesis |
2019 |
The IoT-Testware. Functional and non-functional testing for the IoT Rennoch, Axel; Kaiser, Alexander |
Vortrag Presentation |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2018
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2018 |
Das Internet der Dinge digitalisiert den Mittelstand Rennoch, Axel; Schieferdecker, Ina; Wagner, Michael |
Zeitschriftenaufsatz Journal Article |
2018 |
Urbane Datenplattformen in der Cloud Catal, Faruk; Tcholtchev, Nikolay; Lämmel, Philipp; Schieferdecker, Ina |
Aufsatz in Buch Book Article |
2018 |
Enabling the interoperability of the Modelica DSL and Matlab Simulink towards the development of self-adaptive dynamic systems Tcholtchev, Nikolay; Dudeck, Grit; Wagner, Michael; Hein, Christian; Prakash, Arun; Ritter, Tom |
Zeitschriftenaufsatz Journal Article |
2018 |
Quality analysis with IoT-Testware Rennoch, Axel; Hackel, Sascha |
Vortrag Presentation |
2018 |
Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic Lorenz, Felix; Schlingloff, Holger |
Konferenzbeitrag Conference Paper |
2018 |
Specification and Verification of Collaborative Transport Robots Schlingloff, Bernd-Holger |
Konferenzbeitrag Conference Paper |
2018 |
Know your risk. Systematic security testing for automotive systems Großmann, Jürgen |
Vortrag Presentation |
2018 |
3rd GI/ACM-Workshop "Standardisation on Industry 4.0 Automation and Control Systems" 2018. Proceedings |
Tagungsband Conference Proceeding |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2017
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2017 |
Test automation for the IoT Rennoch, Axel; Kretzschmann, Sascha; Wagner, Michael |
Vortrag Presentation |
2017 |
Monitoring with Parametrized Extended Life Sequence Charts Chai, Ming; Schlingloff, Bernd-Holger |
Zeitschriftenaufsatz Journal Article |
2017 |
Unternehmens-IT für die Digitalisierung 4.0 Weber, Herbert; Viehmann, Johannes |
Buch Book |
2017 |
Business driven ICT risk management in the banking domain with RACOMAT Viehmann, Johannes |
Konferenzbeitrag Conference Paper |
2017 |
Model-based testing as a service Herbold, Steffen; Hoffmann, Andreas |
Zeitschriftenaufsatz Journal Article |
2017 |
Real-life guards for human-centered systems Serbedzija, Nikola |
Konferenzbeitrag Conference Paper |
2017 |
Interaktionsmodell für Industrie 4.0 Komponenten Diedrich, Christian; Bieliaiev, Alexander; Bock, Jürgen; Gössling, Andreas; Hänisch, Rolf; Kraft, Andreas; Pethig, Florian; Niggemann, Oliver; Reich, Johannes; Vollmar, Friedrich; Wende, Jörg |
Zeitschriftenaufsatz Journal Article |
2017 |
Risk Assessment and Risk-Driven Quality Assurance. 4th International Workshop, RISK 2016 |
Tagungsband Conference Proceeding |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2016
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2016 |
CS&P 2016, Concurrency, Specification and Programming |
Tagungsband Conference Proceeding |
2016 |
Runtime verification of railway applications with extended live sequence charts Chai, Ming |
Dissertation Doctoral Thesis |
2016 |
Challenges and ideas for IoT testing Rennoch, Axel; Wagner, Michael |
Zeitschriftenaufsatz Journal Article |
2016 |
Design for collaborative contextualization of open educational resources Stoffregen, Julia D.; Pawlowski, Jan M.; Moebs, Sabine; Traxler, John; Correa, Vania Valeska Guerra; Prakash, Arun |
Konferenzbeitrag Conference Paper |
2016 |
Open modular avionics architecture for space applications and its communication infrastructure Carl, Christopher; Pletner, Samuel; Behr, Peter M.; Schön, Friedrich; Herpel, Hans Jürgen |
Konferenzbeitrag Conference Paper |
2016 |
Variant management and reuse Schaefer, Ina; Heuer, André; Jäger, Tobias; Kaufmann, Tobias; Manz, Christian; May, Reinhold; Reuter, Christian; Rumpe, Bernhard; Schlingloff, Holger; Schröck, Sebastian; Schulze, Christoph; Schulze, Michael; Weißleder, Stephan |
Aufsatz in Buch Book Article |
2016 |
Towards executable UML interactions based on fUML Wendland, Marc-Florian |
Konferenzbeitrag Conference Paper |
2016 |
Enabling data flows in UML interactions Wendland, Marc-Florian; Barakat, Ramon; Schneider, Martin |
Konferenzbeitrag Conference Paper |
2016 |
Open modular computing platforms in space - Learning from other industrial domains Herpel, H.-J.; Schuettauf, A.; Willich, G.; Tverdyshev, S.; Pletner, S.; Schön, F.; Kiewe, B.; Fidi, C.; Maeke-Kail, M.; Eckstein, K. |
Konferenzbeitrag Conference Paper |
2016 |
Collaborative embedded systems - a case study Schlingloff, Bernd-Holger; Stubert, Henry; Jamroga, Wojciech |
Konferenzbeitrag Conference Paper |
2016 |
Real-life constraints for neuro processing Serbedzija, Nikola |
Konferenzbeitrag Conference Paper |
2016 |
Specification and proof of high-level functional properties of bit-level programs Fumex, Clément; Dross, Claire; Gerlach, Jens; Marché, Claude |
Konferenzbeitrag Conference Paper |
2016 |
Test System Architectures using Advanced Standardized Test Languages Rennoch, Axel |
Vortrag Presentation |
2016 |
Gaining certainty about uncertainty: Testing for uncertainties of cyber-physical systems at the application level Schneider, Martin; Wendland, Marc-Florian; Bornemann, Leon |
Vortrag Presentation |
2016 |
Cyber-physical systems engineering Schlingloff, Bernd-Holger |
Konferenzbeitrag Conference Paper |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2015
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2015 |
Interaktive Visualisierung zur Darstellung und Bewertung von Learning-Analytics-Ergebnissen in Foren mit vielen Teilnehmern Klüsener, Marcus; Konitzer, Wojciech; Fortenbacher, Albrecht |
Konferenzbeitrag Conference Paper |
2015 |
Effizientere IT-Sicherheitstest mit Hilfe von Usagebased Testing Schneider, Martin A.; Herbold, Steffen |
Zeitschriftenaufsatz Journal Article |
2015 |
ACSL by example Burghardt, Jochen; Gerlach, Jens; Lapawczyk, Timon |
Bericht Report |
2015 |
Das UML Testing Profile - Version 2. Der zukünftige Standard für modellbasiertes Testen Schacher, Markus; Wendland, Marc-Florian |
Zeitschriftenaufsatz Journal Article |
2015 |
Monitoring with parametrized extended life sequence charts Chai, Ming; Schlingloff, Bernd-Holger |
Konferenzbeitrag Conference Paper |
2015 |
Combining security risk assessment and security testing based on standards Großmann, Jürgen; Seehusen, Fredrik |
Konferenzbeitrag Conference Paper |
2015 |
Risk assessment and security testing of large scale networked systems with RACOMAT Viehmann, Johannes; Werner, Frank |
Konferenzbeitrag Conference Paper |
2015 |
Adaptive and autonomous systems and their impact on us Serbedzija, Nikola |
Aufsatz in Buch Book Article |
2015 |
A negative input space complexity metric as selection criterion for fuzz testing Schneider, Martin A.; Wendland, Marc-Florian; Hoffmann, Andreas |
Konferenzbeitrag Conference Paper |
2015 |
Improving security testing with usage-based fuzz testing Schneider, Martin A.; Herbold, Steffen; Wendland, Marc-Florian; Grabowski, Jürgen |
Konferenzbeitrag Conference Paper |
2015 |
Advanced test modelling and execution based on the international standardized techniques TTCN-3 and UTP Rennoch, Axel; Wendland, Marc-Florian; Hoffmann, Andreas; Schneider, Martin |
Konferenzbeitrag Conference Paper |
2015 |
Risk assessment and risk-driven testing. Third International Workshop, RISK 2015 |
Tagungsband Conference Proceeding |
2015 |
The ASCENS case studies: Results and common aspects Serbedzija, Nikola |
Aufsatz in Buch Book Article |
2015 |
Tools for ensemble design and runtime Abeywickrama, Dhaminda B.; Combaz, Jacques; Horký, Vojtech; Keznikl, Jaroslav; Kofron, Jan; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Mayer, Philip; Monreale, Valentina; Montanari, Ugo; Pinciroli, Carlo; Tuma, Petr; Vandin, Andrea; Vassev, Emil |
Aufsatz in Buch Book Article |
2015 |
The e-mobility case study Hoch, Nicklas; Bensler, Henry-Paul; Abeywickrama, Dhaminda; Bures, Tomás; Montanari, Ugo |
Aufsatz in Buch Book Article |
2015 |
The MIDAS cloud platform for testing SOA applications Herbold, Steffen; Francesco, Alberto de; Grabowski, Jens; Harms, Patrick; Hillah, Lom M.; Kordon, Fabrice; Maesano, Ariele-Paolo; Maesano, Libero; Napoli, Claudia di; Rosa, Fabio de; Schneider, Martin A.; Tonellotto, Nicola; Wendland, Marc-Florian; Wuillemin, Pierre-Henri |
Konferenzbeitrag Conference Paper |
2015 |
Monitoring and visualizing adaptation of autonomic systems at runtime Abeywickrama, Dhaminda B.; Serbedzija, Nikola; Loreti, Michele |
Konferenzbeitrag Conference Paper |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2014
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2014 |
Approaches to automation and interoperability in systems engineering Ritter, Tom |
Konferenzbeitrag Conference Paper |
2014 |
Testing hybrid systems with TTCN-3 Großmann, Jürgen |
Dissertation Doctoral Thesis |
2014 |
Combining security risk assessment and security testing Großmann, Jürgen; Seehusen, Fredrik |
Bericht Report |
2014 |
Risk management for outsourcing to the cloud. Security risks and safeguards as selection criteria for extern cloud services Viehmann, Johannes |
Konferenzbeitrag Conference Paper |
2014 |
EAGLE - Open data and linked data architecture of an enhanced government learning platform Damjanovic, Violeta; Glachs, Dietmar; Tcholtchev, Nikolay; Ras, Eric; Tobias, Eric |
Konferenzbeitrag Conference Paper |
2014 |
How does the UML testing profile support risk-based testing Ali, Shaukat; Yue, Tao; Hoffmann, Andreas; Wendland, Marc-Florian; Bagnato, Alessandra; Brosse, Etienne; Schacher, Markus; Dai, Zhen Ru |
Konferenzbeitrag Conference Paper |
2014 |
Achieving quality in customer-configurable products Große-Rhode, Martin; Hilbrich, Robert; Mann, Stefan; Weißleder, Stephan |
Aufsatz in Buch Book Article |
2014 |
Integrating the Modelica DSL into a platform for model-based tool interoperability Tcholtchev, Nikolay; Dudeck, Grit; Wagner, Michael; Hein, Christian; Prakash, Arun; Ritter, Tom |
Konferenzbeitrag Conference Paper |
2014 |
History, status, and recent trends of the testing and test control notation version 3 (TTCN-3) Grabowski, Jens; Schieferdecker, Ina; Ulrich, Andreas |
Zeitschriftenaufsatz Journal Article |
2014 |
Message from RISK 2014 Workshop Chairs Bauer, Thomas; Felderer, Michael; Großmann, Jürgen; Seehusen, Fredrik; Wendland, Marc-Florian |
Konferenzbeitrag Conference Paper |
2014 |
On the use of test cases in model-based software product line development Knapp, Alexander; Roggenbach, Markus; Schlingloff, Bernd-Holger; Gebhardt, Christian; Korff, Andreas |
Konferenzbeitrag Conference Paper |
2014 |
Towards a curriculum for model-based engineering of embedded systems Schlingloff, Bernd-Holger |
Konferenzbeitrag Conference Paper |
2014 |
Abstractions on test design techniques Wendland, Marc-Florian |
Konferenzbeitrag Conference Paper |
2014 |
CRSTIP - an assessment scheme for security assessment processes Molnar, Arthur-Jozsef; Großmann, Jürgen |
Konferenzbeitrag Conference Paper |
2014 |
An evaluation of model-based testing in embedded applications Weißleder, Stephan; Schlingloff, Holger |
Konferenzbeitrag Conference Paper |
2014 |
Engineering and implementing software architectural patterns based on feedback loops Abeywickrama, Dhaminda B.; Hoch, Nicklas; Zambonelli, Franco |
Zeitschriftenaufsatz Journal Article |
2014 |
Combining risk analysis and security testing Großmann, Jürgen; Schneider, Martin; Viehmann, Johannes; Wendland, Marc-Florian |
Konferenzbeitrag Conference Paper |
2014 |
A trace management platform for risk-based security testing Großmann, Jürgen; Berger, Michael; Viehmann, Johannes |
Konferenzbeitrag Conference Paper |
2014 |
An integrated eclipse plug-in for engineering and implementing self-adaptive systems Abeywickrama, Dhaminda B.; Hoch, Niklas; Zambonelli, Franco |
Konferenzbeitrag Conference Paper |
2014 |
Risk assessment and risk-driven testing. First International Workshop, RISK 2013 |
Tagungsband Conference Proceeding |
2014 |
Towards integration of compositional risk analysis using Monte Carlo simulation and security testing Viehmann, Johannes |
Konferenzbeitrag Conference Paper |
2014 |
Framework for ensuring runtime stability of control loops in multi-agent networked environments Tcholtchev, Nikolay; Schieferdecker, Ina |
Aufsatz in Buch Book Article |
2014 |
VARIES framework to support tool integration in product line engineering Wagner, Michael; Dudeck, Grit; Hein, Christian; Tcholtchev, Nikolay; Gebhardt, Christian; Korff, Andreas |
Konferenzbeitrag Conference Paper |
2014 |
On the need for model-driven engineering for data harvesters based on experiences from the german GovData.DE Portal Tcholtchev, Nikolay; Prakash, Arun |
Konferenzbeitrag Conference Paper |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica
2013
Jahr Year |
Titel/Autor:in Title/Author |
Publikationstyp Publication Type |
---|---|---|
2013 |
Authentication on high critical infrastructures using interoperable federated identities Lunkeit, Armin; Großmann, Jürgen |
Konferenzbeitrag Conference Paper |
2013 |
Online Themenspecial Testing 2013 |
Zeitschriftenheft Journal Issue |
2013 |
Testautomatisierung? Ja, bitte!. Editorial Schieferdecker, Ina |
Aufsatz in Buch Book Article |
2013 |
A life cycle for the development of autonomic systems: The E-mobility showcase Bures, Tomas; Nicola, Rocco de; Gerostathopoulos, Ilias; Hoch, Niklas; Kit, Michal; Koch, Nora; Monreale, Giacoma V.; Montanari, Ugo; Pugliese, Rosario; Serbedzija, Nikola; Wirsing, Martin; Zambonelli, Franco |
Konferenzbeitrag Conference Paper |
2013 |
Evaluating the benefits of using domain-specific modeling languages: An experience report Wegeler, Timo; Gutzeit, Friederike; Destailleur, Auréle; Dock, Bernhard |
Konferenzbeitrag Conference Paper |
2013 |
Design and evaluation of techniques for resilience and survivability of the routing node Wódczak, Michal; Tcholtchev, Nikolay; Vidalenc, Bruno; Li, Yuhong |
Zeitschriftenaufsatz Journal Article |
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica
This list has been generated from the publication platform Fraunhofer-Publica