Research Output 1971 2020

Filter
Conference article
2005

Behavioral extensions of institutions

Popescu, A. & Rosu, G., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.

Research output: Contribution to journalConference article

Logic
Equivalence
Concretes
Reasoning
Partial

BIBO stability of an adaptive time-frequency Iterative Learning Control with application to microscale robotic deposition

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4518-4524 7 p., FrB17.3.

Research output: Contribution to journalConference article

Ink
Robotics
Robots
Adaptive algorithms
Systems analysis

Centralized and decentralized powertrain controllers for an earthmoving vehicle

Gupta, P. & Alleyne, A., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1613-1618 6 p., WeC14.3.

Research output: Contribution to journalConference article

Powertrains
Controllers
Scheduling

Complete symbolic reachability analysis using back-and-forth narrowing

Thati, P. & Meseguer, J., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 379-394 16 p.

Research output: Contribution to journalConference article

Symbolic Analysis
Reachability Analysis
Concurrent Systems
Decision Procedures
Acoustic waves

Congruences for visibly pushdown languages

Alur, R., Kumar, V., Parthasarathy, M. & Viswanathan, M., Oct 19 2005, In : Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.

Research output: Contribution to journalConference article

Context free languages
Formal languages
Syntactics
Congruence
Polynomials

Continuous optimization

Fahs, B., Rafacz, T., Patel, S. J. & Lumetta, S. S., Nov 10 2005, In : Proceedings - International Symposium on Computer Architecture. p. 86-97 12 p.

Research output: Contribution to journalConference article

Hardware
Pipelines
Data storage equipment

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Roşu, G. & Agha, G., 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

Distributed architectures and implementations of observer based controllers for performance optimization

Yadav, V., Voulgaris, P. G. & Salapaka, M. V., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4844-4849 6 p.

Research output: Contribution to journalConference article

Controllers
Communication
Parameterization

Distributed optimal contention window control for elastic traffic in wireless LANs

Yang, Y., Wang, J. & Kravets, R. H., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 1, p. 35-46 12 p.

Research output: Contribution to journalConference article

Local area networks
Telecommunication traffic
Frequency allocation

Efficient constructions for one-way hash chains

Hu, Y. C., Jakobsson, M. & Perrig, A., Oct 17 2005, In : Lecture Notes in Computer Science. 3531, p. 423-441 19 p.

Research output: Contribution to journalConference article

Hash Chain
Network protocols
Sensor networks
Data storage equipment
Electronic document identification systems

Efficient monitoring of ω-languages

D'Amorim, M. & Rosu, G., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Formal languages
Regular Languages
Finite automata
State Machine
Monitoring

Estimation of corrosion damage in steel reinforced mortar using waveguides

Reis, H., Ervin, B. L., Kuchma, D. A. & Bernhard, J., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.

Research output: Contribution to journalConference article

Mortar
Steel
Corrosion
Waveguide
corrosion

Experiences with starfield visualizations for analysis of library collections

Sánchez, J. A., Twidale, M. B., Nichols, D. M. & Silva, N. N., Jul 20 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5669, p. 215-225 11 p., 22.

Research output: Contribution to journalConference article

Visualization
Visual Data Mining
Learnability
data mining
Digital libraries

Formally defining and verifying Master/Slave Speculative Parallelization

Salverda, P., Rosu, G. & Zilles, C., Oct 19 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.

Research output: Contribution to journalConference article

Parallelization
Sequential machines
Correctness
Refining
Microprocessor chips

Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language

Viswanathan, M. & Kim, M., Sep 19 2005, In : Lecture Notes in Computer Science. 3407, p. 543-556 14 p.

Research output: Contribution to journalConference article

Reactive Systems
Monitoring
Automata
Language
Class

From conditional to unconditional rewriting

Roşu, G., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.

Research output: Contribution to journalConference article

Rewriting
Engines
Experiments
Engine
Optimise

GraphMiner: A structural pattern-mining system for large disk-based graph databases and its applications

Wang, W., Wang, C., Zhu, Y., Shi, B., Pei, J., Yan, X. & Han, J., Dec 1 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.

Research output: Contribution to journalConference article

Java-MOP: A monitoring oriented programming environment for java

Chen, F. & Rosu, G., Sep 20 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.

Research output: Contribution to journalConference article

Programming Environments
Java
Software engineering
Monitoring
Specifications

Localized fairness: A rewriting semantics

Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.

Research output: Contribution to journalConference article

Rewriting
Fairness
Semantics
Thread
Standard Model

Monotonic convergence of iterative learning control for uncertain systems using a time-varying Q-filter

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 1, p. 171-177 7 p., WeA06.1.

Research output: Contribution to journalConference article

Uncertain systems
Trajectories
Bandwidth

Natural narrowing for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.

Research output: Contribution to journalConference article

Term Rewriting Systems
Symbolic Model Checking
Functional programming
Theorem proving
Functional Programming

Natural rewriting for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.

Research output: Contribution to journalConference article

Term Rewriting Systems
Functional programming
Theorem proving
Logic programming
Rewriting

New sensitivity analysis attack

El Choubassi, M. & Moulin, P., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 734-745 12 p., 72.

Research output: Contribution to journalConference article

sensitivity analysis
attack
Sensitivity analysis
Sensitivity Analysis
Attack

On achievable error exponents for watermarking

