Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Anthology

Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009

Liu, Z. (ed.) & Ravn, A. P. (ed.), 2009, Springer. (Lecture Notes in Computer Science, Vol. 5799).

Research output: Book/ReportAnthologyResearch

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Larsen, K. G. (ed.) & Willemse, T. (ed.), 2019, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 11687).

Research output: Book/ReportAnthologyResearchpeer-review

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/ReportAnthologyResearchpeer-review

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Margaria, T. (ed.), Graf, S. (ed.) & Larsen, K. G. (ed.), 2019, Springer Publishing Company. (Theoretical Computer Science and General Issues, Vol. 11200).

Research output: Book/ReportAnthologyResearchpeer-review

Proceedings of 4th International Workshop on Formal Approaches to Software Testing

Grabowski, J. (ed.) & Nielsen, B. (ed.), 2004, 1 ed. Germany: Springer. 227 p.

Research output: Book/ReportAnthologyResearch

653 Downloads (Pure)

Proceedings of the ICTSS 2012 Ph.D. Workshop

Weise, C. (ed.) & Nielsen, B. (ed.), 19 Nov 2012, Aalborg.

Research output: Book/ReportAnthologyResearchpeer-review

Open Access
File

Proceedings of the Workshop on Structural Operational Semantics, (SOS 2004), London, England, August 30, 2004

Aceto, L. (ed.), Fokkink, W. (ed.) & Ulidowski, I. (ed.), 2005, Pergamon Press. 122 p. (Electronic Notes in Theoretical Computer Science; No. 1, Vol. 128).

Research output: Book/ReportAnthologyResearch

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Probst, C. W. (ed.), Hankin, C. (ed.) & Hansen, R. R. (ed.), 2016, Springer. (Lecture Notes in Computer Science, Vol. 9560).

Research output: Book/ReportAnthologyResearchpeer-review

Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. (ed.) & Weise, C. (ed.), Nov 2012, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 7641).

Research output: Book/ReportAnthologyResearchpeer-review

Article in proceeding

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Industry
10 Citations (Scopus)

2-Nested Simulation is not Finitely Equationally Axiomatizable

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2001, STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. Ferreira, A. : Reichel, H. (eds.) (ed.). 2010 ed. IEEE Computer Society Press, p. 39-50

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

2 Citations (Scopus)
1 Downloads (Pure)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Model checking
Concretes
2 Citations (Scopus)
306 Downloads (Pure)

Abstractions for Mechanical Systems

Sloth, C. & Wisniewski, R., 2012, Lagrangian and Hamiltonian Methods for Non Linear Control. 1 ed. Elsevier, Vol. 4. p. 96-101 6 p. (I F A C Workshop Series).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Formal verification
2 Citations (Scopus)
107 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 213-228 (Lecture Notes in Computer Science, Vol. 9984).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
1 Citation (Scopus)

A component framework as an enabler for industrial cyber physical systems

Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 Jun 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, p. 339-344 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Sensors
Dispensers
Bayesian networks
Fault detection
Software engineering
1 Citation (Scopus)
55 Downloads (Pure)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File

A Coock's Tour of Equational Axiomatizations for Prefix Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1378 ed. IEEE Computer Society Press, p. 20-34

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

5 Citations (Scopus)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 Jan 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Vol. 9539. p. 66-85 20 p. (Lecture Notes in Computer Science, Vol. 9539).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

A COTS Framework for Sensor Fusion Using Dynamic Bayesian Networks in Livestock Production

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Philip, T. (ed.). Denmark., p. 41-48 7 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Action Investment Energy Games

Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (eds.). Netherlands: Springer Publishing Company, Vol. 7721. p. 155-167 13 p. (Lecture Notes in Computer Science, Vol. 7721).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Costs
2 Citations (Scopus)
460 Downloads (Pure)

Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 Jul 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, p. 52-57

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File

Adaptable Value-Set Analysis for Low-Level Code

Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., Jul 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 24. 12 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

34 Citations (Scopus)

Adapting an AI planning heuristic for directed model checking

Kupferschmid, S., Hoffmann, J., Dierks, H. & Behrmann, G., 2006, Model Checking Software, Proceedings. p. 35-52

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 1-11 11 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Quality of service
Scheduling
Energy utilization
Uncertainty

