• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bidrag til bog/antologi
2016

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, s. 88-110 (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

5 Citationer (Scopus)

Formal Modelling and Analysis of Socio-Technical Systems

Probst, C. W., Kammüller, F. & Hansen, R. R., 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (red.). Springer, s. 54-73 (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Model Checking Feature Interactions

Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Model checking
Embedded systems
Information systems
Automation
Semantics

Modeling and Analysis of Component Faults and Reliability

Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., maj 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 45-60 (Computational Science Series).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Fault tree analysis

Quorum Systems

Wattenhofer, R. & Förster, K-T., 2016, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Inverted Forest Publishing, s. 87-104 18 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiUndervisning

Guarantee
Overlapping
Fault tolerance
10 Citationer (Scopus)

TAPAAL and Reachability Analysis of P/T Nets

Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, s. 307-318 12 s. (Lecture Notes in Computer Science, Bind 9930).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Model checking
Petri nets
2017

Application system design - energy optimisation

Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R. & 2 flere, Stluka, P. & Zabasta, A., 6 feb. 2017, IoT Automation: Arrowhead Framework. Delsing, J. (red.). CRC Press, s. 211-247 36 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Cryptography Basics

Wattenhofer, R. & Förster, K-T., 6 mar. 2017, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Second Revised Edition udg. Inverted Forest Publishing, s. 49-70 22 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiUndervisning

Cryptography
Magic
Sound
Trick

Data Warehousing in Cloud Environments

Thomsen, C. & Pedersen, T. B., 5 apr. 2017, Encyclopedia of Database Systems. New York: Springer, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Grænseoverskridende komik: South Parks transmedielle univers

Lundgaard, S. S., 2017, Helt til Grin: Moderne audiovisuel komik på tværs af medier. Halskov, A., Højer, H. & Larsen, T. S. (red.). 16:9 Filmtidsskrift, s. 216-236

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

Olderog, E-R., Ravn, A. P. & Wisniewski, R., 2017, Provably Correct Systems. Springer, s. 95-120 (NASA Monographs in Systems and Software Engineering).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2018

Cloud Intelligence

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. 2 udg. Springer Publishing Company, s. 481-482 2 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Cloud computing
Competitive intelligence
Big data

Contracts for System Design

Benveniste, A., Caillaud, B., Larsen, K. G., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W. & Henzinger, T., 2018, Electronic Design Automation. Now Publishers Inc., s. 124-400

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Åben adgang

Cube

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd udg. New York: Springer, s. 1

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Dimension

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Hierarchy

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Ling, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citation (Scopus)

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

edition
Spain
evaluation
software

Measure

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

6 Citationer (Scopus)

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, s. 1001-1046

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Timed Automata
Model Checking
Weighted Automata
Real-time
Finite State Automata

Multidimensional Modeling

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Prescriptive Analytics

Siksnys, L. & Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 3 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2019

Maintenance 4.0 world of integrated information

Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 apr. 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, Bind 9. s. 67-78 12 s. (Proceedings of the I-ESA Conferences, Bind 9).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Interoperability
Information management
Failure analysis
Data structures
Industry