Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

Timed-Arc Petri Nets vs. Networks of Timed Automata

Srba, J., 2005.

Research output: Contribution to conference without publisher/journalPosterResearch

26 Citations (Scopus)

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Jørgensen, K. Y., Larsen, K. G. & Srba, J., 2012, In : Electronic Proceedings in Theoretical Computer Science. 102, p. 141-155 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Timed Automata Can Always Be Made Implementable

Bouyer, P., Larsen, K. G., Markey, N., Sankur, O. & Thrane, C., 1 Jan 2011, In : Lecture Notes in Computer Science. 6901 LNCS, p. 76-91 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

15 Citations (Scopus)

Timed automata with observers under energy constraints

Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

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

33 Citations (Scopus)

Timed Comparisons of Semi-Markov Processes

Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 13 p. (Lecture Notes in Computer Science; No. 10792).

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

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

Timed Control with Observation Based and Stuttering Invariant Strategies

David, A., Larsen, K. G., Cassez, F., Lime, D. & Raskin, J-F., 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Springer, p. 192-206 (Lecture Notes in Computer Science; No. 4762).

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

27 Citations (Scopus)

Timed I/O automata: a complete specification theory for real-time systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

Open Access
File
122 Citations (Scopus)
278 Downloads (Pure)

Timed Testing under Partial Observability

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, p. 61-70 10 p.

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

Open Access
File
18 Citations (Scopus)
378 Downloads (Pure)

Time for Statistical Model Checking of Real-Time Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M. & Wang, Z., 1 Jan 2011, In : Lecture Notes in Computer Science. 6806 LNCS, p. 349-355 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

87 Citations (Scopus)

Time Optimal Reachability Analysis Using Swarm Verification

Zhang, Z., Nielsen, B. & Larsen, K. G., 3 Apr 2016, Proceedings of the 31st Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, Vol. SAC '16. p. 1634-1640 7 p.

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

3 Citations (Scopus)

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 Oct 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, p. 146-152 7 p. 8511477

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

Time-Optimal Test Cases for Real-Time Systems

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Vol. 2791. p. 234-245

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

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

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

1 Citation (Scopus)

Timing and Causality in Process Algebra

Aceto, L. & Murphy, D., 1996, In : Acta Informatica. 33, p. 317-350

Research output: Contribution to journalJournal articleResearchpeer-review

72 Citations (Scopus)

To Do and Not To Do: Constrained Scenarios for Safe Smart House

Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., Jul 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, p. 17-24 8 p.

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

8 Citations (Scopus)

Toolchain for User-Centered Intelligent Floor Heating Control

Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5296-5301 6 p.

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

3 Citations (Scopus)

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, E. E. ., Cleaveland, W. R. E. ., Larsen, K. G., Margari, T. E. ., Skou, A. E. . & Steffen, B. E. ., 1995, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1019).

Research output: Book/ReportBookResearch

Tools for Model-Checking Timed Systems

David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L. M., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 165-225 61 p.

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

4 Citations (Scopus)

Tools for Model-Checking Timed Systems

David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L-M., Oct 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (eds.). Wiley, p. 165-225

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

Tools for Verification and Validation

Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

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

Tool Supported Analysis of Web Services Protocols

Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, p. 50-64 15 p.

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

Tool Supported Validation of Timed and Hybrid Systems

Larsen, K. G., 2000

Research output: Book/ReportBookCommunication

Topological Self-Stabilization with Name-Passing Process Calculi

Rickmann, C., Wagner, C., Nestmann, U. & Schmid, S., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 15 p. (Leibniz International Proceedings in Informatics, Vol. 59).

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

Open Access
1 Citation (Scopus)

To Store or Not to Store

Behrmann, G., Larsen, K. G. & Pelánek, R., 2003, Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725 ed. p. 433-445

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

Toward a taxonomy and attacker model for secure routing protocols

Hollick, M., Nita-Rotaru, C., Papadimitratos, P., Perrig, A. & Schmid, S., 1 Jan 2017, In : Computer Communication Review. 47, 1, p. 43-48 6 p.

Research output: Contribution to journalJournal articleResearch

9 Citations (Scopus)

Towards a Method for Combined Model-based Testing and Analysis

Nielsen, B., 9 Jan 2014. 10 p.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

File
9 Citations (Scopus)
481 Downloads (Pure)

Towards a Smart City: Recommendations on smart specialization within embedded systems for smart cities

Thiel, C., Murillo, C., De Colvenaer, M., Skou, A. J., Nielsen, P. A. & Nielsen, A. B., 31 Aug 2016, 24 p.

