Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Book chapter

Search results

  • 2015

    Preface

    Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N., 2015, Preface. Vol. 206. p. 5-9 5 p. (Lecture Notes in Business Information Processing).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Publishing Danish Agricultural Government Data as Semantic Web Data

    Andersen, A. B., Gür, N., Hose, K., Jakobsen, K. A. & Pedersen, T. B., 2015, Semantic Technology: 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Supnithi, T., Yamaguchi, T., Pan, J. Z., Wuwongse, V. & Buranarach, M. (eds.). Springer, p. 178-186 9 p. (Lecture Notes in Computer Science; No. 8943).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)
    587 Downloads (Pure)

  • Resource-Parameterized Timing Analysis of Real-Time Systems

    Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    3 Citations (Scopus)

  • Safe and Optimal Adaptive Cruise Control

    Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; No. 9360).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    34 Citations (Scopus)

  • The End of the Line: Project Management Challenges in Small Software Shops in Pakistan

    Shakir, S. N. & Nørbjerg, J., 13 Jul 2015, Strategic Project Management: Contemporary Issues and Strategies for Developoing Economies. Barclay, C. & Osei-Bryson, K-M. (eds.). Boca Raton, FL: CRC Press, p. 107-131 25 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Towards Exploratory OLAP over Linked Open Data: a Case Study

    Ibragimov, D., Hose, K., Pedersen, T. B. & Zimanyi, E., 2015, Enabling Real-Time Business Intelligence: International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014. Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N. (eds.). Springer, p. 114-132 (Lecture Notes in Business Information Processing, Vol. 206).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    22 Citations (Scopus)
  • 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, p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 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. (eds.). Springer, p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    8 Citations (Scopus)

  • 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. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Modeling and Analysis of Component Faults and Reliability

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

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Quorum Systems

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

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Education

  • 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, p. 307-318 12 p. (Lecture Notes in Computer Science, Vol. 9930).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    24 Citations (Scopus)
  • 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 othersStluka, P. & Zabasta, A., 6 Feb 2017, IoT Automation: Arrowhead Framework. Delsing, J. (ed.). CRC Press, p. 211-247 36 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    1 Citation (Scopus)

  • Cryptography Basics

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

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Education

  • Data Warehousing in Cloud Environments

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

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-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. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning

    Larsen, K. G., Fahrenberg, U. & Legay, A., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. 60-103 44 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-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. (eds.). 16:9 Filmtidsskrift, p. 216-236

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

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

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 2018

    Cloud Intelligence

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. 2 ed. Springer Publishing Company, p. 481-482 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Cube

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd ed. New York: Springer, p. 1

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Determining the Respiratory State From a Seismocardiographic Signal - A Machine Learning Approach

    Ulrich, C., Jensen, M., Oberlin, R., Tavakolian, K., Khosrow-Khavar, F., Blaber, A., Sørensen, K. & Schmidt, S., 23 Jan 2018, 2016 Computing in Cardiology Conference (CinC).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Dimension

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Hierarchy

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Ling, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 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. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    9 Citations (Scopus)

  • Measure

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 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, p. 1001-1046 46 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    25 Citations (Scopus)

  • Multidimensional Modeling

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Prescriptive Analytics

    Siksnys, L. & Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 2019

    Analyzing spreadsheets for parallel execution via model checking

    Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    2 Citations (Scopus)

  • Continuous-Time Models for System Design and Analysis

    Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, p. 452-477 (Lecture Notes in Computer Science, Vol. 10000).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    10 Citations (Scopus)
  • 2020

    Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., Dec 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (eds.). Cambridge University Press, p. 333-360

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access

  • The challenge of building communities about PBL supervision: From networks of practice to communities of practice

    Hüttel, H. & Gnaur, D., 30 Oct 2020, Collaborative Convergence and Virtual Teamwork for Organizational Transformation. IGI global, p. 177-194 18 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 2021

    Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., Oct 2021, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (eds.). Wiley-IEEE press, p. 289-320 (IEEE Press Series on Networks and Service Management).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 312-331 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Introduction to “Advances in Longitudinal HCI Research”

    Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B., 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (eds.). Springer, p. 1-7 (Human–Computer Interaction Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Longitudinal research in information systems

    Nielsen, P. A., 12 Aug 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. (eds.). Springer, p. 41-56 (Human–Computer Interaction).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Longitudinal Studies in HCI Research: A Review of CHI Publications from 1982-2019

    Kjærup, M., Skov, M. B., Nielsen, P. A., Kjeldskov, J., Gerken, J. & Reiterer, H., 2021, Advances in Longitudinal HCI Research . Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (eds.). Springer, p. 11-39 28 p. (Human–Computer Interaction Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    384 Downloads (Pure)

  • pygrametl: A Powerful Programming Framework for Easy Creation and Testing of ETL Flows

    Jensen, S. K., Thomsen, C., Pedersen, T. B. & Andersen, O., 18 May 2021, Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII: Special Issue In Memory of Univ. Prof. Dr. Roland Wagner. Springer, Vol. XLVIII. p. 45-84 40 p. (Lecture Notes in Computer Science, Vol. 12670).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    365 Downloads (Pure)

  • Quantitative Analysis of Interval Markov Chains

    Bacci, G., Delahaye, B., Larsen, K. G. & Mariegaard, A., 2021, Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Olderog, E-R., Steffen, B. & Li, W. (eds.). Springer, Vol. 13030. p. 57-77 20 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 13030).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    3 Citations (Scopus)

  • Recommendations for Conducting Longitudinal Experience Sampling Studies

    van Berkel, N. & Kostakos, V., 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (eds.). Springer, p. 59-78 (Human–Computer Interaction Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • 2022

    Body-Based User Interfaces

    Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, J., Jansen, Y. & Hornbæk, K., 30 Nov 2022, The Routledge Handbook of Bodily Awareness. Alsmith, A. J. T. & Longo, M. R. (eds.). Routledge, p. 478-502 25 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    1 Citation (Scopus)

  • Convex Lattice Equation Systems

    Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Vol. 13660. p. 438-455 18 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    1 Citation (Scopus)

  • Exact Linear Reduction for Rational Dynamical Systems

    Jiménez-Pastor, A., Jacob, J. P. & Pogudin, G., 2022, Computational Methods in Systems Biology.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    1 Citation (Scopus)

  • Optimal Operation of Residential Heating Systems in Electricity Markets Leveraging Joint Power‐Heat Flexibility

    Golmohamadi, H., 11 Nov 2022, Coordinated Operation and Planning of Modern Heat and Electricity Incorporated Networks. Daneshvar, M., Mohammadi-Ivatloo, B. & Zare, K. (eds.). Wiley-IEEE press, p. 289-318 30 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 283-305 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13560 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13660).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Time Series Management Systems: A 2022 Survey

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 4 Dec 2022, (Accepted/In press) Data Series Management and Analytics. Palpanas, T. & Zoumpatianos, K. (eds.). Association for Computing Machinery, 81 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    182 Downloads (Pure)
  • 2023

    Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 8 Sept 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (eds.). 1 ed. Springer, Vol. 14080. p. 297-322 26 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review