Moulin, P. & Wang, Y., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 308-317 10 p., 31.

Research output: Contribution to journalConference article

Error Exponent
Watermarking
attack
Attack
exponents

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

On the complexity of error explanation

Kumar, N., Kumar, V. & Viswanathan, M., Sep 9 2005, In : Lecture Notes in Computer Science. 3385, p. 448-464 17 p.

Research output: Contribution to journalConference article

Finite automata
State Machine
Trace
Counterexample
Pushdown Automata

On-the-fly reachability and cycle detection for recursive state machines

Alur, R., Chaudhuri, S., Etessami, K. & Madhusudan, P., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 61-76 16 p.

Research output: Contribution to journalConference article

State Machine
Reachability
Cycle
Liveness
Model checking

On the use of SoS methods for analysis of connection-level stability in the internet

Lakshmikantha, A., Beck, C. L. & Srikant, R., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2705-2708 4 p., ThB13.4.

Research output: Contribution to journalConference article

Lyapunov functions
Internet

Optimizations for compiling declarative models into boolean formulas

Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., Oct 17 2005, In : Lecture Notes in Computer Science. 3569, p. 187-202 16 p.

Research output: Contribution to journalConference article

Optimization
Reasoning
Model
Optimizing Compilers
First-order Logic

Perturbed timed automata

Alur, R., La Torre, S. & Madhusudan, P., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

Research output: Contribution to journalConference article

Timed Automata
Clocks
Imperfect
Automata
Inclusion
Real time systems
Embedded systems
Response time (computer systems)
Recovery
Pendulums

Robust identification over networks

Ishii, H. & Başar, T., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 1233-1238 6 p.

Research output: Contribution to journalConference article

Stabilization
Feedback
Bandwidth
Communication

Searching for related objects in relational databases

Yin, X., Han, J. & Yang, J., Dec 1 2005, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 227-236 10 p.

Research output: Contribution to journalConference article

Scalability
Semantics
Experiments

Service composition for advanced multimedia applications

Liang, J. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 228-240 13 p., 23.

Research output: Contribution to journalConference article

Multimedia Applications
Service Composition
multimedia
Data Flow
Chemical analysis

Stability and feedback control of wireless networked systems

Kawka, P. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2953-2959 7 p., ThC03.5.

Research output: Contribution to journalConference article

Feedback control
System stability
Hardware
Communication
Linear systems

Stable gain-scheduling on endogenous signals

Rasmussen, B. P. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1895-1900 6 p.

Research output: Contribution to journalConference article

Scheduling
Controllers
Industry

Supporting dynamically changing authorizations in pervasive communication systems

Lee, A. J., Boyer, J. P., Drexelius, C., Naldurg, P., Hill, R. L. & Campbell, R. H., Sep 19 2005, In : Lecture Notes in Computer Science. 3450, p. 134-150 17 p.

Research output: Contribution to journalConference article

Authorization
Ubiquitous computing
Access control
Communication Systems
Communication systems

Symbolic compositional verification by learning assumptions

Alur, R., Madhusudan, P. & Nam, W., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 548-562 15 p.

Research output: Contribution to journalConference article

Compositional Verification
Formal languages
Model checking
Learning algorithms
Reasoning

Symstra: A framework for generating object-oriented unit tests using symbolic execution

Xie, T., Marinov, D., Schulte, W. & Notkin, D., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

Research output: Contribution to journalConference article

Symbolic Execution
Object-oriented
Unit
Test Generation
Framework

The Java memory model

Manson, J., Pugh, W. & Adve, S. V., Dec 27 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 378-391 14 p.

Research output: Contribution to journalConference article

Data storage equipment
Computer programming languages
Semantics
Hardware

The LLVM compiler framework and infrastructure tutorial

Lattner, C. & Adve, V. S., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 15-16 2 p.

Research output: Contribution to journalConference article

Compiler
Infrastructure
Research and Development
Framework

Theoroidal maps as algebraic simulations

Martí-Oliet, N., Meseguer, J. & Palomino, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 p.

Research output: Contribution to journalConference article

Rewriting Logic
Simulation
Mathematical models
Fairness
Categorical

Trimaran: An infrastructure for research in instruction-level parallelism

Chakrapani, L. N., Gyllenhaal, J., Hwu, W-M. W., Mahlke, S. A., Palem, K. V. & Rabbah, R. M., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 32-41 10 p.

Research output: Contribution to journalConference article

Instruction Level Parallelism
Performance Monitoring
Infrastructure
Compiler Optimization
Module

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 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
2006

Automotive vapor compression cycles: Validation of control-oriented models

Eldredge, B., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Vapors
Fluid dynamics
Air conditioning
Controllers

Improving energy efficiency in automotive vapor compression cycles through advanced control design

Keir, M., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Energy efficiency
Vapors
Compressors
Evaporators
Air conditioning
Liveness
Petri nets
Petri Nets
Arc of a curve
Observation

Study of Error Vector Magnitude Patterns (EVRP) for a transmit/receive pair of microstrip patch antennas

Huff, G. H., Soldner, N., Palmer, W. D. & Bernhard, J. T., Dec 1 2006, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). p. 449-452 4 p., 1710555.

Research output: Contribution to journalConference article

Microstrip antennas
Antennas
Availability
Bandwidth
Experiments
Web Application
Object