Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Synchronous interface theories and time triggered scheduling

Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (eds.). Springer Publishing Company, p. 203-218 16 p. (Lecture Notes in Computer Science, Vol. 7273).

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

2 Citations (Scopus)

Synthesis of Optimal Strategies Using HyTech

Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, p. 11-31 (Electronic Notes of Theoretical Computer Science; No. 1, Vol. 119).

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

10 Citations (Scopus)

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

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

Open Access
File

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 Mar 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 p. 3185468

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

12 Citations (Scopus)

Taking It to the Limit: Approximate Reasoning for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (eds.). Springer, p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

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

17 Citations (Scopus)

Taking on internet bad neighborhoods

Moura, G. C. M., Sadre, R. & Pras, A., 2014, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society Press, p. 1-7 6838284. (I E E E - I F I P Network Operations and Management Symposium).

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

2 Citations (Scopus)

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5799, p. 84-89 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

14 Citations (Scopus)

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (eds.). Netherlands: Springer, p. 492-497 6 p. (Lecture Notes in Computer Science, Vol. 7214).

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

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

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

12 Citations (Scopus)

TCTL-Preserving Translations from Timed-Arc Petri Nets to Networks of Timed Automata

Byg, J., Jacobsen, M., Jacobsen, L., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2014, In : Theoretical Computer Science. 537, 5, p. 3-28 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

Teaching Concurrency: Theory in Practice

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5846, p. 158-175 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).

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

Test af Software: Test af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B. (ed.) & Biegel, J. (ed.), 2009, Aalborg: CISS, Aalborg Universitet. 85 p.

Research output: Book/ReportBook

Test Generation for Time Critical Systems: Tool and Case Study

Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. p. 155-162

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

9 Citations (Scopus)

Testing and Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (ed.). NTH, p. 235-250

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

Testing Hennesy-Milner Logic with Recursion

Aceto, L. & Ingolfsdottir, A., 1999, Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Thomas, W. (ed.) (ed.). 1578 ed. IEEE Computer Society Press, p. 41-55

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

Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, p. 299-306 8 p.

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

107 Citations (Scopus)

Testing real-time systems under uncertainty

David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Vol. 6957. p. 352-371 20 p. (Lecture Notes in Computer Science, Vol. 6957).

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

8 Citations (Scopus)

Testing Real-Time Systems Using UPPAAL

Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

147 Citations (Scopus)

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

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

Nielsen, B. & Weise, C., Nov 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

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

TetaSARTS: A tool for modular timing analysis of safety critical Java systems

Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 ed. Association for Computing Machinery, p. 11-20 10 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

6 Citations (Scopus)

THAPS: Automated Vulnerability Scanning of PHP Applications

Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Vol. 7617. p. 31-46 (Lecture Notes in Computer Science, Vol. 7617).

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

6 Citations (Scopus)

The Algorithmics of Bisimilarity

Aceto, L., Ingolfsdottir, A. & Srba, J., 2011, Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Vol. 52. p. 100-172 73 p. (Cambridge Tracts in Theoretical Computer Science; No. 52).

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

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (eds.). Microsoft Research, p. 15-26

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

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Springer Publishing Company, Vol. 8054. p. 278-281 4 p. (Lecture Notes in Computer Science, Vol. 8054).

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

4 Citations (Scopus)

The Complexity of Checking Consistency of Pedigree Information and Related Problems

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03). University Center Bertinoro, Italy, 13-15 October 2003: Lecture Notes in Computer Science. Carlo Blundo and Cosimo Laneve (eds.) (ed.). 2841 ed. Springer, p. 174-187

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

1 Citation (Scopus)

The Complexity of Checking Consistency of Pedigree Information and Related Problems

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2004, In : Journal of Computer Science and Technology. 19, 1, p. 42-59

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

The Design and Implementation of ZCRP Zero Copying Reliable Protocol

Christiansen, M., Hagen, J. L., Nielsen, B., Skou, A. & Skov, K. Q., 1998, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R98-5011).

Research output: Book/ReportBook

The Distributed-SDF Domain

Cuadrado, D. L., Ravn, A. P. & Koch, P., 2005, The Sixth Biennial Ptolemy Miniconference Proceedings. EECS Department, University of California

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

The ENCOURAGE ICT architecture for heterogeneous smart grids

Albano, M., Ferreira, L., Le Guilly, T., Ramiro, M., Faria, E., Duneas, L., Ferreira, R., Gaylard, E., Cubas, D. J., Roarke, E., Lux, D., Scalari, S., Sørensen, S. M., Gangolells, M., Pinho, L. M. & Skou, A., 2013, EUROCON 2013, IEEE. IEEE Computer Society Press, p. 1383-1390 8 p.

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

10 Citations (Scopus)

