If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

2019

Types for progress in actor programs

Charalambides, M., Palmskog, K. & Agha, G. A., Jan 1 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, 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

Message passing
Liveness
Requirements
Message Passing
Type Systems
2018

A survey of statistical model checking

Agha, G. A. & Palmskog, K., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6.

Research output: Contribution to journalReview article

Model checking
Model Checking
Statistical Model
Stochastic systems
Stochastic Systems

Concurrent garbage collection in the actor model

Plyukhin, D. & Agha, G. A., Nov 5 2018, AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018. Bergenti, F., De Koster, J. & Franco, J. (eds.). Association for Computing Machinery, Inc, p. 44-53 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Data storage equipment

DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources

Elgamal, T., Sandur, A., Nguyen, P., Nahrstedt, K. & Agha, G. A., Sep 7 2018, Proceedings - 2018 IEEE International Conference on Cloud Computing, CLOUD 2018 - Part of the 2018 IEEE World Congress on Services. IEEE Computer Society, p. 1-8 8 p. 8457776. (IEEE International Conference on Cloud Computing, CLOUD; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Internet of things
Dynamic programming
Learning systems
Image processing
Processing

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

Khamespanah, E., Sirjani, M., Mechitov, K. & Agha, G. A., Oct 1 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 547-561 15 p.

Research output: Contribution to journalArticle

Model checking
Actuators
Sensors
Data acquisition
Scheduling

Optimizing cost of serverless computing through function fusion and placement

Elgamal, T., Sandur, A., Nahrstedt, K. & Agha, G. A., Dec 6 2018, Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018. Institute of Electrical and Electronics Engineers Inc., p. 300-312 13 p. 08567675. (Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fusion reactions
Costs
Data storage equipment
Image processing

Targeted test generation for actor systems

Li, S., Hariri, F. & Agha, G. A., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 109).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Flow graphs
Static analysis
Feedback

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Agha, G. A. & Palmskog, K., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, 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

Concurrency
Thread
Trace
Data storage equipment
Message passing
2017

Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure

Spencer, B. F., Park, J. W., Mechitov, K. A., Jo, H. & Agha, G. A., Jan 1 2017, In : Procedia Engineering. 171, p. 5-13 9 p.

Research output: Contribution to journalConference article

Smart sensors
Structural health monitoring
Zigbee
Monitoring
Damage detection
2016

Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Agha, G. A., Jan 1 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Concurrent Systems
Internet of Things
Open Problems
Reasoning
Semantics

Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation

Agha, G. A., Jan 1 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer-Verlag, p. XIII-XIV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Probabilistic Inference
Self-adaptation
Concurrent Systems
Runtime Verification
Monitoring

Introduction to the software technology track

Kazman, R. & Agha, G. A., Mar 7 2016, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 2016-March, 1 p., 7427849.

Research output: Contribution to journalEditorial

Message from the CCGrid 2016 Program Chairs

Agha, G. & Navaux, P. O. A., Jul 18 2016, In : Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016. p. xvi 7515659.

Research output: Contribution to journalEditorial

Parameterized, concurrent session types for asynchronous multi-actor interactions

Charalambides, M., Dinges, P. & Agha, G., Jan 1 2016, In : Science of Computer Programming. 115-116, p. 100-126 27 p.

Research output: Contribution to journalArticle

Network protocols
Parameterization
Computer programming languages

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Spencer, B. F., Jo, H., Mechitov, K. A., Li, J., Sim, S. H., Kim, R. E., Cho, S., Linderman, L. E., Moinzadeh, P., Giles, R. K. & Agha, G., Feb 1 2016, In : Journal of Civil Structural Health Monitoring. 6, 1, p. 17-41 25 p.

Research output: Contribution to journalArticle

Smart sensors
Monitoring
Structural health monitoring
Arsenals
Hardware

Schedulability analysis of distributed real-time sensor network applications using actor-based model checking

Khamespanah, E., Mechitov, K., Sirjani, M. & Agha, G., Jan 1 2016, Model Checking Software - 23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Proceedings. Bošnački, D. & Wijs, A. (eds.). Springer-Verlag, p. 165-181 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9641).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Schedulability Analysis
Model checking
Model Checking
Sensor networks
Sensor Networks

