Otto-von-Guericke-Universität Magdeburg

 
 
 
 
 
 
 
 

2014

Veröffentlichungen des Institutes für Intelligente Kooperierende Systeme 2014



zurück

2014

Buchbeitrag

A categorical approach to ontology alignment
In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073

Volltext

Heumüller, Robert;  Lipaczewski, Michael;  Ortmeier, Frank 

A dataflow Notation for SAML - formal modeling without fearing timing constraints
In: IMBSA 2014 : short

Mossakowski, Till;  Tarlecki, Andrzej 

A relatively complete calculus for structured heterogeneous specifications
In: Foundations of software science and computation structures. - Berlin [u.a.] : Springer, S. 441-456, 2014 - (Lecture notes in computer science; 8412);

Publikationslink    Volltext

Purshouse, R.;  Deb, K.;  Mansor, M.;  Mostaghim, Sanaz;  Wang, R. 

A review of hybrid evolutionary multiple criteria decision making methods
In: IEEE Congress on Evolutionary Computation (CEC), 2014. - Piscataway, NJ : IEEE, S. 1147-1154;

Publikationslink   

Braune, Christian;  Kruse, Rudolf 

Active learning-based identification of neuronal assemblies in parallel spike trains
In: Hoffmann, Frank: : Proceedings 24. Workshop Computational Intelligence, Dortmund, 27. - 28. November 2014. - Karlsruhe, Baden : KIT Scientific Publishing, S. 155-172 Kongress: Workshop Computational Intelligence; 24 (Dortmund) : 2014.11.27-28

Reichert, Christoph;  Kennel, M.;  Kruse, Rudolf;  Hinrichs, Hermann 

An asynchronous BMI for autonomous robotic grasping based on SSVEF detection
In: Proceedings of the 6th International Brain-Computer Interface Conference 2014. - Graz : Verl. der Techn. Univ.; 2014, Article ID 047, insgesamt 4 S.;

Publikationslink   

André, Britto;  Mostaghim, Sanaz;  Pozo, Aurora 

Archive based multi-swarm algorithm for many-objective problems
In: 2014 Brazilian Conference on Intelligent Systems, BRACIS 2014. - Piscataway, NJ : IEEE, S. 79-84

Jäger, Georg;  Zug, Sebastian;  Brade, Tino;  Dietrich, André;  Steup, Christoph;  Moewes, Christian;  Cretu, Ana-Maria 

Assessing neural networks for sensor fault detection
In: 2014 IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, CIVEMSA 2014. - Piscataway, NJ : IEEE, S. 70-75;

Publikationslink   

Lipaczewski, Michael;  Filax, Marco;  Ortmeier, Frank 

Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis
In: European Conference on Software Engineering Education - ECSEE 2014: 27th and 28th November 2014, Seeon Monastery - Aachen: Shaker, S. 217-228 Kongress: ECSEE 2014 27 (Seeon Monastery, Germany : 2014.11.27-28)

Clubbing with the peers: A measurement study of BitTorrent live
In: 14th IEEE International Conference on Peer-to-Peer Computing, IEEE P2P 2014 - Proceedings, 2014, 10.1109/P2P.2014.6934295

Demo: Software-defined network service chaining
In: Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, 2014, S. 139-140, 10.1109/EWSDN.2014.15

Lindhorst, Timo;  Weseloh, Burkhard;  Nett, Edgar 

Dependable admission control for mission-critical mobile applications in wireless mesh networks
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;

Publikationslink   

Fruth, Jana;  Timm, Mathias;  Kuhlmann, Sven;  Dittmann, Jana 

Ein erster Prototyp - Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet
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) Kongress: Tagung der Gesellschaft für Informatik; (Stuttgart) : 2014.09.22-26

Flexible traffic management in broadband access networks using Software Defined Networking
In: IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World, 2014, 10.1109/NOMS.2014.6838322

Held, Pascal;  Dockhorn, Alexander;  Kruse, Rudolf 

Generating events for dynamic social network simulations
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 - Cham: Springer International Publishing, S. 46-55 - (Communications in Computer and Information Science; 443); http://dx.doi.org/10.1007/978-3-319-08855-6_6 Kongress: IPMU 2014 (Montpellier, France : 2014.07.15-19

