2017

2017

Buchbeitrag

Beyond software product lines - variability modeling in cyber-physical systems

Krüger, Jacob; Nielebock, Sebastian; Krieter, Sebastian; Diedrich, Christian; Leich, Thomas; Saake, Gunter; Zug, Sebastian; Ortmeier, Frank

In: Proceedings of the 21th International Software Product Line Conference. Volume A - New York : ACM ; Cohen, Myra . - 2017, S. 237-241 [Konferenz: 21th International Software Product Line Conference, SPLC 2017, Sevilla, Spain,September 25 - 29, 2017]

Energy aware particle swarm optimization as search mechanism for aerial micro-robots

Mostaghim, Sanaz; Steup, Christoph; Witt, Fabian

In: 2016 IEEE Symposium Series on Computational Intelligence (SSCI) , 2016 - Piscataway, NJ : IEEE . - 2017, insges. 7 S. [Kongress: 2016 IEEE Symposium Series on Computational Intelligence (SSCI), 6th - 9th December, 2016, Athens, Greece; Copyright 2016]

UAV-assisted reactive routing for urban VANETs

Oubbati, Omar Sami; Lakas, Abderrahmane; Günes, Mesut; Zhou, Fen; Yagoubi, Mohamed Bachir

In: Proceedings of the Symposium on Applied Computing - [New York, NY] : ACM . - 2017, S. 651-653 [Symposium: Symposium on Applied Computing, SAC 2017, Marrakesh, Morocco, April 4-6, 2017]

A survey of performance measures to evaluate ego-lane estimation and a novel sensor-independent measure along with its applications

Nguyen, Tran Tuan; Spehr, Jens; Xiong, Jian; Baum, Marcus; Zug, Sebastian; Kruse, Rudolf

In: 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI) , 2017 - [Piscataway, NJ] : IEEE, S. 239-246 [Konferenz: 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), Daegu, Korea, November 16-18, 2017]

On improving rare event simulation for probabilistic safety analysis

Gonschorek, Tim; Rabeler, Ben Lukas; Ortmeier, Frank; Schomburg, Dirk

In: Proceedings of the 15th ACM/IEEE International Conference on Formal Methods and Models for System Design - [Piscataway, NJ] : IEEE . - 2017, S. 15-24 [Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]

Measuring and predicting cellular network quality on trains

Kaup, F.; Fischer, F.; Hausheer, D.

In: 2017 International Conference on Networked Systems, NetSys 2017, 2017, 10.1109/NetSys.2017.7903960

Canonical selection of colimits

Mossakowski, Till; Rabe, Florian; Codescu, Mihai

In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 170-188 - (Lecture Notes in Computer Science; 10644) [Workshop: 23rd International Workshop on Algebraic Development Techniques (WADT 2016),Gregynog, Wales, UK, September 21-24, 2016]

The last minute corpus as a research resource - from signal processing to behavioral analyses in user-companion interactions

Rösner, Dietmar; Frommer, Jörg; Wendemuth, Andreas; Bauer, Thomas; Günther, Stephan; Haase, Matthias; Siegert, Ingo

In: Companion technology - Cham : Springer ; Biundo-Stephan, Susanne *1955-* . - 2017, S. 277-299

Dynamic distance minimization problems for dynamic multi-objective optimization

Zille, Heiner; Kottenhahn, André; Mostaghim, Sanaz

In: 2017 IEEE Congress on Evolutionary Computation (CEC) , 2017 - Piscataway, NJ : IEEE ; IEEE Congress on Evolutionary Computation (2017), S. 952-959 [Kongress: 2017 IEEE Congress on Evolutionary Computation, CEC, Donostia-San Sebastián, Spain, 5-8 June, 2017]

VoDCast - efficient SDN-based multicast for video on demand

Koch, Christian; Hacker, Stefan; Hausheer, David

In: 18th IEEE International Symposium on a World of Wireless, Mobile, and Multimedia Networks (WoWMoM 2017) , 2017 - Piscataway, NJ : IEEE, insges. 6 S. [Symposium: 18th IEEE International Symposium on a World of Wireless, Mobile, and Multimedia Networks, WoWMoM 2017, Macao, June 12-15, 2017]

