Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 132 << Forrige 1 2 3    Neste >>

2020
1 Meyer, Jon Arild Ekberg; Puka, Ergys; Herrmann, Peter.
Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Deadspots. I: Internet of Vehicles. Technologies and Services Toward Smart Cities. Springer Nature 2020 ISBN 978-3-030-38650-4. s. 76-87
NTNU Untitled
 
2019
2 Khan, Zeeshan Ali; Herrmann, Peter.
Recent Advancements in Intrusion Detection Systems for the Internet of Things. Security and Communication Networks 2019 ;Volum 2019. s. 1-19
NTNU Untitled
 
3 Meyer, Jon Arild Ekberg; Puka, Ergys; Herrmann, Peter.
Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Deadspots. 6th International Conference on Internet of Vehicles (IOV); 2019-11-18 - 2019-11-21
NTNU Untitled
 
4 Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter.
Automated Product Localization through Mobile Data Analysis. 20th IEEE International Conference on Mobile Data Management; 2019-06-10 - 2019-06-13
NTNU UiO Untitled
 
5 Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter.
Automated Product Localization through Mobile Data Analysis. Proceedings (IEEE International Conference on Mobile Data Management) 2019 s. 18-26
NTNU UiO Untitled
 
6 Puka, Ergys; Herrmann, Peter.
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. 5th IEEE International Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCNCPS); 2019-06-09 - 2019-09-12
NTNU Untitled
 
7 Puka, Ergys; Herrmann, Peter.
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. I: World of Wireless Mobile and Multimedia Networks (WoWMoM), IEEE International Symposium on. IEEE Press 2019 ISBN 978-1-7281-0271-9. s. -
NTNU Untitled
 
2018
8 Herrmann, Peter; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz.
Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems. I: Innovative Solutions and Applications of Web Services Technology. IGI Global 2018 ISBN 9781522572688. s. 69-93
NTNU Untitled
 
9 Oplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein.
Simulation-driven Development of Self-adaptive Transportation Systems. IEEE NetSoft 2018 – International Workshop on Emerging Trends in Softwarized Networks (ETSN); 2018-06-25 - 2018-06-25
NTNU UiO Untitled
 
10 Oplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein.
Simulation-driven Development of Self-adaptive Transportation Systems. I: Proceedings of the 2018 IEEE Conference on Network Softwarization. IEEE 2018 ISBN 978-1-5386-4633-5. s. 372-377
NTNU UiO Untitled
 
11 Puka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg.
A Way to Measure and Analyze Cellular Network Connectivity on the Norwegian Road System. 10th International Conference on Communication Systems & Networks (COMSNETS); 2018-01-03 - 2018-01-07
NTNU Untitled
 
12 Puka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg.
A way to measure and analyze cellular network connectivity on the norwegian road system. I: 2018 10th International Conference on Communication Systems & Networks (COMSNETS). IEEE 2018 ISBN 978-1-5386-1183-8. s. 595-600
NTNU Untitled
 
13 Taherkordi, Amirhosein; Herrmann, Peter.
Pervasive Smart Contracts for Blockchains in IoT Systems. 2018 International Conference on Blockchain Technology and Application; 2018-12-10 - 2018-12-12
NTNU UiO Untitled
 
14 Taherkordi, Amirhosein; Herrmann, Peter.
Pervasive Smart Contracts for Blockchains in IoT Systems. I: Proceedings of the 2018 International Conference on Blockchain Technology and Application. Association for Computing Machinery (ACM) 2018 ISBN 978-1-4503-6646-5. s. 1-6
NTNU UiO Untitled
 
15 Zamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf.
Towards Classification of Lightweight Formal Methods. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE); 2018-03-23 - 2018-03-24
NTNU Untitled
 
16 Zamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf.
Towards Classification of Lightweight Formal Methods. I: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018). SciTePress 2018 ISBN 978-989-758-300-1. s. 305-313
NTNU Untitled
 
2017
17 Herrmann, Peter; Blech, Jan Olaf.
Formal Analysis of Control Software for Cyber-Physical Systems. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS); 2017-07-25 - 2017-07-29
NTNU Untitled
 
18 Herrmann, Peter; Blech, Jan Olaf.
Formal Analysis of Control Software for Cyber-Physical Systems. I: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C). IEEE conference proceedings 2017 ISBN 978-1-5386-2073-1. s. 563-564
NTNU Untitled
 
19 Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter.
Model-based Engineering and Spatiotemporal Analysis of Transport Systems. I: Evaluation of Novel Approaches to Software Engineering. Springer 2017 ISBN 978-3-319-56389-3. s. 44-65
NTNU Untitled
 
20 Khan, Zeeshan Ali; Herrmann, Peter.
A trust based distributed intrusion detection mechanism for internet of things. Advanced Information Networking and Applications 2017 s. 1169-1176
NTNU Untitled
 
21 Khan, Zeeshan Ali; Herrmann, Peter.
How to Secure Internet of Things Devices in an Energy Efficient Way. ERCIM News 2017 ;Volum 109.(4)
NTNU Untitled
 
22 Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter.
A Trust-based Resilient Routing Mechanism for the Internet of Things. 12th International Conference on Availability, Reliability and Security; 2017-08-29 - 2017-09-01
NTNU Untitled
 
23 Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter.
A Trust-based Resilient Routing Mechanism for the Internet of Things. I: ARES'17. Proceedings of The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy — August 29 - September 01, 2017. Association for Computing Machinery (ACM) 2017 ISBN 978-1-4503-5257-4. s. -
NTNU Untitled
 
