Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Bog
2018

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 s.

Publikation: Bog/antologi/afhandling/rapportBog

Åben adgang
23 Citationer (Scopus)
2016

Fieldbook: Developing embedded systems & smart products in practice

Bidragets oversatte titel: Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmapJensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 mar. 2016, København V: Dansk industri. 83 s.

Publikation: Bog/antologi/afhandling/rapportBog

Åben adgang
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 okt. 2015, København V: Dansk industri. 80 s.

Publikation: Bog/antologi/afhandling/rapportBog

Åben adgang

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
2010
3 Citationer (Scopus)
2009

Test af Software: Test af indlejret og teknisk software

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

Publikation: Bog/antologi/afhandling/rapportBog

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 flere, H. ROUX, O., 2008, Hermés Science Publications. 268 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

2007

Reactive Systems: Modelling, Specification and Verification

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

Publikation: Bog/antologi/afhandling/rapportBogUndervisning

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

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

Publikation: Bog/antologi/afhandling/rapportBog

What is Theoretical Computer Science? (Preliminary Version)

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

Publikation: Bog/antologi/afhandling/rapportBog

2004

Formal Modeling and Analysis of Timed Systems

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBog

2003

A Tool Architecture for the Next Generation of Uppaal

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

9 Citationer (Scopus)

Danfoss {EKC} Trial Project Deliverables

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Proceedings of First International Workshop on Formal Modeling and Analysis of Timed, Marseille, September 2003

Larsen, K. G. . . & Niebert, P. . ., 2003

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-02-7).

Publikation: Bog/antologi/afhandling/rapportBog

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; Nr. RS-02-40).

Publikation: Bog/antologi/afhandling/rapportBog

A Performance Study of Distributed Timed Automata Reachability Analysis

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

Publikation: Bog/antologi/afhandling/rapportBog

11 Citationer (Scopus)

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; Nr. RS-02-42).

Publikation: Bog/antologi/afhandling/rapportBog

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 s. (Lecture Notes in Computer Science; Nr. 2404).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Deciding Framed Bisimilarity

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

Publikation: Bog/antologi/afhandling/rapportBog

Exact Acceleration of Real-Time Model Checking

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

22 Citationer (Scopus)

Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems (MTCS '02)

Vogler, W. . . & Larsen, K. G., 2002

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. 2154).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBog

Probabilistic Process Algebra

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

16 Citationer (Scopus)
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; Nr. 2000: NS-00-2).

Publikation: Bog/antologi/afhandling/rapportBog

Structural Operational Semantics

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

Publikation: Bog/antologi/afhandling/rapportBog

Tool Supported Validation of Timed and Hybrid Systems

Larsen, K. G., 2000

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Verification of Timed and Hybrid Systems

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

1999

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-99-33).

Publikation: Bog/antologi/afhandling/rapportBog

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; Nr. RS-99-41).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R98-5008).

Publikation: Bog/antologi/afhandling/rapportBog

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; Nr. 1486).

Publikation: Bog/antologi/afhandling/rapportBog

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; Nr. NS-98-5).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R98-5011).

Publikation: Bog/antologi/afhandling/rapportBog

1997

A Characterization of Finitary Bisimulation

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

3 Citationer (Scopus)

A Complete Equational Axiomatization for MPA with String Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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; Nr. RS-97-29).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-96-23).

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Equational Axiomatization for Multi-Exit Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-96-36).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-95-28).

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

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

Publikation: Bog/antologi/afhandling/rapportBogForskning