The Distributed Ontology, Model and Specification Language - DOL

Mossakowski, Till

In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 5-10 - (Lecture Notes in Computer Science; 10644) [Workshop: 23rd International Workshop on Algebraic Development Techniques (WADT 2016),Gregynog, Wales, UK, September 21-24, 2016]

Progressive fetal distress estimation by characterization of fetal heart rate decelerations response based on signal variability in cardiotocographic recordings

Fuentealba, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Computing in Cardiology 2017 , 2017 - [Piscataway, NJ] : IEEE ; Pickett, Christine, S. 1-4 [Konferenz: 2017 Computing in Cardiology, CinC, Rennes, France, 24-27 September 2017]

A decision heuristic for Monte Carlo tree search doppelkopf agents

Dockhorn, Alexander; Doell, Christoph; Hewelt, Matthias; Kruse, Rudolf

In: 2017 SSCI proceedings - Piscataway, NJ : IEEE, S. 51-58

Using a multiobjective genetic algorithm for curve approximation

Sabsch, Tim; Braune, Christian; Dockhorn, Alexander; Kruse, Rudolf

In: 2017 SSCI proceedings - Piscataway, NJ : IEEE, S. 1692-1696

Energy-saving decision making for aerial swarms - PSO-based navigation in vector fields

Bartashevich, Palina; Koerte, Doreen; Mostaghim, Sanaz

In: 2017 SSCI proceedings - Piscataway, NJ : IEEE, S. 1848-1855

A blockchain-based architecture for collaborative DDoS mitigation with smart contracts

Rodrigues, Bruno; Bocek, Thomas; Lareida, Andri; Hausheer, David; Rafati, Sina; Stiller, Burkhard

In: Security of Networks and Services in an All-Connected World - Cham : Springer . - 2017, S. 16-29 - (Lecture Notes in Computer Science; 10356) [Konferenz: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017]

Zuverlässigkeitsbasierte Fusion von Fahrstreifeninformationen für Fahrerassistenzfunktionen

Nguyen, Tuan Tran; Spehr, Jens; Perschewski, Jan-Ole; Engel, Fabian; Zug, Sebastian; Kruse, Rudolf

In: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017 - Karlsruhe, Baden : KIT Scientific Publishing, S. 33-50 [Workshop: 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017]

Online reliability assessment and reliability-aware fusion for Ego-Lane detection using influence diagram and Bayes filter

Nguyen, Tran Tuan; Spehr, Jens; Xiong, Jian; Baum, Marcus; Zug, Sebastian; Kruse, Rudolf

In: 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI) : November 16-18, 2017, Daegu, Korea - [Piscataway, NJ] : IEEE, S. 7-14 [Konferenz: 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), Daegu, Korea, November 16-18, 2017]

Adaptive ICN multipath forwarding for hybrid access

Uniyal, N.; Kutscher, D.; Seedorf, J.; Blendin, J.; Hausheer, D.

In: 2017 International Conference on Networked Systems, NetSys 2017, 2017, 10.1109/NetSys.2017.7903944

Service management platform to support service migrations for IoT smart city applications

Kientopf, Kai; Raza, Saleem; Lansing, Simon; Günes, Mesut

In: 2017 IEEE International Symposium on Personal, Indoor, and Mobile Radio Communications: IEEE PIMRC'17 : Montreal, 2017, Oct. 8-13 : conference proceedings - Piscataway, NJ: IEEE, insges. 5 S.[Kongress: 2017 IEEE International Symposium on Personal, Indoor, and Mobile Radio Communications, IEEE PIMRC'17, Montreal, 8-13 Oct. 2017]

Between contact and support - introducing a logic for image schemas and directed movement

Hedblom, Maria M.; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian

In: AI*IA 2017 Advances in Artificial Intelligence - Cham : Springer, S. 256-268 - (Lecture Notes in Computer Science; 10640) [Konferenz: 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, Bari, Italy, November 14-17, 2017]