Medeiros de Araújo, Gustavo;  Pinto, A. R.;  Kaiser, Jörg;  Buss Becker, Leandro 

Genetic machine learning approach for link quality prediction in mobile wireless sensor networks
In: Koubâa, Anis: : Cooperative Robots and Sensor Networks. - Berlin, Heidelberg : Springer Berlin Heidelberg, S. 1-18, 2014 - (Studies in Computational Intelligence; 507);

Publikationslink   

Alatartsev, Sergey;  Ortmeier, Frank 

Improving the sequence of robotic tasks with freedom of execution
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois. - Piscataway, NJ : IEEE, S. 4503 - 4510;

Publikationslink   

Lindhorst, Timo;  Weseloh, Burkhard;  Nett, Edgar 

Maintraining dependable communication service for mobile stations in wireless mesh networks by tracking capacity demands
In: 2014 IEEE International Parallel 19-23 May 2014, Phoenix (AZ), USA. - IEEE, S. 1297-1305 Kongress: IPDPS; 28 (Phoenix) : 2014.05.19-23[Beitrag auf CD-ROM]

Rösner, Dietmar;  Friesen, Rafael;  Günther, Stephan;  Andrich, Rico 

Modeling and evaluating dialog success in the LAST MINUTE corpus
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;

Publikationslink   

Mäurer, Lukas;  Hebecker, Tanja;  Stolte, Torben;  Lipaczewski, Michael;  Möhrstädt, Uwe;  Ortmeier, Frank 

On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink
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

Nykolaychuk, Mykhaylo;  Lipaczewski, Michael;  Liebusch, Tino;  Ortmeier, Frank 

On efficiently specifying models for model checking
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);

Publikationslink   

Held, Pascal;  Dockhorn, Alexander;  Kruse, Rudolf 

On merging and dividing of Barabási-Albert-graphs
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, S. 17-24; http://dx.doi.org/10.1109/EALS.2014.7009499 Kongress: EALS 2014 (Orlando, FL, USA : 2014.12.09-12

Filax, Marco;  Gonschorek, Tim;  Lipaczewski, Michael;  Ortmeier, Frank 

On traceability of informal specifications for model-based verification
In: IMBSA 2014: short

Optimizing mobile prefetching by leveraging usage patterns and social information
In: Proceedings - International Conference on Network Protocols, ICNP, 2014, S. 293-295, 10.1109/ICNP.2014.51

Mossakowski, Till;  Pawł  owski, Wiesł  aw;  Sannella, Donald;  Tarlecki, Andrzej 

Parchments for CafeOBJ logics
In: Specification, algebra, and software. - Berlin [u.a.] : Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373);

Publikationslink    Volltext

Position paper: Software-defined network service chaining
In: Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, 2014, S. 109-114, 10.1109/EWSDN.2014.14

PowerPi: Measuring and modeling the power consumption of the Raspberry Pi
In: Proceedings - Conference on Local Computer Networks, LCN, 2014, S. 236-243, 10.1109/LCN.2014.6925777

Dietrich, André;  Mohammad, Siba;  Zug, Sebastian;  Kaiser, Jörg 

ROS meets cassandra - data management in smart environments with NoSQL
In: Databases and information systems : proceedings of the 11th international Baltic conference, Baltic DB 11 (Tallinn) : 2014.06.08-11

Brade, Tino;  Jäger, Georg;  Zug, Sebastian;  Kaiser, Jörg 

Sensor- and environment dependent performance adaptation for maintaining safety requirements
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);

Publikationslink   

Meier, Andreas;  Gonter, Mark;  Kruse, Rudolf 

Symbolic regression for precrash accident severity prediction
In: Hybrid artificial intelligence systems. - Cham [u.a.] : Springer, S. 133-144, 2014 - (Lecture notes in computer science; 8480);

Publikationslink   

TRANSIT: Supporting transitions in Peer-to-Peer live video streaming
In: 2014 IFIP Networking Conference, IFIP Networking 2014, 2014, 10.1109/IFIPNetworking.2014.6857079

