Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Practical Verification of Embedded Software

Staunstrup, J., Larsen, K. G., Andersen, H. R., Hulgaard, H., Behrmann, G., Kristoffersen, K., Lind-Nielsen, J., Leerberg, H., Skou, A. & Theilgaard, N. B., 2000, In : Computer. 33, 5, p. 68-75

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)

Preface

Aceto, L., Fokkink, W. & Ulidowski, I., 2005, Proceedings of the Workshop on Structural Operational Semantics (SOS 2004). Pergamon Press, p. 1 (Electronic Notes in Theoretical Computer Science; No. 1, Vol. 128).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Preface

Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Preliminary Proceedings of the 7th International Workshop on Expressiveness in Concurrency, EXPRESS'00: State College, USA, August 21, 2000

Aceto, L. & Victor, B. E. ., 2000, (B R I C S Notes Series; No. 2000: NS-00-2).

Research output: Book/ReportBook

Preliminary Report: Controller Prototyping and Validation for Photo-Voltaic Comfort Cooling

Agesen, M. K., Skou, A. J. & Pedersen, K. L., 2016, CLIMA 2016 : proceedings of the 12th REHVA World Congress, 22-25 May 2016, Aalborg, Denmark. Heiselberg, P. K. (ed.). Department of Civil Engineering, Aalborg University, 9 p. 691

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

Open Access

Prescriptive Analytics: A Survey of Emerging Trends And Technologies

Frazzetto, D., Nielsen, T. D., Pedersen, T. B. & Siksnys, L., 1 Aug 2019, In : V L D B Journal. 28, 4, p. 575-595 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
2 Citations (Scopus)

Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing

Olsen, P., Larsen, K. G., Mikucionis, M. & Skou, A., 28 Dec 2010, In : Electronic Notes in Theoretical Computer Science. 264, 3, p. 53-68

Research output: Contribution to journalConference article in JournalResearchpeer-review

Presentation of the 9th Edition of the Model Checking Contest

Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science, Vol. 11429).

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

Open Access
File
1 Citation (Scopus)
3 Downloads (Pure)

P-Rex: fast verification of MPLS networks with multiple link failures

Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, p. 217-227 11 p. (Conference on Emerging Networking EXperiments and Technologies).

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

4 Citations (Scopus)

PRI: Privacy Preserving Inspection of Encrypted Network Traffic

Schiff, L. & Schmid, S., 1 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016. IEEE, p. 296-303 8 p. 7527782

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

5 Citations (Scopus)

Priced Timed Automata: Decidability Results, Algorithms and Applications

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004. de Boer, F., Bonsangue, M., Graf, S. & de Roever, W-P. (eds.). Springer, p. 162-186 (Lecture Notes in Computer Science; No. 3657).

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

45 Citations (Scopus)

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, In : Dagstuhl Seminar Proceedings. p. 417-425 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Priced Timed Automata and Statistical Model Checking

Larsen, K. G., 2013, Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer Publishing Company, Vol. 7940. p. 154-161 (Lecture Notes in Computer Science, Vol. 7940).

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

7 Citations (Scopus)

Private memory allocation analysis for safety-critical java

Dalsgaard, A. E., Hansen, R. R. & Schoeberl, M., 2012, JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 9-17 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

7 Citations (Scopus)

Probabilistic Graphical Models on Multi-Core CPUs using Java 8

Masegosa, A., Martinez, A. M. & Borchani, H., 2016, In : IEEE Computational Intelligence Magazine. 11, 2, p. 41-54

Research output: Contribution to journalJournal articleResearchpeer-review

File
7 Citations (Scopus)
287 Downloads (Pure)

Probabilistic Logic and Relational Models

Jaeger, M., 2017, Encyclopedia of Social Network Analysis and Mining. Alhajj, R. & Rokne, J. (eds.). 2nd ed. Springer

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterCommunication

Probabilistic logic and the metric space of logical formulas

Mardare, R. I., Sep 2012, In : Bulletin of Symbolic Logic. 18, 3, p. 455

Research output: Contribution to journalConference abstract in journalResearchpeer-review

Probabilistic modal specifications (invited extended abstract)

Larsen, K. G. & Legay, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8348 LNCS. p. 1-4 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

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

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

Larsen, K. G., Mardare, R. I. & Xue, B., 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:18 18 p. (Leibniz International Proceedings in Informatics, Vol. 65).

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

Open Access
2 Citations (Scopus)

Probabilistic Process Algebra

Jonsson, B., Larsen, K. G., Yi, W., Bergstrand, J. A., Ponse, A. & Smolka, S. A., 2001

Research output: Book/ReportBookResearch

16 Citations (Scopus)

Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method

Coent, A. C. L., Fribourg, L., Vacher, J. & Wisniewski, R., May 2020, In : Nonlinear Analysis: Hybrid Systems. 36, 100860.

Research output: Contribution to journalJournal articleResearchpeer-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/ReportAnthology

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

Srba, J. (ed.) & Smolka, S. A. (ed.), 2005, 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4 ed. BRICS, p. 1-70 70 p.

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