Mutation operators based on variable grouping for multi-objective large-scale optimization

Zille, Heiner; Ishibuchi, Hisao; Mostaghim, Sanaz; Nojima, Yusuke

In: 2016 IEEE Symposium Series on Computational Intelligence (SSCI) , 2016 - Piscataway, NJ : IEEE . - 2017, insges. 8 S. [Kongress: 2016 IEEE Symposium Series on Computational Intelligence (SSCI), 6th - 9th December, 2016, Athens, Greece; Copyright 2016]

Benefits of conditional FPGA provisioning for virtualized network functions

Nobach, L.; Rudolph, B.; Hausheer, D.

In: 2017 International Conference on Networked Systems, NetSys 2017, 2017, 10.1109/NetSys.2017.7903967

Influence of dynamic environments on agent strategies

Piper, Franz; Mostaghim, Sanaz

In: 2016 IEEE Symposium Series on Computational Intelligence (SSCI) , 2016 - Piscataway, NJ : IEEE . - 2017, insges. 8 S. [Kongress: 2016 IEEE Symposium Series on Computational Intelligence (SSCI), 6th - 9th December, 2016, Athens, Greece; Copyright 2016]

Enabling efficient multi-layer repair in elastic optical networks by gradually superimposing SDN

Blendin, J.; Herrmann, D.; Wichtlhuber, M.; Gunkel, M.; Wissel, F.; Hausheer, D.

In: 2016 12th International Conference on Network and Service Management, CNSM 2016 and Workshops, 3rd International Workshop on Management of SDN and NFV, ManSDN/NFV 2016, and International Workshop on Green ICT and Smart Networking, GISN 2016, 2017, S. 118-126, 10.1109/CNSM.2016.7818407

User study on remotely controlled UAVs with focus on interfaces and data link quality

Riestock, Maik; Engelhardt, Frank; Zug, Sebastian; Hochgeschwender, Nico

In: IROS Vancouver 2017 / IEEE/RSJ International Conference on Intelligent Robots and Systems , 2017 - [Piscataway, NJ] : IEEE, S. 3394-3400 [Konferenz: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS, Vancouver, BC, Canada, 24-28 September 2017]

Relations between spatial calculi about directions and orientations

Mossakowski, Till; Moratz, Reinhard

In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) - International Joint Conferences on Artificial Intelligence . - 2017, S. 5040-5044 [Konferenz: 26th International Joint Conference on Artificial Intelligence, IJCAI-17, Melbourne, Australia, 19-25 August 2017]

Emergency optimized low latency MAC protocol for VANETs based on VeMAC

Neuhaus, Erik; Raza, Saleem; Güneş, Mesut

In: VEHICULAR 2017 - IARIA ; Ullmann, Markus, S. 26-31 [Konferenz: 6. International Conference on Advances in Vehicular Systems, Technologies and Applications, VEHICULAR 2017, Nice, France, July 23 - 27, 2017]

UML interactions meet state machines - an institutional approach

Knapp, Alexander; Mossakowski, Till

In: 7th Conference on Algebra and Coalgebra in Computer Science / CALCO , 2017 - Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing - 2017, S. 15.1-15.15, ingesamt 15 S. - (Leibniz international proceedings in informatics; Vol. 72) [Konferenz: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO17, Ljubljana, Slovenia, June 12-16, 2017]

An open database concept for open energy modeling

Glauer, Martin; Stephan, Günther; Ludwig, Huelk; Wolf-Dieter, Bunke

In: EnviroInfo 2017 , 2017 - Aachen : Shaker Verlag, S. 191 [Konferenz: 31st EnviroInfo 2017, Luxembourg, September 13th15th, 2017]

Stop screaming at me - avoiding duplicates in mesh/push-based live video streaming

Wulfheide, Julian; Rückert, Julius; Hausheer, David

In: 2017 IEEE 42nd Conference on Local Computer Networks / IEEE Conference on Local Computer Networks , 2017 - Piscataway, NJ : IEEE ; Tölle, Jens [Konferenz: 2017 IEEE 42nd Conference on Local Computer Networks, LCN, Singapore, 9-12 October 2017]

QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: WSCG 2017 - Plzen : Vaclav Skala - Union Agency, S. 7-16 [Konferenz: 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017]

Exploring gridmap-based interfaces for the remote control of UAVs under bandwidth limitations

Riestock, Maik; Engelhardt, Frank; Zug, Sebastian; Hochgeschwender, Nico

In: HRI'17 , 2017 - Piscataway, NJ : IEEE ; Mutlu, Bilge, S. 263-264 [Konferenz: ACM/IEEE International Conference on Human-Robot Interaction, HRI'17, Vienna, Austria, March, 2017]

Proactive caching of music videos based on audio features, mood, and genre

Koch, Christian; Krupii, Ganna; Hausheer, David

In: Proceedings of the 8th ACM Multimedia Systems Conference, MMSys'17 - New York, NY : ACM . - 2017, S. 100-111 [Konferenz: 8th ACM Multimedia Systems Conference, MMSys'17, Taipei, Taiwan, June 20 - 23, 2017]

Towards real-time fleet-event-handling for the dynamic vehicle routing problem

Anderer, Simon; Halbich, Max; Scheuermann, Bernd; Mostaghim, Sanaz

In: Proceedings of the 9th International Joint Conference on Computational Intelligence. Volume 1 - [Setúbal] : SCITEPRESS - Science and Technology Publications, Lda. . - 2017, S. 35-44 [Konferenz: 9th International Joint Conference on Computational Intelligence, IJCCI 2017, Funchal, Madeira, Portugal, November 1-3, 2017]

Web-retrieval supported argument space exploration

Thiel, Marcus; Ludwig, Philipp; Mossakowski, Till; Neuhaus, Fabian; Nürnberger, Andreas

In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval - New York, NY : ACM, Association for Computing Machinery, S. 309-312 [Kongress: 2017 Conference on Conference Human Information Interaction and Retrieval : Oslo, Norway, March 07 - 11, 2017]

Elitism and aggregation methods in partial redundant evolutionary swarms solving a multi-objective tasks

Moritz, Ruby; Zille, Heiner; Mostaghim, Sanaz

In: 2017 IEEE Congress on Evolutionary Computation (CEC) , 2017 - Piscataway, NJ : IEEE ; IEEE Congress on Evolutionary Computation (2017), S. 1467-1473 [Kongress: 2017 IEEE Congress on Evolutionary Computation, CEC, Donostia-San Sebastián, Spain, 5-8 June, 2017]

Towards a sensor failure-dependent performance adaptation using the validity concept

Höbel, Juliane; Jäger, Georg; Zug, Sebastian; Wendemuth, Andreas

In: Computer Safety, Reliability, and Security - Cham : Springer ; Schoitsch, Erwin . - 2017, S. 270-286 - ( Lecture Notes in Computer Science; volume 10488) [Konferenz: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017]

A new look into the imperialist competitive algorithm

Booshehri, Meisam; Luksch, Peter

In: First EAI International Conference on Computer Science and Engineering - EUDL ; Vasant, Pandian . - 2017 [Konferenz: First EAI International Conference on Computer Science and Engineering, Penang, Malaysia, 11 - 12 November 2016]

Comparison study of large-scale optimisation techniques on the LSMOP benchmark functions

Zille, Heiner; Mostaghim, Sanaz

In: 2017 SSCI proceedings - Piscataway, NJ : IEEE, S. 2817-2824

A knee point based evolutionary multi-objective optimization for mission planning problems

Ramirez-Atencia, Cristian; Mostaghim, Sanaz; Camacho, David

In: Proceeding of the Genetic and Evolutionary Computation Conference - New York, NY : ACM . - 2017, S. 1216-1223 [Konferenz: Genetic and Evolutionary Computation Conference, GECCO 2017, Berlin, Germany, 15 - 19 July, 2017]

Last minute - an empirical experiment in user-companion interaction and its evaluation