Zug, Sebastian;  Steup, Christoph;  Scholle, Julian B.;  Berger, Christian;  Landsiedel, Olaf;  Schuldt, Fabian;  Rieken, Jens;  Matthaei, Richard;  Form, Thomas 

Technical evaluation of the Carolo-Cup 2014 - a competition for self-driving miniature cars
In: 2014 IEEE International Symposium on Robotic and Sensors Environments (ROSE) : 16 - 18 Oct. 2014, Timisoara, Romania. - Piscataway, NJ : IEEE, S. 100-105;

Publikationslink   

Towards decentralized, energy- and privacy-aware device-to-device content delivery
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

Towards resource-efficient application-controlled software defined networks
In: Proceedings - International Conference on Network Protocols, ICNP, 2014, S. 483-485, 10.1109/ICNP.2014.73

Fruth, Jana;  Nett, Edgar 

Uniform approach of risk communication in distributed IT environments combining safety and security aspects
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);

Publikationslink   

Gonschorek, Tim;  Filax, Marco;  Lipaczewski, Michael;  Ortmeier, Frank 

VECS - verification enviroment for critical systems - tool supported formal modeling an verification
In: IMBSA 2014: short

VINCENT: An incentive scheme supporting heterogeneity in Peer-to-Peer content distribution
In: Proceedings - Conference on Local Computer Networks, LCN, 2014, S. 19-27, 10.1109/LCN.2014.6925752

Abstrakt
Nielebock, Sebastian;  Gonschorek, Tim;  Ortmeier, Frank 

A graphical notation for probabilistic specifications
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; http://www.easychair.org/smart-program/VSL2014/VeriSure-2014-07-23.html#talk:3203 Kongress: VeriSure (Vienna, Austria : 2014.07.23)

Bola, Michal;  Gall, Carolin;  Moewes, Christian;  Fedorov, Anton;  Hinrichs, Hermann;  Sabel, Bernhard 

Functional connectivity network breakdown and restoration in blindness
In: Brain injury. - London : Informa Healthcare; Bd. 28.2014, 5/6, Abs. 0666, S. 762;

Publikationslink   

Zug, Sebastian;  Dietrich, André 

Herausforderungen adaptiver Umgebungserfassung in cyberphysischen Systemen
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. 46 Kongress: Ingenieurtag; 1 (Senftenberg) : 2014.19.11

Mossakowski, Till;  Kutz, Oliver;  Codescu, Mihai 

Ontohub - a semantic repository for heterogeneous ontologies
In: ICTAC 2014 associated workshop: Theory Day in Computer Science : Buchaest, September 15-16, 2014. - Bucharest;

Publikationslink    Volltext

Alatartsev, Sergey;  Belov, Anton;  Nykolaychuk, Mykhaylo;  Ortmeier, Frank 

Robot trajectory optimization for the relaxed end-effector path
In: INCINCO 2014 : abstracts. - INSTICC; 2014, Paper Nr. 230;

Publikationslink   

Begutachteter Zeitschriftenartikel
Prylipko, Dmytro;  Rösner, Dietmar;  Siegert, Ingo;  Günther, Stephan;  Friesen, Rafael;  Haase, Matthias;  Vlasenko, Bogdan;  Wendemuth, Andreas 

Analysis of significant dialog events in realistic human-computer interaction
In: Journal on multimodal user interfaces. - Berlin : Springer, Bd. 8.2014, 1, S. 75-86;

Publikationslink   

Bola, Michal;  Gall, Carolin;  Moewes, Christian;  Fedorov, Anton;  Hinrichs, Hermann;  Sabel, Bernhard A. 

Brain functional connectivity network breakdown and restoration in blindness
In: Neurology. - Hagerstown, Md : Lippincott Williams

Publikationslink   

Loewe, Kristian;  Grueschow, Marcus;  Stoppel, Christian M.;  Kruse, Rudolf;  Borgelt, Christian 

Fast construction of voxel-level functional connectivity graphs
In: BMC neuroscience. - London : BioMed Central; Bd. 15.2014, Art.-Nr. 78, insges. 13 S.;

