2014
2014
Abstract
A graphical notation for probabilistic specifications
Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank
In: VeriSure: Verification and Assurance: 23 July 2014, Vienna, Austria ; in association with Computer-Aided Verification (CAV) 2014, part of the Vienna Summer of Logic ; programm - Vienna
Transorbital alternating current stimulation strengthens oscillatory activity and functional connectivity in patients with visual system damage - a resting-state EEG study
Bola, Michał; Gall, Carolin; Moewes, Christian; Fedorov, Anton; Sabel, Bernhard A.
In: Clinical neurophysiology - Amsterdam [u.a.]: Elsevier Science, 1999, Vol. 124.2013, 10, P 125, S. e124-e125
Herausforderungen adaptiver Umgebungserfassung in cyberphysischen Systemen
Zug, Sebastian; Dietrich, André
In: 1. Ingenieurtag 2014: Veranstaltung der Fakultät Ingenieurwissenschaften und Informatik der Brandenburgischen Technischen Universität Cottbus-Senftenberg auf dem Campus Senftenberg am 19.11.2014 - Senftenberg, S. 46Kongress: Ingenieurtag 1 (Senftenberg : 2014.19.11)
Robot trajectory optimization for the relaxed end-effector path
Alatartsev, Sergey; Belov, Anton; Nykolaychuk, Mykhaylo; Ortmeier, Frank
In: INCINCO 2014: abstracts - INSTICC, 2014, Paper Nr. 230
Ontohub - a semantic repository for heterogeneous ontologies
Mossakowski, Till; Kutz, Oliver; Codescu, Mihai
In: ICTAC 2014 associated workshop: Theory Day in Computer Science: Buchaest, September 15-16, 2014 - Bucharest
Functional connectivity network breakdown and restoration in blindness
Bola, Michal; Gall, Carolin; Moewes, Christian; Fedorov, Anton; Hinrichs, Hermann; Sabel, Bernhard A.
In: Brain injury - London: Informa Healthcare, 1987, Bd. 28.2014, 5/6, Abs. 0666, S. 762
Buchbeitrag
Generating events for dynamic social network simulations
Held, Pascal; Dockhorn, Alexander; Kruse, Rudolf
In: Information Processing and Management of Uncertainty in Knowledge-Based Systems : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II / Laurent , Anne - Cham : Springer , 2014 ; Laurent, Anne, S. 46-55 - (Communications in Computer and Information Science; 443) Kongress: IPMU 2014 Montpellier, France 2014.07.15-19
PowerPi: Measuring and modeling the power consumption of the Raspberry Pi
Kaup, F.; Gottschling, P.; Hausheer, D.
In: Proceedings - Conference on Local Computer Networks, LCN, 2014, S. 236-243, 10.1109/LCN.2014.6925777
Archive based multi-swarm algorithm for many-objective problems
André, Britto; Mostaghim, Sanaz; Pozo, Aurora
In: 2014 Brazilian Conference on Intelligent Systems, BRACIS 2014 - Piscataway, NJ: IEEE, S. 79-84Kongress: BRACIS 2014 (São Carlos, Brazil : 2014.10.18-23)
TRANSIT: Supporting transitions in Peer-to-Peer live video streaming
Wichtlhuber, M.; Richerzhagen, B.; Rückert, J.; Hausheer, D.
In: 2014 IFIP Networking Conference, IFIP Networking 2014, 2014, 10.1109/IFIPNetworking.2014.6857079
Demo: Software-defined network service chaining
Blendin, J.; Ruckert, J.; Leymann, N.; Schyguda, G.; Hausheer, D.
In: Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, 2014, S. 139-140, 10.1109/EWSDN.2014.15
Maintraining dependable communication service for mobile stations in wireless mesh networks by tracking capacity demands
Lindhorst, Timo; Weseloh, Burkhard; Nett, Edgar
In: 2014 IEEE International Parallel & Distributed Processing Symposium (IPDPS) and the 2014 IEEE IPDPS Workshops (IPDPSW 2014) : program & proceedings ; 19-23 May 2014, Phoenix (AZ), USA. - IEEE, S. 1297-1305Kongress: IPDPS; 28 (Phoenix) : 2014.05.19-23[Beitrag auf CD-ROM]
Flexible traffic management in broadband access networks using Software Defined Networking
Rückert, J.; Bifulco, R.; Rizwan-Ul-Haq, M.; Kolbe, H.-J.; Hausheer, D.
In: IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World, 2014, 10.1109/NOMS.2014.6838322
An asynchronous BMI for autonomous robotic grasping based on SSVEF detection
Reichert, Christoph; Kennel, Matthias; Kruse, Rudolf; Hinrichs, Hermann
In: Proceedings of the 6th International Brain-Computer Interface Conference 2014 - Graz : Verl. der Techn. Univ. , 2014 - 2014, Article ID 047, insgesamt 4 S. Kongress: International Brain-Computer Interface Conference 6 Graz, Austria 2014.09.16-19
A dataflow Notation for SAML - formal modeling without fearing timing constraints
Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 43-50
VINCENT: An incentive scheme supporting heterogeneity in Peer-to-Peer content distribution
Wichtlhuber, M.; Heise, P.; Scheurich, B.; Rückert, J.; Hausheer, D.
In: Proceedings - Conference on Local Computer Networks, LCN, 2014, S. 19-27, 10.1109/LCN.2014.6925752
Clubbing with the peers: A measurement study of BitTorrent live
Ruckert, J.; Knierim, T.; Hausheer, D.
In: 14th IEEE International Conference on Peer-to-Peer Computing, IEEE P2P 2014 - Proceedings, 2014, 10.1109/P2P.2014.6934295
Optimizing mobile prefetching by leveraging usage patterns and social information
Koch, C.; Hausheer, D.
In: Proceedings - International Conference on Network Protocols, ICNP, 2014, S. 293-295, 10.1109/ICNP.2014.51
On efficiently specifying models for model checking
Nykolaychuk, Mykhaylo; Lipaczewski, Michael; Liebusch, Tino; Ortmeier, Frank
In: Model-based safety and assessment: 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings - Cham [u.a.]: Springer, S. 14-27 - (Lecture Notes in Computer Science; 8822)
Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis
Lipaczewski, Michael; Filax, Marco; Ortmeier, Frank
In: European Conference on Software Engineering Education - ECSEE 2014: 27th and 28th November 2014, Seeon Monastery - Aachen: Shaker, S. 217-228Kongress: ECSEE 2014 27 (Seeon Monastery, Germany : 2014.11.27-28)
Modeling and evaluating dialog success in the LAST MINUTE corpus
Rösner, Dietmar; Friesen, Rafael; Günther, Stephan; Andrich, Rico
In: Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC 2014), Reykjavik, Iceland, May 26-31, 2014 - European Language Resources Association (ELRA), S. 259-265
Position paper: Software-defined network service chaining
Blendin, J.; Ruckert, J.; Leymann, N.; Schyguda, G.; Hausheer, D.
In: Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, 2014, S. 109-114, 10.1109/EWSDN.2014.14
Towards decentralized, energy- and privacy-aware device-to-device content delivery
Nobach, L.; Hausheer, D.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8508 LNCS, 2014, S. 128-132, 10.1007/978-3-662-43862-6_16
Active learning-based identification of neuronal assemblies in parallel spike trains
Braune, Christian; Kruse, Rudolf
In: Proceedings: Dortmund, 27. - 28. November 2014// 24. Workshop Computational Intelligence - Karlsruhe, Baden: KIT Scientific Publishing, S. 155-172Kongress: Workshop Computational Intelligence 24 (Dortmund : 2014.11.27-28)
VECS - verification enviroment for critical systems - tool supported formal modeling an verification
Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 63-64
Ein erster Prototyp - Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet
Fruth, Jana; Timm, Mathias; Kuhlmann, Sven; Dittmann, Jana
In: Informatik 2014: Big Data - Komplexität meistern ; Tagung der Gesellschaft für Informatik, 22. - 26. September 2014 in Stuttgart, Deutschland - Bonn: Ges. für Informatik, S. 2081-2092 - (GI Edition; Proceedings; 232)Kongress: Tagung der Gesellschaft für Informatik (Stuttgart : 2014.09.22-26)
Genetic machine learning approach for link quality prediction in mobile wireless sensor networks
Medeiros de Araújo, Gustavo; Pinto, A. R.; Kaiser, Jörg; Buss Becker, Leandro
In: Cooperative Robots and Sensor Networks - Berlin, Heidelberg : Springer , 2014 ; Koubâa, Anis, S. 1-18 - (Studies in Computational Intelligence; 507)
ROS meets cassandra - data management in smart environments with NoSQL
Dietrich, André; Mohammad, Siba; Zug, Sebastian; Kaiser, Jörg
In: Databases and information systems: proceedings of the 11th international Baltic conference, Baltic DB & IS 2014, Tallinn, June 8 - 11, 2014 - Tallinn: Tallinn Univ. of Technologyy Press, S. 43-54Kongress: Baltic DB & IS 2014 11 (Tallinn : 2014.06.08-11)
Sensor- and environment dependent performance adaptation for maintaining safety requirements
Brade, Tino; Jäger, Georg; Zug, Sebastian; Kaiser, Jörg
In: Computer safety, reliability, and security: SAFECOMP 2014 workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8 - 9, 2014 ; proceedings - Cham [u.a.]: Springer, S. 46-54 - (Lecture Notes in Computer Science; 8696)
A relatively complete calculus for structured heterogeneous specifications
Mossakowski, Till; Tarlecki, Andrzej
In: Foundations of software science and computation structures: 17th international conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 441-456 - (Lecture notes in computer science; 8412)
A categorical approach to ontology alignment
Codescu, M.; Mossakowski, T.; Kutz, O.
In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073
Symbolic regression for precrash accident severity prediction
Meier, Andreas; Gonter, Mark; Kruse, Rudolf
In: Hybrid artificial intelligence systems: 9th international conference, HAIS 2014, Salamanca, Spain, June 11 - 13, 2014 ; proceedings - Cham [u.a.]: Springer, S. 133-144 - (Lecture notes in computer science; 8480)
Technical evaluation of the Carolo-Cup 2014 - a competition for self-driving miniature cars
Zug, Sebastian; Steup, Christoph; Scholle, Julian B.; Berger, Christian; Landsiedel, Olaf; Schuldt, Fabian; Rieken, Jens; Matthaei, Richard; Form, Thomas
In: 2014 IEEE International Symposium on Robotic and Sensors Environments (ROSE) - Piscataway, NJ : IEEE ; Micea, Mihai V., S. 100-105 Kongress: ROSE Timisoara, Romania 2014.10.16-18
Parchments for CafeOBJ logics
Mossakowski, Till; Pawłowski, Wiesław; Sannella, Donald; Tarlecki, Andrzej
In: Specification, algebra, and software: essays dedicated to Kokichi Futatsugi - Berlin [u.a.]: Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373)
On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink
Mäurer, Lukas; Hebecker, Tanja; Stolte, Torben; Lipaczewski, Michael; Möhrstädt, Uwe; Ortmeier, Frank
In: System analysis and modeling: models and reusability: 8th international conference, SAM 2014, Valencia, Spain, September 29 - 30, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 207-222 - (Lecture notes in computer science; 8769)Kongress: SAM 8 (Valencia : 2014.09.29-30)
A review of hybrid evolutionary multiple criteria decision making methods
Purshouse, R.; Deb, K.; Mansor, M.; Mostaghim, Sanaz; Wang, R.
In: IEEE Congress on Evolutionary Computation (CEC), 2014: 6 - 11 July 2014, Beijing, China ; [part of the 2014 IEEE World Congress on Computational Intelligence (IEEE WCCI 2014)] - Piscataway, NJ: IEEE, S. 1147-1154
On traceability of informal specifications for model-based verification
Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 11-18
A categorical approach to ontology alignment
Codescu, Mihai; Mossakowski, Till; Kutz, Oliver
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1317/2014, S. 1-12
Assessing neural networks for sensor fault detection
Jäger, Georg; Zug, Sebastian; Brade, Tino; Dietrich, André; Steup, Christoph; Moewes, Christian; Cretu, Ana-Maria
In: 2014 IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA) - Piscataway, NJ : IEEE, S. 70-75
Uniform approach of risk communication in distributed IT environments combining safety and security aspects
Fruth, Jana; Nett, Edgar
In: Computer safety, reliability, and security : SAFECOMP 2014 workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8 - 9, 2014 ; proceedings. - Cham [u.a.] : Springer, S. 289-300 - (Lecture Notes in Computer Science; 8696)
Towards adding linked data to ontology learning layers
Booshehri, Meisam; Luksch, Peter
In: Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services/ Indrawan-Santiago - New York, NY: ACM, 2014; Indrawan-Santiago, Maria . - 2014, S. 401-409
Towards resource-efficient application-controlled software defined networks
Blendin, J.; Hausheer, D.
In: Proceedings - International Conference on Network Protocols, ICNP, 2014, S. 483-485, 10.1109/ICNP.2014.73
Begutachteter Zeitschriftenartikel
Parsing variant C code - an evaluation on automotive software
Heumüller, Robert; Quante, Jochen; Thums, Andreas
In: Softwaretechnik-Trends: Mitteilungen der Fachgruppen Ada (Ada), Objektorientierte Software-Entwicklung (OOSE), Requirements Engineering (RE), Software-Architektur (SWA), Software-Reengineering (SRE), Softwaretechnik (ST), Test, Analyse und Verifikation von Software (TAV) : Mitteilungen der Fachgruppen Ada (Ada), Objektorientierte Software-Entwicklung (OOSE), Requirements Engineering (RE), Software-Architektur (SWA), Software-Reengineering (SRE), Softwaretechnik (ST), Test, Analyse und Verifikation von Software (TAV) - Bonn : Gesellschaft für Informatik, Bd. 34.2014, 2
Brain functional connectivity network breakdown and restoration in blindness
Bola, Michal; Gall, Carolin; Moewes, Christian; Fedorov, Anton; Hinrichs, Hermann; Sabel, Bernhard A.
In: Neurology - Philadelphia, Pa: Wolters Kluwer, 1951, Bd. 83.2014, 6, S. 542-551
Self-organized swarm display
Merkel, Sabrina; Mostaghim, Sanaz; Schmeck, Hartmut
In: International Journal of Swarm Intelligence: IJSI - Genève: Inderscience Enterprises, 2014
Software-defined networking: Standardization for cloud computing's second wave
Lin, Y.-D.; Pitt, D.; Hausheer, D.; Johnson, E.; Lin, Y.-B.
In: Computer, Vol. 47, 2014, Issue 11, S. 19-21, 10.1109/MC.2014.329
Model-based local path planning for UAVs
Hebecker, Tanja; Buchholz, Robert; Ortmeier, Frank
In: Journal of intelligent and robotic systems: theory and applications, incorporating mechatronic systems engineering - Dordrecht [u.a.]: Springer Science + Business Media B.V, insges. 16 S., 2014
Analysis of significant dialog events in realistic human-computer interaction
Prylipko, Dmytro; Rösner, Dietmar; Siegert, Ingo; Günther, Stephan; Friesen, Rafael; Haase, Matthias; Vlasenko, Bogdan; Wendemuth, Andreas
In: Journal on multimodal user interfaces - Berlin: Springer, 2007, Bd. 8.2014, 1, S. 75-86
Predicting dominance rankings for score-based games
Samothrakis, Spyridon; Perez, Diego; Rohlfshagen, Philipp; Lucas, Simon M.
In: IEEE transactions on computational intelligence and AI in games - New York, NY: IEEE, 2014
Precrash classification of car accidents for improved occupant safety systems
Meier, Andreas; Gonter, Mark; Kruse, Rudolf
In: Procedia Technology - Amsterdam [u.a.]: Elsevier, Bd. 15.2014, S. 198-207
Fast construction of voxel-level functional connectivity graphs
Loewe, Kristian; Grüschow, Marcus; Stoppel, Christian; Kruse, Rudolf; Borgelt, Christian
In: BMC neuroscience - London : BioMed Central - Bd. 15.2014, Art.-Nr. 78, insges. 13 S.
Hop count based distance estimation in mobile ad hoc networks - challenges and consequences
Merkel, Sabrina; Mostaghim, Sanaz; Schmeck, Hartmut
In: Ad hoc Networks - Amsterdam [u.a.]: Elsevier Science, Bd. 15.2014, S. 39-52
Dissertation
Adaptives Verfahren für die Zustandsüberwachung von Wälzlagern
Goreczka, Stefan; Strackeljan, Jens; Kruse, Rudolf
In: Clausthal-Zellerfeld: Papierflieger-Verl., 2014, Zugl.: Magdeburg Univ., Fak. für Maschinenbau, Diss., 2013, XIII, 111, V S.
Herausgeberschaft
Energy-Aware Ant Routing in Wireless Multi-Hop Networks
Frey, Michael; Grosse, Friedrich; Günes, Mesut
In: 2014
IMBSA 2014 - [proceedings] : short & tutorial proceedings of the 4th international symposium on model based safety assessment
Ortmeier, Frank; Rauzy, Antoine
In: Magdeburg: Otto-von-Guericke-University, 2014, 66 Seiten, graph. Darst., 21 cmKongress: International Symposium on Model-Based Safety and Assessment 4 (Munich, Germany : 2014.10.27-29)
Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings
Ortmeier, Frank; Rauzy, Antoine
In: Cham [u.a.]: Springer, 2014, Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822)
Artikel in Kongressband
Fabricating monsters is hard - towards the automation of conceptual blending
Neuhaus, Fabian; Kutz, Oliver; Codescu, Mihai; Mossakowski, Till
In: Computational Creativity, Concept Invention, and General Intelligence: 3rd International Workshop, C3GI ECAI 2014, Prague, Czech Republic, August 19, 2014 ; proceedings - Osnabrück: Inst. of Cognitive Science - (Publication of the Institute of Cognitive Science; 1.2014)
Dependable admission control for mission-critical mobile applications in wireless mesh networks
Lindhorst, Timo; Weseloh, Burkhard; Nett, Edgar
In: 2014 33th IEEE Symposium on Reliable Distributed Systems, SRDS 2014: 6 - 9 October, 2014, Nara, Japan - Los Alamitos, Calif. [u.a.]: IEEE Computer Society, S. 182-190
Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies
Bateman, John; Kutz, Oliver; Mossakowski, Till; Sojic, Aleksandra; Codescu, Mihai
In: Spatial Cognition 2014: poster presentations - Bremen [u.a.]: Univ. [u.a.], S. 13-16
Attack of the Ants: Studying Ant Routing Algorithms in Simulation and Wireless Testbeds
Frey, Michael; Günes, Mesut
In: 2014
On merging and dividing of Barabási-Albert-graphs
Held, Pascal; Dockhorn, Alexander; Kruse, Rudolf
In: 2014 IEEE Symposium on Evolving and Autonomous Learning Systems (EALS) : 9 - 12 Dec. 2014, Orlando, Florida, USA ; [part of] IEEE SSCI 2014, 2014 IEEE Symposium Series on Computational Intelligence - Piscataway, NJ : IEEE , 2014, S. 17-24 Kongress: EALS 2014 Orlando, FL, USA 2014.12.09-12
Improving the sequence of robotic tasks with freedom of execution
Alatartsev, Sergey; Ortmeier, Frank
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois - Piscataway, NJ: IEEE, S. 4503 - 4510
Proof support for common logic
Mossakowski, Till; Codescu, Mihai; Kutz, Oilver; Lange, Christoph; Gruninger, Michael
In: Automated reasoning in quantified non-classical logics: 1st international Workshop, ARQNL 2014, Vienna, Austria, July 23, 2014 ; proceedings - Vienna, 2014, Paper 5, insgesamt 16 S.
Nicht begutachteter Zeitschriftenartikel
Cointegration analysis of financial time series data
Johannes, Steffen; Held, Pascal; Kruse, Rudolf
In: Magdeburg: Univ., Fak. für Informatik, 2014, Online-Ressource (PDF-Datei: 22 S., 0,58 MB), Ill., graph. Darst. - (Technical Report; Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik; 2014,02)
Towards Energy-Aware Ant Routing in Wireless Multi-Hop Networks
Günes, Mesut; Frey, Michael; Friedrich, Grosse
In: 2014