Frommer, Jörg; Rösner, Dietmar; Andrich, Rico; Friesen, Rafael; Günther, Stephan; Haase, Matthias; Krüger, Julia

In: Companion technology - Cham : Springer ; Biundo-Stephan, Susanne *1955-* . - 2017, S. 253-275

Bare-metal switches and their customization and usability in a carrier-grade environment

Nobach, Leonhard; Blendin, Jeremias; Kolbe, Hans-Jörg; Schyguda, Georg; Hausheer, David

In: 2017 IEEE 42nd Conference on Local Computer Networks / IEEE Conference on Local Computer Networks , 2017 - Piscataway, NJ : IEEE ; Tölle, Jens [Konferenz: 2017 IEEE 42nd Conference on Local Computer Networks, LCN, Singapore, 9-12 October 2017]

HTN fighter - planning in a highly-dynamic game

Neufeld, Xenija; Mostaghim, Sanaz; Perez-Liebana, Diego

In: 2017 9th Computer Science and Electronic Engineering Conference (CEEC) , 2017 - [Piscataway, NJ] : IEEE ; Computer Science and Electronic Engineering Conference (9.:2017), S. 189-194 [Konferenz: 9th Computer Science and Electronic Engineering Conference (CEEC), Essex, UK, 27th-29th September 2017]

SoDA: Enabling CDN-ISP collaboration with software defined anycast

Wichtlhuber, Matthias; Kessler, Jan; Bücker, Sebastian; Poese, Ingmar; Blendin, Jeremias; Koch, Christian; Hausheer, David

In: 2017 IFIP Networking Conference (IFIP Networking) and workshops , 2017 - [Piscataway, NJ] : IEEE ; IFIP Networking (16.:2017) [Konferenz: 2017 IFIP Networking Conference and Workshops, Stockholm, Sweden, 12-16 June 2017]

Building models we can rely on - requirements traceability for model-based verification techniques

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

In: Model-Based Safety and Assessment - Cham : Springer . - 2017, S. 3-18 - (Lecture Notes in Computer Science; 10437) [Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]

PSO-based search mechanism in dynamic environments - swarms in vector fields

Bartashevich, Palina; Grimaldi, Luigi; Mostaghim, Sanaz

In: 2017 IEEE Congress on Evolutionary Computation (CEC) , 2017 - Piscataway, NJ : IEEE ; IEEE Congress on Evolutionary Computation (2017), S. 1263-1270 [Kongress: 2017 IEEE Congress on Evolutionary Computation, CEC, Donostia-San Sebastián, Spain, 5-8 June, 2017]

Begutachteter Zeitschriftenartikel

Network function virtualization and software-defined networking - advancing multimedia distribution

Zhu, Xiaoqing; Koumaras, Harilaos; Wang, Mea; Hausheer, David

In: IEEE multiMedia / Institute of Electrical and Electronics Engineers - Los Alamitos, Calif. : IEEE Computer Soc., Bd. 24 (2017), Heft 3, S. 16-18

A categorical approach to networks of aligned ontologies

Codescu, Mihai; Mossakowski, Till; Kutz, Oliver

In: Journal on data semantics - Berlin : Springer . - 2017, insges. 43 S.

The future of multimedia distribution - an interview with Baochun Li, Diego R. Lopez, and Christian Timmerer

Zhu, Xiaoqing; Koumaras, Harilaos; Wang, Mea; Hausheer, David

In: IEEE multiMedia / Institute of Electrical and Electronics Engineers - Los Alamitos, Calif. : IEEE Computer Soc., Bd. 24 (2017), Heft 3, S. 48-53

Statelet-based efficient and seamless NFV state transfer

Nobach, Leonhard; Rimac, Ivica; Hilt, Volker; Hausheer, David

In: IEEE transactions on network and service management / Institute of Electrical and Electronics Engineers - New York, NY : [Verlag nicht ermittelbar] . - 2017

On clubs, screaming peers, and duplicates - a comprehensive study of BitTorrent Live

