If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2019

    Types for progress in actor programs

    Charalambides, M., Palmskog, K. & Agha, G., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 315-339 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11665 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2018

    Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance

    Agha, G., Charalambides, M., Mechitov, K., Palmskog, K., Sandur, A. & Shiftehfar, R., Dec 20 2018, Assured Cloud Computing. Campbell, R. H., Kamhoua, C. A. & Kwiat, K. A. (eds.). Wiley-IEEE Press, p. 237-276

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

    Agha, G. & Palmskog, K., 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 16-37 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    Characterizing configuration spaces of simple threshold cellular automata

    Tosic, P. T. & Agha, G. A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Hoekstra, A. G. & Chopard, B. (eds.). Springer, p. 861-870 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3305).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Learning to verify safety properties

    Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Linear inequality LTL (iLTL): A model checker for discrete time Markov chains

    Kwon, Y. M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Online efficient predictive safety analysis of multithreaded programs

    Sen, K., Roşu, G. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Techniques for executing and reasoning about specification diagrams

    Thati, P., Talcott, C. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 521-536 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Worldwide computing middleware

    Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2003

    A rewriting based model for probabilistic distributed object systems

    Kumar, N., Sen, K., Meseguer, J. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Najm, E., Nestmann, U. & Stevens, P. (eds.). Springer, p. 32-46 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2884).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • SynchNet: A Petri net based coordination language for distributed objects

    Ziaei, R. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pfenning, F. & Smaragdakis, Y. (eds.). Springer, p. 324-343 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2830).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2002

    A theory of may testing for asynchronous calculi with locality and no name matching

    Thati, P., Ziaei, R. & Agha, G., Jan 1 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kirchner, H. & Ringeissen, C. (eds.). Springer, p. 223-239 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2422).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1993

    Formal methods for actor systems: A progress report

    Agha, G. A., Dec 1 1993, IFIP Transactions C: Communication Systems. Diaz, M. & Groz, R. (eds.). C-10 ed. Publ by Elsevier Science Publishers B.V., p. 217-228 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1992

    Distributed execution of actor programs

    Agha, G. A., Houck, C. & Panwar, R., 1992, Languages and Compilers for Parallel Computing: LCPC 1991. U, B., D, G., A, N. & D, P. (eds.). Berlin: Springer, (Lecture Notes in Computer Science; vol. 589).

    Research output: Chapter in Book/Report/Conference proceedingChapter