Victim Localization and Assessment System for Emergency Responders

Yoon, H., Shiftehfar, R., Cho, S., Spencer, B. F., Nelson, M. E. & Agha, G., Mar 1 2016, In : Journal of Computing in Civil Engineering. 30, 2, 04015011.

Research output: Contribution to journalArticle

Disasters
Wi-Fi
Smartphones
Earthquakes
Fires
2015

A novel technique for human traffic based radio map updating in Wi-Fi indoor positioning systems

Mo, Y., Zhang, Z., Lu, Y. & Agha, G. A., May 1 2015, In : KSII Transactions on Internet and Information Systems. 9, 5, p. 1881-1903 23 p.

Research output: Contribution to journalArticle

Wi-Fi
Telecommunication traffic
Rough set theory
Ray tracing
Statistics

Introduction to the software technology track

Kazman, R. & Agha, G. A., Mar 26 2015, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 2015-March, 1 p., 7070415.

Research output: Contribution to journalEditorial

Space division and dimensional reduction methods for indoor positioning system

Mo, Y., Zhang, Z., Meng, W. & Agha, G. A., Sep 9 2015, 2015 IEEE International Conference on Communications, ICC 2015. Institute of Electrical and Electronics Engineers Inc., p. 3263-3268 6 p. 7248827. (IEEE International Conference on Communications; vol. 2015-September).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Feature extraction
Wi-Fi
Mobile computing
Maximum likelihood estimation
Principal component analysis

Special issue on programming based on actors, agents and decentralized control

Ricci, A., Agha, G., Bordini, R. H. & Marron, A., Feb 1 2015, In : Science of Computer Programming. 98, P2, p. 117-119 3 p.

Research output: Contribution to journalArticle

Decentralized control
Computer systems programming
2014

Actors programming for the mobile cloud