Research output: Book/ReportReportResearch

Open Access

Towards harnessing theories through tool support for hard real-time Java programming

Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, In : Innovations in Systems and Software Engineering. 9, 1, p. 17-28 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

Towards Reliable Integrated Services for Dependable Systems

Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003.

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

Open Access
File
112 Downloads (Pure)

Towards Re-Usable Real-Time Objects

Nielsen, B. & Agha, G., 1999, In : Annals of Software Engineering. 7, p. 257-282

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)

Towards sustainability: An interoperability outline for a Regional ARC based infrastructure in the WLCG and EGEE infrastructures

Kleist, J., Fields, L., Grønager, M. & Johansson, D., 2010, In : Journal of Physics - Conference Series. 219, 6, 7 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Towards transiently secure updates in asynchronous SDNs

Shukla, A., Schütze, A., Ludwig, A., Dudycz, S., Schmid, S. & Feldmann, A., 22 Aug 2016, SIGCOMM '16 Proceedings of the 2016 ACM SIGCOMM Conference. Association for Computing Machinery, p. 597-598 2 p. 2959083

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

2 Citations (Scopus)

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages

Ingolfsdottir, A. & Pugliese, R., 2000, In : Electronical notes in theoretical computer science. 27

Research output: Contribution to journalJournal articleResearchpeer-review

Transforming graphical system models to graphical attack models

Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., 2016, Graphical Models for Security: GraMSec 2015. Springer, p. 82-96 15 p. (Lecture Notes in Computer Science, Vol. 9390).

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

18 Citations (Scopus)

Transiently Consistent SDN Updates: Being Greedy is Hard

Amiri, S., Ludwig, A., Marcinkowski, J. & Schmid, S., 2016, Structural Information and Communication Complexity: International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, p. 391-406 (Lecture Notes in Computer Science, Vol. 9988).

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

11 Citations (Scopus)

Transiently Secure Network Updates

Ludwig, A., Dudycz, S., Rost, M. & Schmid, S., 2016, Proceedings of the 2016 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Science. Association for Computing Machinery, p. 273-284

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

35 Citations (Scopus)
3 Citations (Scopus)

T-UPPAAL: Online Model-based Testing of Real-Time Systems.

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2004, 19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. Grunbacher, P. (ed.). IEEE Computer Society Press, p. 396-397 3 p.

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

54 Citations (Scopus)

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols

Dahl, M., Kobayashi, N., Sun, Y. & Hüttel, H., 2011, In : Lecture Notes in Computer Science. 6996, p. 75-89 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Typed ψ-calculi

Hüttel, H., 2011, In : Lecture Notes in Computer Science. 6901, p. 265-279 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

10 Citations (Scopus)

Type inference for a correspondence certifying type system

Hüttel, H. & Dahl, M., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Alfapress, p. 22-24 3 p.

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

Type inference for correspondence types

Hüttel, H., Gordon, A. & Hansen, R. R., 2009, Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier, p. 21-36 15 p. (Electronic Notes in Theoretical Computer Science; No. 242, Vol. 3).

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

1 Citation (Scopus)

Types for Access Control in a Calculus of Mobile Resources

Hüttel, H. & Kühnrich, M., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of SecCo'05. 13 p.

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

Types for resources in psi-calculi

Hüttel, H., 2013, TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Abadi, M. & Lluch Lafuente, A. (eds.). Springer Publishing Company, Vol. 8358. p. 83-102

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

Types for resources in φ-calculi

Hüttel, H., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8358 LNCS. p. 83-102 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8358 LNCS).

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

4 Citations (Scopus)

Unblockable Compositions of Software Components

Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N. & Zhu, J., 2012, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: Association for Computing Machinery, p. 103-108 6 p. (Software Engineering Notes).

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

4 Citations (Scopus)

Undecidability of Bisimilarity by Defender's Forcing

Jancar, P. & Srba, J., 2008, In : Journal of the ACM. 55, 1

Research output: Contribution to journalJournal articleResearchpeer-review

20 Citations (Scopus)

Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts

Jacobsen, M., Jacobsen, L. & Møller, M. H., Dec 2009, In : OpenAccess Series in Informatics. 12, 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
199 Downloads (Pure)

Undecidability Results for Bisimilarity on Prefix Rewrite Systems

Jancar, P. & Srba, J., 2006, Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. IEEE Computer Society Press, p. 277-291 15 p. (Lecture Notes in Computer Science; No. 3921).

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

1 Citation (Scopus)