- Minas Charalambides, Peter Dinges, Gul A. Agha:
Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. 115-116: 100-126 (2016) - Somayyeh Aghababaei, Eren Gultepe, Iuliia Chepurna, Masoud Makrehchi:
Activity-based sampling of Twitter users for temporal prediction models. BESC 2016: 1-6 - Rick Kazman, Gul A. Agha:
Introduction to the Software Technology Track. HICSS 2016: 5358 - Gul Agha:
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). SEFM 2016: 3-8 - Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha:
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN 2016: 165-181 - Gul Agha, Benny Van Houdt:
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Lecture Notes in Computer Science 9826, Springer 2016, ISBN 978-3-319-43424-7 [contents] - 2015
- Ali Zaghian, Adel Aghajan, T. Aaron Gulliver:
The Optimal Fix-Free Code for Anti-Uniform Sources. Entropy 17(3): 1379-1386 (2015) - Yun Mo, Zhongzhao Zhang, Yang Lu, Gul Agha:
A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems. KSII Trans. Internet Inf. Syst. 9(5): 1881-1903 (2015) - Adel Aghajan, Sayed Jalal Zahabi, Mohammadali Khosravifard, T. Aaron Gulliver:
On the source-channel separation theorem for infinite source alphabets. Probl. Inf. Transm. 51(2): 200-204 (2015) - Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron:
Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98: 117-119 (2015) - Rick Kazman, Gul Agha:
Introduction to the Software Technology Track. HICSS 2015: 5028 - Yun Mo, Zhongzhao Zhang, Weixiao Meng, Gul A. Agha:
Space division and dimensional reduction methods for indoor positioning system. ICC 2015: 3263-3268 - Usman Ali Gulzari, Sheraz Anjum, Shahrukh Agha:
Cross by Pass-Mesh Architecture for On-chip Communication. MCSoC 2015: 267-274 - 2014
- Reza Shiftehfar, Kirill Mechitov, Gul A. Agha:
Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications. IEEE CLOUD 2014: 966-967 - YoungMin Kwon, Kirill Mechitov, Gul A. Agha:
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. Concurrent Objects and Beyond 2014: 276-316 - Rick Kazman, Gul Agha:
Introduction to Software Technology Track. HICSS 2014: 4710 - Gul Agha:
Actors Programming for the Mobile Cloud. ISPDC 2014: 3-9 - Peter Dinges, Gul A. Agha:
Targeted test input generation using symbolic-concrete backward execution. ASE 2014: 31-36 - Peter Dinges, Gul A. Agha:
Solving complex path conditions through heuristic search on induced polytopes. SIGSOFT FSE 2014: 425-436 - Gul A. Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura:
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665, Springer 2014, ISBN 978-3-662-44470-2 [contents] - 2013
- Dave Clarke, Gul Agha:
Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78(2): 145-146 (2013) - YoungMin Kwon, Gul Agha:
Performance evaluation of sensor networks by statistical modeling and euclidean model checking. ACM Trans. Sens. Networks 9(4): 39:1-39:38 (2013) - Gul Agha:
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. CAI 2013: 1-3 - Rick Kazman, Gul Agha:
Introduction to Software Technology Track. HICSS 2013: 4749 - Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer:
Realistic case studies of wireless structural control. ICCPS 2013: 179-188 - Peter Dinges, Minas Charalambides, Gul Agha:
Automated inference of atomic sets for safe concurrent execution. PASTE 2013: 1-8 - 2012
- Kirill Mechitov, Gul Agha:
An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems. Software Service and Application Engineering 2012: 147-164 - Peter Dinges, Gul Agha:
Scoped Synchronization Constraints for Large Scale Actor Systems. COORDINATION 2012: 89-103 - Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234 - Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha:
AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216