Agha, G. A., Sep 16 2014, Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014. Muntean, T., Rolland, R. & Mugwaneza, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3-9 7 p. 6900192. (Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming
Encapsulation
Computer programming languages
Transparency
Scheduling
Sensor networks
Sensor Networks
Wireless Sensor Networks
Wireless sensor networks
Programming

International workshop on distributed mobile systems & services (DMSS 2014)

Agha, G. A., Martin, P., Mahmoud, Q. H. & Elgazzar, K., Sep 26 2014, In : Proceedings - International Symposium on Computers and Communications. Workshops, 6912642.

Research output: Contribution to journalEditorial

Mobile Systems
Distributed Systems

Introduction to the software technology track

Kazman, R. & Agha, G. A., Jan 1 2014, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 1 p., 6759179.

Research output: Contribution to journalEditorial

Preface

Agha, G. A., Igarashi, A., Kobayashi, N., Masuhara, H., Matsuoka, S., Shibayama, E. & Taura, K., Jan 1 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8665 LNCS, p. VII-VIII

Research output: Contribution to journalEditorial

Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System

Mo, Y., Zhang, Z., Lu, Y., Meng, W. & Agha, G., 2014, In : Mathematical Problems in Engineering. 2014, 850926.

Research output: Contribution to journalArticle

Random Forest
Clustering algorithms
Principal component analysis
Feature Extraction
Positioning

Solving complex path conditions through heuristic search on induced polytopes

Dinges, P. & Agha, G. A., Nov 16 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 425-436 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tabu search
Concretes
Testing

Targeted test input generation using symbolic-concrete backward execution

Dinges, P. & Agha, G. A., Jan 1 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 31-36 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Concretes
Testing
Detectors

Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications

Shiftehfar, R., Mechitov, K. & Agha, G. A., Dec 3 2014, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. IEEE Computer Society, p. 966-967 2 p. 6973850

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Access control
Control systems
Scalability
Elasticity
2013

Automated inference of atomic sets for safe concurrent execution

Dinges, P., Charalambides, M. & Agha, G. A., Jan 1 2013, Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013. Association for Computing Machinery, p. 1-8 8 p. (Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Ports and harbors
Specifications

Euclidean model checking: A scalable method for verifying quantitative properties in probabilistic systems

Agha, G., Oct 3 2013, Algebraic Informatics - 5th International Conference, CAI 2013, Proceedings. p. 1-3 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8080 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Model Checking
Explosions
Euclidean
Concurrent Systems

Introduction to the software technology track

Kazman, R. & Agha, G. A., Apr 3 2013, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 1 p., 6480415.

Research output: Contribution to journalEditorial

Model checking
Sensor networks
Wireless sensor networks
Trajectories
Network protocols

Preface to the special issue on Coordination Models and Languages (Coordination 2010)

Clarke, D. & Agha, G. A., Feb 1 2013, In : Science of Computer Programming. 78, 2, p. 145-146 2 p.

Research output: Contribution to journalEditorial

Realistic case studies of wireless structural control

Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. A. & Spencer, B. F., Sep 2 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wireless sensor networks
Simulators
Control systems
Disasters
Sensor networks

Realistic case studies of wireless structural control

Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. A. & Spencer, B. F., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. 6604012. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wireless sensor networks
Simulators
Control systems
Disasters
Sensor networks

AGERE! programming with actors, agents and decentralized control abstracts

Agha, G. A., Bordini, R. H., Marron, A. & Ricci, A., Nov 27 2012, SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity. p. 215-216 2 p. (SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decentralized control
Computer systems programming

An architecture for dynamic service-oriented computing in networked embedded systems

Mechitov, K. & Agha, G. A., 2012, Software Service and Application Engineering: Essays Dedicated to Bernd Krame on the Occasion of His 65th Birthday. Vol. 7365. p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7365).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Service-oriented Computing
Embedded systems
Embedded Systems
Resources
Orchestration

Building portable middleware services for heterogeneous cyber-physical systems

Mechitov, K. & Agha, G. A., Aug 1 2012, 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings. p. 31-36 6 p. 6225732. (2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Middleware
Computer operating systems
Software engineering
Heterogeneous networks
Service oriented architecture (SOA)

How well can congestion pricing neutralize denial of service attacks?

Vulimiri, A., Agha, G. A., Godfrey, P. B. & Lakshminarayanan, K., Aug 13 2012, SIGMETRICS/Performance 2012 - Proceedings of the 2012 ACM SIGMETRICS/Performance, Joint International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 137-150 14 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Costs
Denial-of-service attack

Introduction to the software technology track

Kazman, R. & Agha, G. A., Jan 1 2012, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 1 p., 6149532.

Research output: Contribution to journalEditorial

Scoped synchronization constraints for large scale actor systems

Dinges, P. & Agha, G., Jun 29 2012, Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings. p. 89-103 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7274 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Large scale systems
Synchronization
Deadlock
Semantics
Requirements

The microelectronic wireless nitrate sensor network for environmental water monitoring

Gartia, M. R., Braunschweig, B., Chang, T. W., Moinzadeh, P., Minsker, B. S., Agha, G., Wieckowski, A., Keefer, L. L. & Liu, G. L., Dec 1 2012, In : Journal of Environmental Monitoring. 14, 12, p. 3068-3075 8 p.

Research output: Contribution to journalArticle

Environmental Monitoring
Microelectronics
Nitrates
Sensor networks
nitrate

The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study

Moinzadeh, P., Mechitov, K., Shiftehfar, R., Abdelzaher, T., Agha, G. & Spencer, B. F., Nov 1 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 380-388 9 p. 6275801. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clocks
Energy conservation
Monitoring
Sensors
Synchronization

TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs

Tasharofi, S., Karmani, R. K., Lauterburg, S., Legay, A., Marinov, D. & Agha, G., Jun 29 2012, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Proceedings. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7273 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Order Reduction
Partial Order
Interleaving
Transitivity
Testing