Rückert, Julius; Wulfheide, Julian; Knierim, Tamara; Hausheer, David

In: Computer networks - Amsterdam [u.a.] : Elsevier, Bd. 119 (2017), S. 35-55

Intelligent UAV-assisted routing protocol for urban VANETs

Oubbati, Omar Sami; Lakas, Abderrahmane; Zhou, Fen; Günes, Mesut; Lagraa, Nasreddine; Yagoubi, Mohamed Bachir

In: Computer communications - Amsterdam [u.a.] : Elsevier Science, Bd. 107 (2017), S. 93-111

Widespread temporo-occipital lobe dysfunction in amyotrophic lateral sclerosis

Loewe, Kristian; Wesenberg, Judith; Kaufmann, Jörn; Petri, Susanne; Heinze, Hans-Jochen; Borgelt, Christian; Harris, Joseph Allen; Vielhaber, Stefan; Schoenfeld, Mircea Ariel

In: Scientific reports - [London] : Macmillan Publishers Limited, part of Springer Nature - Bd. 7.2017, Art.-Nr. 40252, insges. 9 S.

Solving the Bi-objective Traveling Thief Problem with multi-objective evolutionary algorithms

Blank, Julian; Deb, Kalyanmoy; Mostaghim, Sanaz

In: Evolutionary multi-criterion optimization / EMO , 2017 - Cham : Springer, S. 46-60 - (Lecture notes in computer science; 10173) [Kongress: 9th International Conference Evolutionary Multi-Criterion Optimization, EMO 2017, Münster, Germany, March 19-22, 2017]

A framework for large-scale multi-objective optimization based on problem transformation

Zille, Heiner; Ishibuchi, Hisao; Mostaghim, Sanaz; Nojima, Yusuke

In: IEEE transactions on evolutionary computation / Institute of Electrical and Electronics Engineers - New York, NY : IEEE . - 2017, insges. 16 S.

Towards high accuracy robot-assisted surgery

Schillreff, Nadia; Nykolaichuk, Mykhaylo; Ortmeier, Frank

In: IFAC-PapersOnLine / Internationale Förderung für Automatische Lenkung - Frankfurt : Elsevier, Bd. 50 (2017), S. 5666-5671 [Special issue: 20th IFAC World Congress, Toulouse, France, 9-14 July 2017]

Ontohub - a semantic repository engine for heterogeneous ontologies

Codescu, Mihai; Kuksa, Eugen; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian

In: Applied ontology - Amsterdam : IOS Press, Bd. 12 (2017), Heft 3/4, S. 275-298

Multiobjective optimization for interwoven systems

Klamroth, Kathrin; Mostaghim, Sanaz; Naujoks, Boris; Poles, Silvia; Purshouse, Robin; Rudolph, Günter; Ruzika, Stefan; Sayın, Serpil; Wiecek, Margaret M.; Yao, Xin

In: Journal of multi-criteria decision analysis - Chichester : Wiley, Bd. 24 (2017), Heft 1/2, S. 71-81

Analysis of the foetal heart rate in cardiotocographic recordings through a progressive characterization of decelerations

Fuentealba Ortiz, Patricio; Illanes, Alfredo; Ortmeier, Frank

In: Current directions in biomedical engineering - Berlin : De Gruyter, Bd. 3 (2017), Heft 2, S. 423-427

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse

Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf

In: Signal + Draht - Hamburg : DVV Media Group . - 2017, Heft 6

Heterogeneous evolutionary swarms with partial redundancy solving multi-objective tasks

Moritz, Ruby L. V.; Mostaghim, Sanaz

In: Evolutionary multi-criterion optimization / EMO , 2017 - Cham : Springer, S. 453-468 - (Lecture notes in computer science; 10173) [Kongress: 9th International Conference Evolutionary Multi-Criterion Optimization, EMO 2017, Münster, Germany, March 19-22, 2017]

Specification refinements - calculi, tools, and applications

Codescu, Mihai; Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej

In: Science of computer programming - Amsterdam [u.a.] : Elsevier Science, Bd. 144 (2017), S. 1-49

