Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Book
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, Now Foundations and Trends. 293 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
Systems analysis
Requirements engineering
Large scale systems
Scheduling
2016

Fieldbook: Developing embedded systems & smart products in practice

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 Mar 2016, København V: Dansk industri. 83 p.

Research output: Book/ReportBookCommunication

Open Access
2015

Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmap

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 10 Oct 2015, København V: Dansk industri. 80 p.

Research output: Book/ReportBookCommunication

Open Access

Intermediate Joint Action Plan, D4.2

Adrians, G., De Colvenaer, M., Murillo, C., Nielsen, P. A., Nøhr, B., Skou, A. J., Urtiaga, C., Thiel, C. & Aaen, I., 30 Apr 2015

Research output: Book/ReportBookResearch

Open Access
2010
2 Citations (Scopus)

Transitions and Trees: An Introduction to Structural Operational Semantics

Hüttel, H., 2010, Cambridge University Press. 290 p.

Research output: Book/ReportBookEducationpeer-review

Programming Languages
Semantic Equivalence
Induction
Undergraduate
Procedural
2009

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

2008

Approches formelles des systèmes embarqués communicants

David, A., Behrmann, G., Larsen, K. G., Rasmussen, J. I., BÉRARD, B., GIRARD, A., HADDAD, S., CASSEZ, F., JARD, C., DANG, T., LE GERNIC, C., DONATELLI, S., LIME, D., ELLOY, J-P., MAGNIN, M., FREHSE, G., MARKEY, N., PETTERSSON, P., TRIPAKIS, S., Yi, W. & 1 others, H. ROUX, O., 2008, Hermés Science Publications. 268 p.

Research output: Book/ReportBookResearch

2007

Reactive Systems: Modelling, Specification and Verification

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2007, Cambridge: Cambridge University Press. 300 p.

Research output: Book/ReportBookEducation

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

Parallel Composition
Formal Languages
Composition Operator
Axiomatization
Open Problems

What is Theoretical Computer Science? (Preliminary Version)

Aceto, L. & Ingolfsdottir, A., 2005, Århus: BRICS. 13 p. (B R I C S Notes Series; No. NS-05-1).

Research output: Book/ReportBookCommunication

2004

Formal Modeling and Analysis of Timed Systems

Larsen, K. G. & Niebert, P., 2004, Springer. 281 p. (Lecture Notes in Computer Science; No. 2791).

Research output: Book/ReportBookResearch

Formal methods
Real time systems
Petri nets
Algebra

Special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W., 2004, Pergamon Press. 463 p. (Journal of Logic and Algebraic Programming; No. vols. 60-61).

Research output: Book/ReportBookResearch

2003
9 Citations (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, Uppsala University. (Reports; No. 2003-011).

Research output: Book/ReportBookResearch

Danfoss {EKC} Trial Project Deliverables

Larsen, K. G., Larsen, U., Nielsen, B., Skou, A. & Wasowski, A., 2003, December ed. Århus University: BRICS. 53 p. (BRICS RS; No. RS-03-48).

Research output: Book/ReportBookResearch

Online On-the-Fly Testing of Real-time Systems

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2003, September ed. Århus University: BRICS. 14 p. (BRICS RS; No. RS-03-49).

Research output: Book/ReportBookResearch

2002

A Formalization of Linkage Analysis

Ingolfsdottir, A., Christensen, A. I., Hansen, J. A., Johnsen, J., Knudsen, J. & Rasmussen, J. I., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-7).

Research output: Book/ReportBookResearch

A Note on an Expressiveness Hierarchy for Multi-exit Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-40).

Research output: Book/ReportBookResearch

11 Citations (Scopus)

A Performance Study of Distributed Timed Automata Reachability Analysis

Behrmann, G., 2002, Pergamon Press. (Electronical notes in theoretical computer science; No. 68).

Research output: Book/ReportBookResearch

Checking Consistency of Pedigree Information is NP-complete

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-42).

Research output: Book/ReportBookResearch

Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Brinksma, E. & Larsen, K. G., 2002, Berlin: IEEE Computer Society Press. 626 p. (Lecture Notes in Computer Science; No. 2404).

Research output: Book/ReportBookResearch

Deciding Framed Bisimilarity

Huttel, H., 2002, Århus: BRICS - Aarhus University. (BRICS Research Report; No. RS-02-25).

Research output: Book/ReportBookResearch

21 Citations (Scopus)

Exact Acceleration of Real-Time Model Checking

Hendriks, M. & Larsen, K. G., 2002, Pergamon Press. (Electronic notes in theoretical science; No. 65).

Research output: Book/ReportBookResearch

Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Ésik, Z. & Larsen, K. G., 2002, Århus: BRICS. (B R I C S Report Series; No. RS-02-21).

Research output: Book/ReportBookResearch

2001

CONCUR 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20 - 25, 2001

Larsen, K. G. & Nielsen, M. E. ., 2001, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 2154).

Research output: Book/ReportBookResearch

Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 2001

Research output: Book/ReportBookResearch

Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Aceto, L. & Laroussinie, F., 2001, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

16 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

2000

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

Structural Operational Semantics

Aceto, L., Fokkink, W. & Verhoef, C., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Tool Supported Validation of Timed and Hybrid Systems

Larsen, K. G., 2000

Research output: Book/ReportBookCommunication

Verification of Timed and Hybrid Systems

Larsen, K. G., 2000, Springer. 3 p.

Research output: Book/ReportBookResearch

1999

Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

Kristoffersen, K., Larsen, K. G., Pettersson, P. & Weise, C., 1999

Research output: Book/ReportBookResearch

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

Verification of State/Event Systems by Quotienting

Bodentien, N. O., Vestergaard, J., Friis, J., Kristoffersen, K. & Larsen, K. G., 1999, (B R I C S Report Series; No. RS-99-41).

Research output: Book/ReportBookResearch

1998

Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks

Jensen, M. V. & Nielsen, B., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5008).

Research output: Book/ReportBookResearch

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998

Ravn, A. P. & Rischel, H. E. ., 1998, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1486).

Research output: Book/ReportBookResearch

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

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

1997
3 Citations (Scopus)

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-26).

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. (Report; No. SEN-R9708).

Research output: Book/ReportBookCommunication

Model Checking via Reachability Testing for Timed Automata

Aceto, L., Burgueño, A. & Larsen, K. G., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-29).

Research output: Book/ReportBookResearch

1996

A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 38 p. (BRICS Report Series; No. RS-96-23).

Research output: Book/ReportBookResearch

An Equational Axiomatization for Multi-Exit Iteration

Aceto, L. & Fokkink, W. J., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 30 p. (BRICS Report Series; No. RS-96-22).

Research output: Book/ReportBookResearch

On a Question of A Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely based

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-96-36).

Research output: Book/ReportBookResearch

1995

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 39 p. (BRICS Report Series; No. RS-95-28).

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Aceto, L. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 27 p. (BRICS Report Series; No. RS-95-5).

Research output: Book/ReportBookResearch