Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Book chapter
2018
19 Citations (Scopus)

Contracts for System Design

Benveniste, A., Caillaud, B., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T. & Larsen, K. G., 2018, Electronic Design Automation. 2-3 ed. Now Publishers Inc., Vol. 12. p. 124-400 (Foundations and Trends® in Electronic Design Automation).

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

Open Access
Systems analysis
Heuristic methods
Health care
Telecommunication
Railroad cars
1 Citation (Scopus)

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

edition
Spain
evaluation
software
6 Citations (Scopus)

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

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

Timed Automata
Model Checking
Weighted Automata
Real-time
Finite State Automata
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

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

5 Citations (Scopus)

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

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

Model checking
Embedded systems
Information systems
Automation
Semantics

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

Fault tree analysis
10 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

Model checking
Petri nets
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

Dynamic loads
Internet of things
12 Citations (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

Branching
Markov chain
Metric
Linear Time
Pseudometric
9 Citations (Scopus)

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

Markov processes
Computability and decidability
Model checking
Computational complexity
Specifications
3 Citations (Scopus)

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

15 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

Adaptive cruise control
Controllers
2013

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

2 Citations (Scopus)

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

20 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

4 Citations (Scopus)

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

2012

Combining Epistemic Logic and Hennessy-Milner Logic

Knight, S., Mardare, R. I. & Panangaden, P., 2012, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (eds.). Springer Science+Business Media, Vol. 7230. p. 219-243 (Lecture Notes in Computer Science).

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

4 Citations (Scopus)

Formal Analysis of Privacy for Anonymous Location Based Services

Dahl, M., Delaune, S. & Steel, G., 2012, Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Mödersheim, S. & Palamidessi, C. (eds.). Springer Publishing Company, p. 98-112 (Lecture Notes in Computer Science, Vol. 6993).

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

4 Citations (Scopus)
332 Downloads (Pure)

New Results on Timed Specifications

Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

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

Open Access
File
1 Citation (Scopus)

Structured Linear Parameter Varying Control of Wind Turbines

Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & Scherer, C. W. (eds.). Springer Science+Business Media, p. 303-337 35 p.

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

Wind turbines
Controllers
Feedback
Failure analysis
Actuators
2011

Adopting quality assurance technology in customer-vendor relationships: A case study of how interorganizational relationships influence the process

Heeager, L. T. & Tjørnehøj, G., 2011, Information Systems Development: Asian Experiences. Song, W. W., Wan, C., Wojtkowski, W., Linger, H., Xu, S., Zhong, Y. & Wojtkowski, G. (eds.). Springer Science+Business Media, p. 535-546

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

8 Citations (Scopus)

APAC: A tool for Reasoning about Abstract Probabilistic Automata

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 1 Jan 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, p. 151-152 2 p.

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

Specifications

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

2009

Model-based Framework for Schedulability Analysis Using Uppaal 4.1

David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (eds.). 1 ed. CRC Press, p. 93-119 32 p. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

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

Models for Embedded Real-Time Systems

Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (eds.). Wiley, p. 1-38 38 p.

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

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

2008

CTL as an intermediate language

Jones, N. D. & Hansen, R. R., 2008, Verification, Model Checking, and Abstract Interpretation. Springer, p. 4- (Lecture Notes in Computer Science; No. 4905).

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

8 Citations (Scopus)

Modelling with Relational Calculus of Object and Component Systems - rCOS

Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Berlin/Heidelberg: Springer, p. 116-145 (Lecture Notes in Computer Science; No. 5153).

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

145 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

Real time systems
Model checking
Testing
Engineers
2007

Design Verifikation Patterns

Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (eds.). Berlin /Heidelberg: Springer, p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

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

Embedded software
Software engineering
Semantics
Formal specification
169 Citations (Scopus)
356 Downloads (Pure)

Modal I/O Automata for Interface and Product Line Theories

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

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

Open Access
File
2006

Formalization in Component Based Development

Holmegaard, J. P., Knudsen, J., Makowski, P. & Ravn, A. P., 2006, Mathematical Frameworks for Component Software. Liu, Z. & He, J. (eds.). World Scientific, p. 255-281 27 p. (Component-Based Software Development; No. 2).

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

Semantics
Concretes
Chemical analysis
2005

Report on the Icelandic Centre of Excellence in Theoretical Computer Science

Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (ed.). EATCS, Vol. 86. p. 262-263 2 p. (Bulletin of the EATCS).

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

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

2004

I takt med Tiden

Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (eds.).

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

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific

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

2003

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (ed.). p. 90-108 (Bulletin of the EATCS; No. 81).

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

2002

Handoff Initiation in Mobile IPv6

Andersen, T. W., Lindballe, A. & Nielsen, B., 2002, Wireless IP and building the mobile Internet. Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.) (ed.). Boston: Artech House, (Artech House Universal Personal Communications Series).

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

Reduction and Refinement Strategies for Probalistic Analysis

D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 2399).

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

2001

Conservative Extension in Structural Operational Semantics

Aceto, L., Fokkink, J. & Verhoef, C., 2001, Current Trends in Theoretical Computer Science : Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific, p. 504-524

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

1 Citation (Scopus)

Structural Operational Semantics

Aceto, L., Fokkink, J. & Verhoef, C., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.). Amsterdam: Pergamon Press

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

Symbolic Methods for Bisimulation Checking for Value-Passing Processes

Ingolfsdottir, A. & Lin, H., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.). Amsterdam: Pergamon Press

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

2000

Modallogik

Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

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

Montague-semantik

Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

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

1999

Real-Time Constraints Through the ProCoS Layers

Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 61-78 (Lecture Notes in Computer Science; No. 1710).

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