Publikationslink   

Merkel, Sabrina;  Mostaghim, Sanaz;  Schmeck, Hartmut 

Hop count based distance estimation in mobile ad hoc networks - challenges and consequences
In: Ad hoc Networks. - Amsterdam [u.a.] : Elsevier Science, Bd. 15.2014, S. 39-52;

Publikationslink   

Hebecker, Tanja;  Buchholz, Robert;  Ortmeier, Frank 

Model-based local path planning for UAVs
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;

Publikationslink   

Meier, Andreas;  Gonter, Mark;  Kruse, Rudolf 

Precrash classification of car accidents for improved occupant safety systems
In: Procedia Technology. - Amsterdam [u.a.] : Elsevier, Bd. 15.2014, S. 198-207;

Publikationslink   

Samothrakis, Spyridon;  Perez, Diego;  Rohlfshagen, Philipp;  Lucas, Simon M. 

Predicting dominance rankings for score-based games
In: IEEE transactions on computational intelligence and AI in games. - New York, NY : IEEE, 2014;

Publikationslink   

Merkel, Sabrina;  Mostaghim, Sanaz;  Schmeck, Hartmut 

Self-organized swarm display
In: International Journal of Swarm Intelligence: IJSI - Genève: Inderscience Enterprises, 2014; http://www.inderscience.com/info/ingeneral/forthcoming.php?jcode=ijsi

Software-defined networking: Standardization for cloud computing's second wave
In: Computer, Vol. 47, 2014, Issue 11, S. 19-21, 10.1109/MC.2014.329

Bola, Michał  ;  Gall, Carolin;  Moewes, Christian;  Fedorov, Anton;  Sabel, Bernhard 

Transorbital alternating current stimulation strengthens oscillatory activity and functional connectivity in patients with visual system damage - a resting-state EEG study
In: Clinical neurophysiology. - Amsterdam [u.a.] : Elsevier Science; Vol. 124.2014, 10, S. e124-e125;

Publikationslink   

Artikel in Kongressband

Attack of the Ants: Studying Ant Routing Algorithms in Simulation and Wireless Testbeds
In: 2014

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

Fabricating monsters is hard - towards the automation of conceptual blending
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);

Publikationslink    Volltext

Mossakowski, Till;  Codescu, Mihai;  Kutz, Oilver;  Lange, Christoph;  Gruninger, Michael 

Proof support for common logic
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.;

Publikationslink    Volltext

Bateman, John;  Kutz, Oliver;  Mossakowski, Till;  Sojic, Aleksandra;  Codescu, Mihai 

Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies
In: Spatial Cognition 2014 : poster presentations. - Bremen [u.a.] : Univ. [u.a.], S. 13-16;

Publikationslink   

Nicht begutachteter Zeitschriftenartikel
Johannes, Steffen;  Held, Pascal;  Kruse, Rudolf 

Cointegration analysis of financial time series data
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);

Publikationslink   

Towards Energy-Aware Ant Routing in Wireless Multi-Hop Networks
In: 2014

Herausgeberschaft

Energy-Aware Ant Routing in Wireless Multi-Hop Networks
In: 2014

Ortmeier, Frank 

IMBSA 2014 - short & tutorial proceedings of the 4th international symposium on model based safety assessment
In: Magdeburg: Univ., 2014; 66 S.: graph. Darst., ISBN 978-3-944722-19-1 Kongress: International Symposium on Model-Based Safety and Assessment; 4 (Munich, Germany) : 2014.10.27-29 IMBSA 4 (Munich, Germany); : 2014.10.27-29

Ortmeier, Frank;  Rauzy, Antoine 

Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings
In: Cham [u.a.]: Springer, 2014; Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822), ISBN 978-3-319-12214-4 Kongress: IMBSA; 4 (Munich) : 2014.10.27-29 International Symposium on Model-Based Safety and Assessment; 4 (Munich) : 2014.10.27-29 [Literaturangaben]

Letzte Änderung: 08.12.2016 - Ansprechpartner: Webmaster