Proceedings of the ICTSS 2012 Ph.D. Workshop

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

Research output: Book/ReportAnthology

Open Access
File
682 Downloads (Pure)

Proceedings of the ICTSS 2012 PhD Workshop - Preface

Nielsen, B. & Weise, C., 19 Nov 2012, Proceedings of the ICTSS 2012 PhD Workshop - Preface. Aalborg ed. Department of Computer Science, Aalborg University, Vol. 12-201. p. 1

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Open Access
File
196 Downloads (Pure)

Proceedings of the Workshop on Semantics of Objects as Processes: SOAP'98, July 18, 1998, Aalborg, Denmark

Hüttel, H. E. . & Nestmann, U. E. ., 1998, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-98-5).

Research output: Book/ReportBookResearch

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

Aceto, L., Fokkink, W. & Ulidowski, I., 2004.

Research output: Working paperResearch

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/ReportAnthology

Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

Engberg, U. H., Larsen, K. G. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-95-2).

Research output: Book/ReportBookResearch

Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Pace, G. (ed.) & Ravn, A. P. (ed.), 8 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 94

Research output: Contribution to journalJournal articleResearchpeer-review

Process Algebra: Guest editors' foreword

Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A., 2005, In : Theoretical Computer Science. 335, 2-3, p. 127-129 3 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Process Calculi with Asynchronous Communication: Master's Thesis

Hansen, M. & Kleist, J., 1994, R-94-2028 ed. Aalborg: Department of Computer Science, Aalborg University.

Research output: Book/ReportReport

Production Scheduling by Reachability Analysis: A Case Study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IPDPS 2005. IEEE Computer Society Press

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

22 Citations (Scopus)

Program Analysis as Model Checking

Olesen, M. C., 1 Sep 2014, Institut for Datalogi, Aalborg Universitet. 159 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 85).

Research output: Book/ReportPh.D. thesis

Open Access
File
4 Citations (Scopus)
192 Downloads (Pure)

Project Description: Mindpass Center for Distributed Systems

Mathiassen, L., Pedersen, J., Kleist, J., Thomsen, T. R., Behrmann, G. & Clausen, T. H., 2000

Research output: Book/ReportReport

Prosoft: procesforbedring under udvikling af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B., Skou, A., Aaen, I., Nielsen, P. A., Knudsen, J. & Biegel, J. (ed.), 2006, Aalborg: CISS, Aalborg Universitet. 150 p.

Research output: Book/ReportReport

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Vol. 10580. p. 248-265 18 p. (Lecture Notes in Computer Science).

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

8 Citations (Scopus)

PtrTracker: Pragmatic pointer analysis

Biallas, S., Olesen, M. C., Cassez, F. & Huuck, R., 2013, Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. IEEE Computer Society Press, p. 69-73 5 p. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

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

Open Access
File
3 Citations (Scopus)
452 Downloads (Pure)

Quality Estimation of Component-Based Embedded Systems

Holmegaard, J. P., Ravn, A. P. & Koch, P., 2004, Proceedings of Euromicro Work in Progress.

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

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

David, A., Larsen, K. G., Legay, A., Guangyuan, L. & Poulsen, D. B., 2014, 14th International Conference on Application of Concurrency to System Design (ACSD), 2014. IEEE Computer Society Press, p. 32 - 41 (Proceedings of the International Conference on Application of Concurrency to System Design).

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

2 Citations (Scopus)

Quantitative Algebraic Reasoning

Mardare, R. I., Panangaden, P. & Plotkin, G., 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science: LICS'16, New York, NY, USA, July 5-8, 2016. Association for Computing Machinery, p. 700-709 10 p.

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

20 Citations (Scopus)

Quantitative analysis of real-time systems using priced timed automata

Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 1 Sep 2011, In : Communications of the A C M. 54, 9, p. 78-87 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

39 Citations (Scopus)

Quantitative analysis of weighted transition systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., Oct 2010, In : Journal of Logic and Algebraic Programming. 79, 7, p. 689-703

Research output: Contribution to journalJournal articleResearchpeer-review

31 Citations (Scopus)

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, p. 75-90 (Lecture Notes in Computer Science).

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

Open Access
4 Citations (Scopus)

Quantitative Modal Transition Systems

Larsen, K. G. & Legay, A., 2013, Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Publishing Company, Vol. 7841. p. 50-58 (Lecture Notes in Computer Science, Vol. 7841).

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

1 Citation (Scopus)

Quantitative Modeling and Analysis

Katoen, J-P. & Larsen, K. G., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Berlin: Springer, Vol. 7610. p. 290-292 (Lecture Notes in Computer Science, Vol. 7610).

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

Quantitative Models and Analysis for Reactive Systems

Thrane, C., 2013, Department of Computer Sciences. 170 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesis

Quantitative Refinement for Weighted Modal Transition Systems

Bauer, S. S., Fahrenberg, U., Juhl, L., Larsen, K. G., Legay, A. & Thrane, C., 1 Jan 2011, In : Lecture Notes in Computer Science. 6907 LNCS, p. 60-71 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

18 Citations (Scopus)