The geometry of timed PV programs

Fahrenberg, U., 2003, Proceedings of the Fourth Workshop on Geometric and Topological Methods in Concurrency: Electronic Notes in Computer Science. Vol. 81 ed. Pergamon Press, p. 14

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

2 Citations (Scopus)

The grand CRU challenge

Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 Aug 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, p. 7-11 5 p.

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

The HomePort System

Brønsted, J., Madsen, P. P., Skou, A. & Torbensen, R. S., 2010, 2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 5 p.

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

Open Access
File
6 Citations (Scopus)
1026 Downloads (Pure)

The Impressive Power of Stopwatches

Cassez, F. & Larsen, K. G., 2000, CONCUR 2000 - Concurrency Theory : 11th International Conference University Park, PA, USA, August 22-25, 2000 : Proceedings: Lecture Notes in Computer Science. Palamidessi, C. (ed.) (ed.). 1877 ed. IEEE Computer Society Press, p. 138-152

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

113 Citations (Scopus)

The many faces of graph dynamics

Pignolet, Y. A., Roy, M., Schmid, S. & Tredan, G., 5 Jun 2017, In : Journal of Statistical Mechanics: Theory and Experiment. 2017, 6, 18 p., 063401.

Research output: Contribution to journalJournal articleResearchpeer-review

The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis

Aceto, L., Ésik, Z. & Ingolfsdottir, A., 1999, (B R I C S Report Series; No. RS-99-33).

Research output: Book/ReportBook

The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2003, In : Theoretical Computer Science. 293, 1, p. 169-188

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

The Measurable Space of Stochastic Processes

Cardelli, L. & Mardare, R. I., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the. IEEE Press, p. 171-180 10 p.

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

19 Citations (Scopus)

The next-generation ARC middleware

Appleton, O., Cameron, D., Cernak, J., Dóbé, P., Ellert, M., Frågåt, T., Grønager, M., Johansson, D., Jönemo, J., Kleist, J., Kocan, M., Konstantinov, A., Kónya, B., Márton, I., Mohn, B., Möller, S., Müller, H., Nagy, Z., Nielsen, J. K., Saada, F. O. & 14 others, Pajchel, K., Qiang, W., Read, A., Rosendahl, P., Roczei, G., Savko, M., Andersen, M. S., Smirnova, O., Stefán, P., Szalai, F., Taga, A., Toor, S. Z., Wäänänen, A. & Zhou, X., 2010, In : Annales des Telecommunications. 65, 11-12, p. 771-776 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)

The Optimized Link State Routing Protocol: Evaluation through Experiments and Simulation

Clausen, T. H., Hansen, G., Christensen, L. & Behrmann, G., 2001, IEEE Symposium on Wireless Personal Mobile Communications.

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

768 Citations (Scopus)

The power of reachability testing for timed automata

Aceto, L., Bouyer, P., Burgueno, A. & Larsen, K. G., 2003, In : Theoretical Computer Science. 300, 1-3, p. 411-475

Research output: Contribution to journalJournal articleResearchpeer-review

50 Citations (Scopus)

The Power of Reachability Testing for Timed Automata

Aceto, L., Bouyer, P., Burgueno, A. & Larsen, K. G., 1998, Foundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998: Lecture Notes in Computer Science. Arvind, V. : Ramanujam, R. (eds.) (ed.). 1530 ed. IEEE Computer Society Press, p. 245-256

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

25 Citations (Scopus)

The Quantitative Linear-Time–Branching-Time Spectrum

Thrane, C., Fahrenberg, U. & Legay, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Chakraborty, S. & Kumar, A. (eds.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 13. p. 103--114 19 p. (Leibniz International Proceedings in Informatics, Vol. 13).

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

19 Citations (Scopus)

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, L. & Fokkink, W., 2005, Århus. 6 p. (B R I C S Notes Series; No. NS-05-3).

Research output: Book/ReportBook

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

Jones, N. D. & Hansen, R. R., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. Shao, Z. (ed.). Springer, p. 303-318 (Lecture Notes in Computer Science; No. 4807).

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

2 Citations (Scopus)

The show must go on: Fundamental data plane connectivity services for dependable SDNs

Borokhovich, M., Rault, C., Schiff, L. & Schmid, S., 1 Jan 2018, In : Computer Communications. 116, p. 172-183 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

The Timed Decentralised Label Model

Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (eds.). Springer, p. 27-43 (Lecture Notes in Computer Science; No. 9417).

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

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

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 Jan 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (eds.). Physica-Verlag, p. 163-180 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 363 LNCS).

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

45 Citations (Scopus)

The vAMP Attack: Taking control of cloud systems via the unified packet parser

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 Nov 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, p. 11-15 5 p.

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

4 Citations (Scopus)