Department of Computer Science

Address
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Find us here
Filter
Book chapter

Search results

  • 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 proceedingBook chapterResearchpeer-review

    1 Citation (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 proceedingBook chapterResearchpeer-review

    5 Citations (Scopus)
  • 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-review

    3 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-review

    12 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-review

  • 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 others, Stluka, 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 proceedingBook chapterResearch

    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 proceedingBook chapterEducation

  • 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearch

  • 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 proceedingBook chapterResearchpeer-review

  • 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-review

    5 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterEducation

  • 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 proceedingBook chapterResearchpeer-review

    13 Citations (Scopus)
  • 2015

    An Energy Flexibility Framework on the Internet of Things

    Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, p. 17-37

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Beomap: Ad Hoc Topic Maps for Enhanced Exploration of Social Media Data

    Leginus, M., Zhai, C. & Dolog, P., 1 Jun 2015, Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings. Cimiano, P., Frasincar, F., Houben, G-J. & Schwabe, D. (eds.). Springer, p. 200-218 19 p. (Lecture Notes in Computer Science; No. 9114).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Converging from Branching to Linear Metrics on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    13 Citations (Scopus)
  • EcoSky: Reducing vehicular environmental impact through eco-routing

    Guo, C., Yang, B., Andersen, O., Jensen, C. S. & Torp, K., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 1412-1415 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    38 Citations (Scopus)
  • Finding top-k local users in geo-tagged social media data

    Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 267-278 12 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    29 Citations (Scopus)
  • MIRABEL DW: Managing Complex Energy Data in a Smart Grid

    Siksnys, L., Thomsen, C. & Pedersen, T. B., 17 Jul 2015, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012. Hameurlain, A., Küng, J., Wagner, R., Cuzzocrea, A. & Dayal, U. (eds.). Springer, p. 48-72 (Lecture Notes in Computer Science, Vol. 9260).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Multiple Image Segmentation

    Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (eds.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science, Vol. 9443).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    11 Citations (Scopus)
  • Personalized route recommendation using big trajectory data

    Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 543-554 12 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    91 Citations (Scopus)
  • 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 proceedingBook chapterResearchpeer-review

    Open Access
    File
    6 Citations (Scopus)
    479 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-review

    23 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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-review

    16 Citations (Scopus)
  • 2014

    Design and Management of Web Service Transactions with Forward Recovery

    Dolog, P., Schäfer, M. & Nejdl, W., 2014, Advanced Web Services. Bouguettaya, A., Sheng, Q. Z. & Daniel, F. (eds.). Springer VS, p. 3-27 25 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    5 Citations (Scopus)
  • Federated query processing over linked data

    Hose, K., Schenkel, R., Schmidt, M. & Schwarte, A., 1 May 2014, Linked data management. Harth, A., Hose, K. & Schenkel, R. (eds.). 1. ed. CRC Press, p. 369-387 19 p. (Emerging Directions in Database Systems and Applications).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Location-Based Services - A Database Perspective

    Jensen, C. S., Friis-Christensen, A., Pedersen, T. B., Pfoser, D., Saltenis, S. & Tryfona, N., 2014, Breaking New Ground - Dedicated to Finn Kjærsdam. Aalborg: Aalborg Universitetsforlag, p. 82-93

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2013

    ETLMR: A Highly Scalable Dimensional ETL Framework based on MapReduce

    Xiufeng, L., Thomsen, C. & Pedersen, T. B., 2013, Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII: Special Issue on Advances in Data Warehousing and Knowledge Discovery. Springer VS, Vol. 7790. p. 1-31 31 p. (Transactions on Large-Scale Data- and Knowledge-Centered Systems). (Lecture Notes in Computer Science, Vol. 7790).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    9 Citations (Scopus)
  • Medical Information Retrieval Enhanced with User’s Query Expanded with Tag-Neighbors

    Durao, F., Bayyapu, K. R., Xu, G., Dolog, P. & Lage, R. G., 2013, Handbook of Medical and Healthcare Technologies. Furht, B. & Agarwal, A. (eds.). Springer Publishing Company, p. 17-40

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Mobile Computing

    Kjeldskov, J., 2013, The Encyclopedia of Human-Computer Interaction. Soegaard, M. & Dam, R. F. (eds.). The Interaction Design Foundation

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    118 Downloads (Pure)
  • Model-based vercation, optimization, synthesis and performance evaluation of real-time systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Thrane, C., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. 235-273 39 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 1-37 37 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • On the Relationship between LTL Normal Forms and Büchi Automata

    Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    3 Citations (Scopus)
  • Optimal Bounds for Multiweighted and Parametrised Energy Games

    Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Vol. 8051. p. 244-255 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    23 Citations (Scopus)
  • Segmentation of Nonstationary Time Series with Geometric Clustering

    Bocharov, A. & Thiesson, B., 2013, Pattern Recognition - Applications and Methods. Carmona, P. L., Sanchez, J. S. & Fred, A. L. N. (eds.). Berlin Heidelberg: Springer Publishing Company, Vol. 204. p. 93-107 15 p. (Advances in Intelligent Systems and Computing).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    642 Downloads (Pure)
  • The Conceptual Pond – a Persuasive Tool for Quantifiable Qualitative Assessment

    Sørensen, C. G. & Sørensen, M. G., 2013, Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI global, p. 449-469 20 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    2 Citations (Scopus)