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

Research Output 1985 2019

Filter
Conference contribution
2018

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

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

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
2015

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

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

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
2012

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

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 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
2011

AGERE! (Actors and aGEnts REloaded): Splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control

Agha, G. A., Bordini, R. H. & Ricci, A., Dec 1 2011, SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11. p. 143-145 3 p. (SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11).

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

Computer systems programming
Decentralized control
Object oriented programming

AGERE! (Actors and aGEnts REloaded)- SPLASH 2011Workshop on programming systems, languages and applications based on actors, agents, and decentralized control

Agha, G. A., Bordini, R. H. & Ricci, A., Nov 22 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 325-326 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

Computer systems programming
Decentralized control
Object oriented programming

Inferring ownership transfer for efficient message passing

Negara, S., Karmani, R. K. & Agha, G., Mar 24 2011, PPoPP'11 - Proceedings of the 2011 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 81-90 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Message passing
Semantics
Static analysis
Copying
Data storage equipment

Model checking MDPs with a unique compact invariant set of distributions

Chadha, R., Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y., Nov 2 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. p. 121-130 10 p. 6042036. (Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011).

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

Model checking
Probability distributions
Semantics
Computability and decidability
Finite automata

On the energy complexity of parallel algorithms

Korthikanti, V. A., Agha, G. A. & Greenstreet, M., Nov 7 2011, Proceedings - 2011 International Conference on Parallel Processing, ICPP 2011. p. 562-570 9 p. 6047224. (Proceedings of the International Conference on Parallel Processing).

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

Parallel algorithms
Parallel Algorithms
Energy
Minimal Energy
Complexity Classes
2010

Autonomous smart sensor network for full-scale structural health monitoring

Rice, J. A., Mechitov, K. A., Spencer, B. F. & Agha, G. A., Jun 18 2010, Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2010. 764726. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7647).

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

Smart Sensors
Smart sensors
structural health monitoring
Structural health monitoring
Health Monitoring

Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge

Jang, S., Jo, H., Mechitov, K., Sim, S. H., Spencer, B. F., Agha, G. A., Cho, S., Jung, H. J., Yun, C. B. & Rice, J. A., Dec 1 2010, Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management. p. 185-192 8 p. (Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management).

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

Smart sensors
Cable stayed bridges
Structural health monitoring
Sensor networks
Computer hardware

Avoiding energy wastage in parallel applications

Korthikanti, V. A. & Agha, G., Nov 24 2010, 2010 International Conference on Green Computing, Green Comp 2010. p. 149-163 15 p. 5598314. (2010 International Conference on Green Computing, Green Comp 2010).

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

Parallel algorithms
Energy utilization
Parallel architectures
Electric power utilization
Costs

Basset: A tool for systematic testing of actor programs

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G. A., Dec 1 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 363-364 2 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

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

Message passing
Testing
Computer programming
Computer programming languages
Data storage equipment

Coordination Models and Languages: 12th International Conference, COORDINATION 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings

Clarke, D. & Agha, G. A., 2010, Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. Springer Verlag, Vol. 6116. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6116).

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

Model
Language

Evaluating ordering heuristics for dynamic partial-order reduction techniques

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G. A., Apr 29 2010, Fundamental Approaches to Software Engineering - 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proceedings. p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6013 LNCS).

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

Order Reduction
Partial Order
Heuristics
Schedule
Pruning

Mutation operators for actor systems

Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G. A., Jun 25 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 157-162 6 p. 5463644. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

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

Testing

Reasoning about MDPs as transformers of probability distributions

Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y. M., Dec 2 2010, Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010. p. 199-208 10 p. 5600385. (Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010).

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

Probability distributions
Model checking
Random variables
Semantics

Towards optimizing energy costs of algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G., Jul 30 2010, SPAA'10 - Proceedings of the 22nd Annual Symposium on Parallelism in Algorithms and Architectures. p. 157-165 9 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

Memory architecture
Shared Memory
Parallel algorithms
Parallel Algorithms
Energy Consumption
2009

Actor frameworks for the JVM platform: A comparative analysis

Karmani, R. K., Shali, A. & Agha, G. A., Nov 23 2009, Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009. p. 11-20 10 p. 1596658. (Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009).

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

Semantics
Synchronization
Communication
Message passing
Costs

A framework for state-space exploration of java-based actor programs

Lauterburg, S., Dotta, M., Marinov, D. & Agha, G. A., Dec 1 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 468-479 12 p. 5431748. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

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

Testing
Computer programming languages
Scalability
Processing
Experiments

A multi-agent simulator for resource management in smart spaces

Moussa, S. & Agha, G. A., Dec 1 2009, 2009 Joint Conferences on Pervasive Computing, JCPC 2009. p. 765-770 6 p. 5420081. (2009 Joint Conferences on Pervasive Computing, JCPC 2009).

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

Mobile agents
Simulators
Data privacy
Ubiquitous computing
Sensor networks

An agent-based framework for inhabitants' untraceability in ubiquitous environments

Moussa, S., Hashem, M. & Agha, G. A., Dec 1 2009, MoMM2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia. p. 386-390 5 p. (MoMM2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia).

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

Ubiquitous computing
Simulators
Experiments

Analysis of parallel algorithms for energy conservation in scalable multicore architectures

Korthikanti, V. A. & Agha, G. A., Dec 1 2009, ICPP-2009 - The 38th International Conference on Parallel Processing. p. 212-219 8 p. 5362310. (Proceedings of the International Conference on Parallel Processing).

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

Energy Conservation
Parallel algorithms
Parallel Algorithms
Energy conservation
Scalability

Integrating encrypted mobile agents with smart homes

Moussa, S. M., Abdelaziz, M. H. & Agha, G. A., Dec 1 2009, 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. 5384845. (3rd International Conference on New Technologies, Mobility and Security, NTMS 2009).

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

Mobile agents
Cryptography
2008

A robust audit mechanism to prevent malicious behaviors in multi-robot systems

Ham, M. J. & Agha, G. A., Dec 30 2008, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008. p. 35-44 10 p. 4663408. (Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008).

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

Robots
Peer to peer networks
Monitoring

A study of coordinated dynamic market-based task assignment in massively multi-agent systems

Ham, M. & Agha, G. A., Oct 27 2008, Massively Multi-Agent Technology - AAMAS Workshops - MMAS 2006, LSMAS 2006, and CCMMS 2007, Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers. p. 43-63 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5043 LNAI).

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

Task Assignment
Multi agent systems
Multi-agent Systems
Simulation
Bidding

Introduction to the software technology track

Kazman, R. & Agha, G. A., 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences 2008, HICSS. 4439164

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

LTLC: Linear temporal logic for control

Kwon, Y. M. & Agha, G. A., Dec 1 2008, Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, Proceedings. p. 316-329 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4981 LNCS).

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

Linear Temporal Logic
Temporal logic
Model checking
Model Checking
Linear systems

Passive localization: Large size sensor network localization based on environmental events

Kwon, Y. M. & Agha, G. A., Sep 12 2008, Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008. p. 3-14 12 p. 4505458. (Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008).

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

Sensor networks
Synchronization
Distance measurement
Clocks
Acoustic waves
2007

A Markov reward model for software reliability

Kwon, Y. M. & Agha, G. A., Sep 24 2007, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 4228253. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

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

Software Reliability
Software reliability
Reward
Estimate
Module

A race-detection and flipping algorithm for automated testing of multi-threaded programs

Sen, K. & Agha, G. A., Dec 1 2007, Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. p. 166-182 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4383 LNCS).

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

Testing
Java
Concurrent
Microsystems
Nondeterminism