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

Research Output 1985 2019

Filter
Conference article
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
2006
Web Application
Object
2005

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Rosu, G. & Agha, G. A., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Concurrent Systems
Violate
Trace
Runtime Analysis
Specification

On computational complexity of counting fixed points in symmetric boolean graph automata

Tošić, P. T. & Agha, G. A., Oct 31 2005, In : Lecture Notes in Computer Science. 3699, p. 191-205 15 p.

Research output: Contribution to journalConference article

Automata
Counting
Computational complexity
Dynamical systems
Computational Complexity

On statistical model checking of stochastic systems

Sen, K., Viswanathan, M. & Agha, G. A., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.

Research output: Contribution to journalConference article

Stochastic systems
Model checking
Stochastic Systems
Model Checking
Statistical Model

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G. A., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

Fixpoint
Verify
Learning systems
Transducers
Transducer
2004

Efficient decentralized monitoring of safety in distributed systems

Sen, K., Vardhan, A., Agha, G. & Roşu, G., Oct 4 2004, In : Proceedings - International Conference on Software Engineering. 26, p. 418-427 10 p.

Research output: Contribution to journalConference article

Monitoring
Temporal logic

SENS: A sensor, environment and network simulator

Sundresh, S., Kim, W. & Agha, G., Jul 26 2004, In : Proceedings of the IEEE Annual Simulation Symposium. p. 221-228 8 p.

Research output: Contribution to journalConference article

Simulator
Simulators
Wireless Sensor Networks
Wireless sensor networks
Sensor
2003

Automated verification of the dependability of object-oriented real-time systems

Ding, H., Zheng, C., Agha, G. A. & Sha, L. R., Dec 1 2003, In : Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. p. 171-178 8 p., 1410960.

Research output: Contribution to journalConference article

Model checking
Real time systems
Semantics
Specifications
1996

Parallel implementations of irregular problems using high-level actor language

Panwar, R. B., Kim, W. & Agha, G. A., Jan 1 1996, In : IEEE Symposium on Parallel and Distributed Processing - Proceedings. p. 857-862 6 p.

Research output: Contribution to journalConference article

High level languages
Parallel architectures
Reusability
Dynamic loads
Parallel algorithms
1995

Efficient support of location transparency in concurrent object-oriented programming languages

Kim, W. Y. & Agha, G., Dec 1 1995, In : Proceedings of the ACM/IEEE Supercomputing Conference. 1, p. 987-1024 38 p.

Research output: Contribution to journalConference article

Object oriented programming
Dynamic loads
Computer programming languages
Transparency
Resource allocation