24 Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf.
Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. 32nd ACM Symposium on Applied Computing (SAC); 2017-04-04 - 2017-04-06
NTNU UiO Untitled
 
25 Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf.
Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. I: Proceedings of the Symposium on Applied Computing. Association for Computing Machinery (ACM) 2017 ISBN 978-1-4503-4486-9. s. 1436-1443
NTNU UiO Untitled
 
26 Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf; Fernandez Fernandez, Alvaro.
Service virtualization for self-adaptation in mobile cyber-physical systems. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10380 LNCS. s. 56-68
NTNU UiO Untitled
 
2016
27 Herrmann, Peter; Blech, Jan Olaf.
Formal Model-based Development in Industrial Automation with Reactive Blocks. 3rd Human-Oriented Formal Methods Workshop (HOFM2016); 2016-07-04 - 2016-07-04
NTNU Untitled
 
28 Herrmann, Peter; Blech, Jan Olaf.
Formal Model-based Development in Industrial Automation with Reactive Blocks. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9946 LNCS. s. 253-261
NTNU Untitled
 
29 Herrmann, Peter Michael; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz.
A model-based toolchain to verify spatial behavior of cyber-physical systems. International Journal of Web Services Research 2016 ;Volum 13.(1) s. 40-52
NTNU Untitled
 
30 Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf.
Collaborative Model-based Development of a Remote Train Monitoring System. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods; 2016-04-27 - 2016-04-28
NTNU Untitled
 
31 Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf.
Collaborative Model-based Development of a Remote Train Monitoring System. I: ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering. SciTePress 2016 ISBN 978-989-758-189-2. s. 383-390
NTNU Untitled
 
32 Hordvik, Simon Eikeland; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter.
A Methodology for Model-based Development and Safety Analysis of Transport Systems. I: ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering. SciTePress 2016 ISBN 978-989-758-189-2. s. 91-101
NTNU Untitled
 
33 Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter.
Model-based engineering and spatiotemporal analysis of transport systems. Communications in Computer and Information Science 2016 ;Volum 703. s. 44-65
NTNU Untitled
 
34 Hordvik, Simon; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter.
A Methodology for Model-based Development and Safety Analysis of Transport Systems. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods; 2016-04-27 - 2016-04-28
NTNU Untitled
 
35 Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf.
Model-based Development of a Controller and Simulator for a Mobile Robot.. 2016 5th ICT International Student Project Conference (ICT-ISPC); 2016-05-27 - 2016-05-28
NTNU Untitled
 
36 Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf.
Model-based Development of a Controller and Simulator for a Mobile Robot.. I: 2016 Fifth ICT International Student Project Conference (ICT-ISPC 2016). IEEE 2016 ISBN 9781509011230. s. -
NTNU Untitled
 
37 Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf; Fernandez, Alvaro.
Service Virtualization for Self-Adaptation in Mobile Cyber-Physical Systems. International Workshop on Management of Service-Oriented Cyber-Physical Systems (MCPS); 2016-10-10 - 2016-10-10
NTNU UiO Untitled
 
2015
38 Blech, Jan Olaf; Herrmann, Peter.
Behavioral Types for Component-based Development of Cyber-Physical Systems. 2nd Human-Oriented Formal Methods Workshop (HOFM2015); 2015-09-07 - 2015-09-07
NTNU Untitled
 
39 Blech, Jan Olaf; Herrmann, Peter.
Behavioral Types for Space-aware Systems. 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems; 2015-09-28 - 2015-09-28
NTNU Untitled
 
40 Blech, Jan Olaf; Herrmann, Peter.
Behavioral types for space-aware systems. CEUR Workshop Proceedings 2015 ;Volum 1508. s. 11-18
NTNU Untitled
 
41 Blech, Jan Olaf; Herrmann, Peter Michael; Peake, Ian; Schmidt, Heinz.
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. I: Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. SciTePress 2015 ISBN 978-989-758-100-7. s. 331-336
NTNU Untitled
 
42 Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter; Schmidt, Heinz.
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. I: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. IEEE 2015 ISBN 9781467365659. s. 638-646
NTNU Untitled
 
43 Herrmann, Peter.
State of the art IoT research - What do we know and what are the biggest questions we pursuit?. Innovasjonsfrokost; 2015-08-28 - 2015-08-28
NTNU Untitled
 
44 Kraemer, Frank Alexander; Herrmann, Peter Michael.
Creating Internet of Things Applications from Building Blocks. ERCIM News 2015 ;Volum 101.(4) s. 19-20
NTNU Untitled
 
2014
45 Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz.
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures; 2014-04-12 - 2014-04-12
NTNU Untitled
 
46 Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz.
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. Electronic Proceedings in Theoretical Computer Science 2014 ;Volum 147. s. 1-15
NTNU Untitled
 
47 Herrmann, Peter Michael; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz.
A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. 2014 Asia-Pacific Services Computing Conference (APSCC); 2014-12-04 - 2014-12-06
NTNU Untitled
 
48 Slåtten, Vidar.
Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification. Trondheim: Norwegian University of Technology and Science (NTNU) 2014 (ISBN 978-82-326-0345-9) ;Volum 2014.275 s. Doktoravhandlinger ved NTNU(211)
NTNU Untitled
 
49 Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz.
Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST. Model-Driven Engineering, Verification, and Validation in MDE, Satellite event of MoDELS2014; 2014-09-30 - 2014-09-30
NTNU Untitled
 
50 Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz.
Modeling spatial aspects of safety-critical systems with FOCUS-ST. CEUR Workshop Proceedings 2014 ;Volum 1235. s. 49-58
NTNU Untitled
 
    Vis neste liste