Adding symmetry reduction to UPPAAL

Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

2 Citations (Scopus)

A decidable recursive logic forweighted transition systems

Larsen, K. G., Mardare, R. & Xue, B., 1 Jan 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Syntactics
Real time systems
Costs

A Decidable Recursive Logic for Weighted Transition Systems

Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer Publishing Company, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Syntactics
Real time systems
Costs
5 Citations (Scopus)

Adequacy and Complete Axiomatization for Timed Modal Logic

Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (eds.). Ithaca, New York: Elsevier, Vol. 308. p. 183-210 28 p. (Electronic Notes in Theoretical Computer Science, Vol. 308).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

A Distributed Pi-Calculus with anonymous moves

Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

3 Citations (Scopus)

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2006, Automata, Languages and Programming, Pt 2. p. 492-503

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

19 Citations (Scopus)

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, p. 114-126 13 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Temporal logic
Model checking
Flow control
Semantics
Linux
1 Downloads (Pure)

A framework for job management in the NorduGrid ARC middleware

Jensen, H. T., Kleist, J. & Ryge Leth, J., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (eds.). IEEE Computer Society Press, p. 861-871 (Lecture Notes in Computer Science; No. 3470).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Middleware

A Fully Abstract Denotational Model for Observational Precongruence

Ingolfsdottir, A. & Schalk, A., 1995, Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. Bünung, Hans Kleine (ed.) (ed.). 1092 ed. IEEE Computer Society Press, p. 335-361

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Agile software development and its compatibility with a document-driven approach? A case study

Heeager, L. T. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (eds.). Monash University Press, p. 205 214 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Software engineering
Industry
Quality assurance
Drug products
Managers
1 Citation (Scopus)
46 Downloads (Pure)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Chemical analysis

A Hierarchical Tree Distance Measure for Classification

Caspersen., K. M., Madsen., M. B., Eriksen., A. B. & Thiesson., B., 2017, Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM. SCITEPRESS Digital Library, p. 502-509

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
10 Citations (Scopus)

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Zhao, H., Zhan, N., Kapur, D. & Larsen, K. G., 2012, FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 471-485 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

6 Citations (Scopus)

Algorithm-data driven optimization of adaptive communication networks

He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 Nov 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Telecommunication networks
Learning systems
Learning algorithms
Resource allocation
Labels
5 Citations (Scopus)

Aliasing Models for Object Migration

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (eds.). 1685 ed. Springer, p. 1353-1368 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Almost Optimal Strategies in One Clock Priced Timed Automata

Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Vol. 4514. (Lecture Notes in Computer Science; No. 4514).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

10 Citations (Scopus)

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 227-233 7 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

A Logical Characterisation of Static Equivalence

Hüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (ed.). Pergamon Press, p. 139-159 (Electronic Notes in Theoretical Computer Science; No. 173).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

6 Citations (Scopus)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

Bauer, S. S., Juhl, L., Larsen, K. G., Srba, J. & Legay, A., 1 Jan 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, p. 77-84 8 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Specifications
Computability and decidability
Model checking
Semantics
5 Citations (Scopus)

A Method for Model Checking Feature Interactions

Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., Jul 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (eds.). SCITEPRESS Digital Library, p. 219-228 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Automation

A Metrized Duality Theorem for Markov Processes

Kozen, D., Mardare, R. I. & Panangaden, P., 2014, Electronic Notes in Theoretical Computer Science. 29 October 2014: Elsevier, Vol. 308. p. 211-227 17 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Duality Theorems
Markov Process
Pseudometric
Approximate Reasoning
Isometry
4 Citations (Scopus)
344 Downloads (Pure)

A Modal Specification Theory for Components with Data

Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer Publishing Company, Vol. 7253. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
3 Citations (Scopus)

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S. & Larsen, K. G., 2016, Critical Systems: Formal Methods and Automated Verification. Springer, p. 133–141 (Lecture Notes in Computer Science, Vol. 9933).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
77 Downloads (Pure)

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Concretes
1 Citation (Scopus)
15 Downloads (Pure)

An Algebraic Theory of Markov Processes

Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Algebraic Theory
Markov Process
Axiomatization
Equational Logic
Centrobaric