AUT LibraryAUT
Browsing Faculty of Design and Creative Technologies (Te Ara Auaha) by Author 
  •   Open Research
  • Faculties
  • Faculty of Design and Creative Technologies (Te Ara Auaha)
  • Browsing Faculty of Design and Creative Technologies (Te Ara Auaha) by Author
  •   Open Research
  • Faculties
  • Faculty of Design and Creative Technologies (Te Ara Auaha)
  • Browsing Faculty of Design and Creative Technologies (Te Ara Auaha) by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browsing Faculty of Design and Creative Technologies (Te Ara Auaha) by Author "Calinescu, R"

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Sort by:

Order:

Results:

Now showing items 1-2 of 2

  • title
  • published date
  • author
  • issue date
  • submit date
  • ascending
  • descending
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • A scalable approach for re-configuring evolving industrial control systems 

      Sinha, R; Johnson, K; Calinescu, R (IEEE, 2014)
      We present a scalable approach to automatically re-configure evolving IEC 61499 systems for deployment onto an available set of resources. We capture system architecture and high-level configuration requirements formally, ...
    • A multi-agent framework for dependable adaptation of evolving system architectures 

      Johnson, K; Sinha, R; Calinescu, R; Ruan, J (IEEE, 2015)
      We present a multi-agent framework for the formal verification of component-based systems after changes such as addition, removal and modification of components. The core of our approach is an Agent Verification Engine ...

      Contact Us
      • Admin

      Hosted by Tuwhera, an initiative of the Auckland University of Technology Library

       

       

      Browse

      Open ResearchTitlesAuthorsDateFaculty of Design and Creative Technologies (Te Ara Auaha)TitlesAuthorsDate

      Statistics

      For this communityFor all Open Research

      Contact Us
      • Admin

      Hosted by Tuwhera, an initiative of the Auckland University of Technology Library