A survey of qualitative spatial and temporal calculi - algebraic and computational properties

Dylla, Frank; Lee, Jae Hee; Mossakowski, Till; Schneider, Thomas; van Delden, André; van de Ven, Jasper; Wolter, Diedrich

In: ACM computing surveys / Association for Computing Machinery - New York, NY : Association for Computing Machinery - Vol. 50.2017, 1, Art. 7, insgesamt 39 S.

Special issue Applied soft computing for business analytics - preface

Weber, Richard; Bravo, Cristián; Kruse, Rudolf; Maldonado, Sebastián

In: Applied soft computing - Amsterdam [u.a.] : Elsevier Science, Bd. 60 (2017), S. 750-751

A survey on position-based routing protocols for Flying Ad hoc Networks (FANETs)

Oubbati, Omar Sami; Lakas, Abderrahmane; Zhou, Fen; Günes, Mesut; Yagoubi, Mohamed Bachir

In: Vehicular Communications - Amsterdam [u.a.] : Elsevier . - 2017

Dissertation

Towards a unified approach for path-following and force-feedback using nonlinear model predictive control

Kazim, Khalid J.; Findeisen, Rolf; Ortmeier, Frank

In: Magdeburg, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Elektrotechnik und Informationstechnik 2017, v, VIII, 120 Seiten [Abweichendes Erscheinungsjahr auf der Titelseite: 2016][Abweichendes Erscheinungsjahr auf der Titelseite: 2016]

Agent-based mechanism for smart distributed dependability and security supervision and control of Cyber-Physical Production Systems

Bayanifar, Hessamedin; Lüder, Arndt; Zug, Sebastian

In: Magdeburg, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Maschinenbau 2017, xvi, 159 Seiten [Literaturverzeichnis: Seite 111-120][Literaturverzeichnis: Seite 111-120]

Herausgeberschaft

Frontiers in Computational Intelligence

Mostaghim, Sanaz; Nürnberger, Andreas; Borgelt, Christian

In: [s.l.] Springer International Publishing AG 2018, 2017, 1 Online-Ressource - (Studies in computational intelligence; 739)

Frontiers in Computational Intelligence

Mostaghim, Sanaz; Nürnberger, Andreas; Borgelt, Christian

In: [s.l.]: Springer International Publishing AG 2018, Online-Ressource (IX, 143 p. 43 illus., 32 illus. in color, online resource) - (Studies in Computational Intelligence; 739; SpringerLink; Bücher), ISBN: 978-3-319-67789-7

Artikel in Kongressband

Combining cooperative and adversarial coevolution in the context of pac-man

Dockhorn, Alexander; Kruse, Rudolf

In: CIG-2017$New York City, 22-25 August : conference programm - New York, insges. 8 S. [Session 5: RTS games]

Institutions for database schemas and datasets

Glauer, Martin; Mossakowski, Till

In: CALCO Early Ideas 2017$a satellite workshop of CALCO 2017 - Ljubljana - 2017, S. 6:1-6:3 [Workshop: CALCO Early Ideas 2017, Ljubljana, 14-16 June 2017]

A verification environment for critical systems - integrating formal methods into the safety development life-cycle

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

In: ResearchGATE - Cambridge, Mass. : ResearchGATE Corp. . - 2017, insges. 1 S. [Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 2017]

Wissenschaftliche Monographie

Mobile ad hoc network protocols based on dissimilarity metrics

Günes, Mesut; Reina, D. G.; Campos, J. M. Garcia; Toral, S. L.

In: [s.l.]: Springer-Verlag, 2017, 1 Online-Ressource (PDF, XVIII, 81 S.) - (SpringerBriefs in Electrical and Computer Engineering), ISBN: 3319627392

Nicht begutachteter Zeitschriftenartikel

On the scientific value of large-scale testbeds for wireless multi-hop networks

Günes, Mesut

In: Arxiv - Ithaca, NY : Cornell University . - 2017, insges. 14 S.

Letzte Änderung: 04.04.2023 -
Ansprechpartner: Webmaster