|
2006
- [AGL06]
Compositional modeling for refinement for hierarchical hybrid systems,
Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky,
The Journal of Logic and Algebraic Programming,
Volume 68, Issue 1-2, 2006, pages 105-128
Abstract
- PDF
- [AFL06]
An Analysis Framework for Network-Code Programs,
Madhukar Anand, Sebastian Fischmeister, and Insup Lee,
to appear in Proceedings of the 6th ACM International Conference on Embedded Software (EMSOFT 2006),
Seoul, South Korea, October 22-25, 2006
Abstract
- PDF
- [ESS06]
Incremental Schedulability Analysis of Hierarchical Real-Time Components,
Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee,
to appear in Proceedings of the 6th ACM International Conference on Embedded Software (EMSOFT 2006),
Seoul, South Korea, October 22-25, 2006
Abstract
- PDF
- [ALS06]
Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON,
Madhukar Anand, Insup Lee, Oleg Sokolsky, and George Pappas,
to appear in Proceedings of the IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2006),
Technische Universitet Munchen, Munich, Germany, October 4-6, 2006
Abstract
- PDF
- [ACS06]
Sensor Network Security: More Interesting Than You Think,
Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze,
Zachary Ives and Insup Lee,
Proceedings of the 1st USENIX Workshop on Hot Topics in Security (HotSec 2006), Vancouver, B.C. Canada, July 31, 2006
Abstract
- PDF
- [MGL06]
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies,
Michael J. May, Carl A. Gunter, and Insup Lee,
Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 2006), Venice, Italy, July 5-7, 2006
Abstract
- PDF
- [LPC06]
High-Confidence Medical Device Software and Systems,
Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha,
IEEE Computer, Volume 39, Issue 4, April 2006, pages 33-38
Abstract
- PDF
- [SLC06]
Schedulability Analysis of AADL Models,
Oleg Sokolsky, Insup Lee, and Duncan Clarke,
14th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), Island of Rhodes, Greece, April 25-26, 2006
Abstract
- PDF
- [ADV06]
Formal Modeling and Analysis of AFDX Frame Management Design,
Madhukar Anand, Samar Dajani-Brown, Steve Vestal, and Insup Lee,
Proceedings of the 9th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2006), Gyeongiu, Korea, April 24-26, 2006
Abstract
- PDF
- [FSL06]
Network-Code Machine: Programmable Real-Time Communication Schedules,
Sebastian Fischmeister, and Oleg Sokolsky, and Insup Lee,
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), SanJose, California, April 5-7, 2006
Abstract
- PDF
- Supplemental Material
- [KSP06]
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems,
Fabian Kratz, Oleg Sokolsky, George J. Pappas, and Insup Lee,
Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC 2006)
, Santa Barbara, CA, USA, March 29-31, 2006, LNCS3927, pages 392-406
Abstract
- PDF
- [SKL06]
Simulation-Based Graph Similarity,
Oleg Sokolsky, Sampath Kannan, and Insup Lee,
Proceedings of the 12th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems
(TACAS'06),Vienna, Austria, March 27-30, 2006, LNCS3920, pages 426-440
Abstract
- PDF
- [AKF06]
Generating Sound and Resource-Aware Code from Hybrid System Models,
Madhukar Anand, Jesung Kim, Sebastian Fischmeister,
and Insup Lee,
Proceedings of the 2nd Workshop on Advanced Automotive Software and Systems Development (ASWSD 2006), University of California, San Diego, March 15-17, 2006
Abstract
- PDF
2005
- [SLM05]
Opportunities and obligations for physical computing systems,
John A. Stankovic, Insup Lee, Aloysius Mok, and Raj Rajkumar,
Computer, Volume 38, Issue 11, November 2005, pages 23-31
Abstract
- PDF
- [HLS05]
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking,
Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky,
5th International Workshop on Source Code
Analysis and Manipulation (SCAM), Budapest, Hungary, Sept 30-Oct 1, 2005
Abstract
- PDF
- [AFK05]
DistributedCode Generation from Hybrid Systems Models for Timedelayed
Multirate Systems,
Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee,
Proceedings of EMSOFT'05, Jersey City, New Jersey, USA, September
19-22, 2005
Abstract
- PDF
- [AIL05]
Quantifying Eavesdropping Vulnerability in Sensor,
Madhukar Anand, Zachary G. Ives, and Insup Lee,
Proceedings of the 2nd International VLDB Workshop on Data Management
for Sensor Networks, DMSN'05, Trondheim, Norway, August 29, 2005
Abstract
- PDF
- [SLS05]
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic
Properties,
Usa Sammapun, Insup Lee and Oleg Sokolsky,
Proceedings of the 11th IEEE International Conference on Embedded and
Real-Time Computing Systems and Applications, RTCSA'05, Hong Kong,
August 17-19, 2005
Abstract
- PDF
- [SSL05]
Run-Time Checking of Dynamic Properties,
Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim,
Proceedings of the Proceedings of the Fifth Workshop on
Runtime Verification, RV'05, The University of Edinburgh, Scotland, UK,
July 12, 2005
Abstract
- PDF
- [KLC05]
End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System,
Bong Ho Kim, Insup Lee, and Kelvin Chu,
IEEE 61st Vehicular Technology Conference. VTC2005 - Spring , Volume 5, pages 2770-2774 Stockholm, Sweden, May 30 - June 1, 2005
Abstract
- PDF
- [AKL05]
Code Generation from Hybrid Systems Models for Distributed Embedded
System,
Madhukar Anand, Jesung Kim, and Insup Lee,
Proceedings of the 8th IEEE International Symposium on
Object-oriented Real-time distributed Computing, ISORC'05, Seattle,
Washington, May 18-20, 2005
Abstract
- PDF
- On-the-fly reachability and cycle detection for recursive state
machines, R. Alur, S. Chaudhuri, K. Etessami, and P. Madhusudan
11th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, 2005.
PDF
- Perturbed timed automata, R. Alur, S. La Torre and P. Madhusudan
Eighth International Workshop on Hybrid Systems: Computation and
Control, 2005
PDF
- Dispatch sequences for embedded control models,
R. Alur and A. Chandrashekharapuram
11th IEEE Real-Time and Embedded Technology and Applications
Symposium, 2005
PDF
- Verifying safety of a token coherence implementation by parametric
compositional refinement, S. Burckhardt, R. Alur, and M. Martin
Sixth International Conference on Verification, Model Checking, and
Abstract Interpretation, 2005
PDF
- Synthesis of interface specifications for Java classes,
R. Alur, P. Cerny, P. Madhusudan, and W. Nam
32nd ACM Symposium on Principles of Programming Languages,
2005
PDF
- Model-checking of component-based real-time embedded software based on
CORBA event service, Zonghua Gu and Kang G. Shin,
Proceedings of 8th IEEE International Symposium on Object-oriented
Real-time distributed Computin (ISORC'05), 2005
PDF
- Priority refinement for dependent tasks in large embedded real-time
software, Jeff Merrick, Shige Wang, and Kang G. Shin,
IEEE RTAS'05, pp. 365--374, March 2005
PDF
2004
- [SL04]
Compositional Real-Time Scheduling Framework,
Insik Shin, Insup Lee,
Proceedings of the 25th IEEE Real-Time Systems Symposium, RTSS 2004, Lisbon, Portugal, December 6-8, 2004
Abstract
- PDF
- [TKS04]
Model-based Testing and Monitoring for Hybrid Embedded Systems,
Li Tan, Jesung Kim, Oleg Sokolsky, and Insup Lee,
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI - 2004),
Las Vegas, Nevada, USA, November 8-10, 2004
Abstract
- PDF
- [TSL04]
Specification-based Testing with Linear Temporal Logic,
Li Tan, Oleg Sokolsky, and Insup Lee,
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI - 2004),
Las Vegas, Nevada, USA, November 8-10, 2004
Abstract
- PDF
- [SP04]
Platform-Independent Autonomy Modeling, Oleg Sokolsky and George Pappas,
Proceedings of the 4th International Conference on Intelligent
Systems Design and Applications (ISDA 2004), Budapest, Hungary,
August 26-28, 2004.
Abstract
- PDF
- [SLM04]
A Design Approach for Real-Time Embedded Systems with Energy and Code
Size Constraints, Insik Shin, Insup Lee, and Sang Lyul Min
Proceedings of the 10th Real-time and Embedded
Computing Systems and Applications Conference,
RTCSA 2004, Gothenburg, Sweden, August 25-27, 2004
Abstract
- PDF File
- [Sok04]
Resource Modeling for Embedded Systems Design, Oleg Sokolsky
Proceedings of the Workshop on Software Technologies for Future
Embedded and Ubiquitous Computing (WSTFEUS 2004), Vienna, Austria,
May 11-12, 2004
Abstract
- PDF
- Component allocation with multiple resource constraints for large
embedded real-time software design model transformation, Shige Wang,
Jeffrey R. Merrick, and Kang G. Shin
Proceedings of 10-th IEEE Real-Time and Embedded Technology
and Applications Symposium (RTAS'04), pp.~219--226, May 2004
PDF
- Synthesis of real-time implementation from UML-RT models, Zonghua Gu and Kang G. Shin,
2nd IEEE RTAS Workshop on Model-Driven Embedded Systems (MoDES'04), Toronoto, May 2004
PDF
- [KKLSV04]
Java-MaC: a Rigorous Run-time Assurance Tool for Java Programs,
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
Formal Methods in Systems Design, Vol 24, No 2, March 2004
Abstract
- PDF File
- [SELS04]
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky,
Proceeding of Runtime Verification Workshop (RV'04), Barcelona, Spain, April 3, 2004
Abstract
- PDF File
- [AAG04]
Formal specifications and analysis of the computer-assisted resuscitation
algorithm (CARA) Infusion Pump Control System, Rajeev Alur, David Arney,
Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve
Van Albert, Jiaxiang Zhou
To appear in International Journal in Software Tools for Technology Transfer (2004) 4: 1-12
Abstract
- PDF File
- [HSCC04]
Sound Code Generation from Communicating Hybrid Models,
Yerang Hur, Jesung Kim, Insup Lee, and Jin-Young Choi,
Proceedings of Hybrid Systems: Computation and Control (HSCC04), Philadelphia, Pennsylvania, March 25-27, 2004, LNCS 2939, pp. 432-447, 2004
Abstract
- PDF File
- Integrated modeling and analysis of embedded control
systems with real-time scheduling, Zonghua Gu, Shige Wang, and Kang G. Shin,
Proceedings of 2004 SAE Conference, Paper No.~O4AE-55, March 2004
PDF
- Early-stage performance modeling and its application for
integrated embedded control software design, Shige Wang and Kang G. Shin,
Proceedings of 4th ACM International Workshop on Software
and Performance, 2004
PDF
- Variable reuse for efficient image computation, Z. Yang and R. Alur,
5th International Conference on Formal Methods in Computer-Aided
Design, 2004
PDF
- A model-based approach to integrating security policies for embedded
devices, M. McDougall, R. Alur, and C.A. Gunter,
Fifth ACM Conference on Embedded Software, 2004
PDF
- Decision problems for timed automata: A survey, R. Alur and
P. Madhusudan,
4th Intl. School on Formal Mthods for Computer, Communication, and
Software Systems: Real Time, 2004
PDF
- Structured modeling of concurrent stochastic hybrid systems,
M. Bernadsky, R Sharykin, and R. Alur,
Joint Conference on Formal Modeling and Analysis of Timed Systems
and Formal Techniques in Real-Time and Fault Tolerant
Systems, 2004
PDF
- Optimal reachability for weighted timed games, R. Alur, M. Bernadsky,
and P. Madhusudan,
31st International Colloquium on Automata, Languages, and
Programming, 2004
Extended and revised version
- Visibly pushdown languages, R. Alur and P. Madhusudan,
36th ACM Symposium on Theory of Computing, 2004
PDF
- A temporal logic of nested calls and returns, R. Alur, K. Etessami,
and P. Madhusudan,
Tenth International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, 2004
PDF
2003
- [SS03]
Regular Expressions for Run-Time Verification, Usa Sammapun, Oleg Sokolsky,
Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taipei, Taiwan, December 10-12, 2003
Abstract
- PDF File
- [RTSS03]
Periodic Resource Model for Compositional Real-Time Guarantees,
Insik Shin and Insup Lee,
Proceeding of the 24th IEEE Real-Time Systems Symposium, RTSS 2003
Cancun, Mexico, December 3-5, 2003
Awarded as the Best Paper of RTSS 2003.
Abstract
- PDF File
- [TKL03]
Testing and Monitoring Model-based Generated Program,
Li Tan, Jesung Kim, and Insup Lee,
Proceeding of Runtime Verification Workshop (RV'03),
Boulder, Colorado, July 13, 2003
Abstract
- Full Postscript File
- PDF File
- [LCTES03]
Generating Embedded Software from Hierarchical Hybrid Models,
Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee and Oleg Sokolsky,
Proceeding of ACM SIGPLAN
Languages, Compilers, and Tools for Embedded Systems (LCTES'03),
San Diego, California, June 11-13, 2003
Abstract
- PDF File
- [RTAS03]
Modular Code Generation from Hybrid Automata based on Data Dependency, Jesung Kim and Insup Lee,
Proceedings of
The 9th IEEE Real-Time and Embedded Technology
and Applications Symposium (RTAS 2003), Washington,
DC, May 27-30, 2003,
Abstract
- PDF File
- [HC03]
Data Flow Testing as Model Checking, Hyoung Seok Hong, Sung Deok Сha, Insup Lee, Oleg Sokolsky, and Hasan Ural, Proceedings of ICSE'03, Portland,
Oregon, May 3-10, 2003,
Abstract
- PDF File
- [SPL03]
Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou, Insup Lee, and Kyriakos Christou,
Proceedings of TACAS'03, Warsaw, Poland, April 7-11,
2003, LNCS 2619, pp. 409-425
Abstract
- PDF File
- [ADE03]
Hierarchical Modeling and Analysis of Embedded Systems, Rajeev Alur, Thao Dang,
Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra,
George Pappas, and Oleg Sokolsky,
Proceedings of IEEE, Vol. 91, No 1, January 2003, pp. 11-28
Abstract
- PDF File
- Playing games with boxes and diamonds, R. Alur, S. La Torre, and
P. Madhusudan,
14th International Conference on Concurrency Theory, 2003
PDF
- Compression of partially ordered strings, R. Alur, S. Chaudhuri,
K. Etessami, S. Guha, and M. Yannakakis,
15th International Conference on Concurrency Theory, 2003
PDF
- Symbolic computational techniques for solving games, . Madhusudan,
W. Nam, and R. Alur,
Software Tools for Technology Transfer, 2003
PDF
- Modular strategies for infinite games on recursive game graphs, R. Alur,
S. La Torre, and P. Madhusudan,
15th International Conference on Computer-Aided Verification
, 2003
PDF
- Modular strategies for recursive game graphs, R. Alur, S. La Torre,
and P. Madhusudan,
Ninth International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, 2003
PDF
- Counter-example guided predicate abstraction of hybrid systems,
R. Alur, T. Dang, and F. Ivancic,
Ninth International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, 2003
PDF
- Progress on reachability analysis of hybrid systems using predicate
abstraction, R. Alur, T. Dang, and F. Ivancic,
Sixth International Workshop on Hybrid Systems: Computation and
Control, 2003
PDF
2002
- [LPS02]
Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee,
Anna Philippou, and Oleg Sokolsky, Computing and Control
Engineering Journal, Vol 13, Number 4, pp. 180-188
Abstract
- Word
Document
- [SLM02]
Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements,
Insik Shin, Insup Lee, Sang Lyul Min, Proceedings of the 23rd IEEE Real-Time Systems Symposium, RTSS
2002, Austin, TX, December 2-5, 2002
Abstract
- PDF File
- [LPS02]
A General Resource Framework for Real-Time Systems, Insup Lee,
Anna Philippou, and Oleg Sokolsky, Proceedings of the Monterey
Workshop, Venice, Italy, October 8-11, 2002
Abstract
- PDF File
- [KKL02]
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC, Moonjoo Kim,
Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan, 2nd International Workshop on Run-time Verification.
Copenhagen, Denmark, July 26, 2002; to appear in Electronic Notes
in Theoretical Computer Science 70 No. 4
Abstract
- PDF File
- [KLS02]
Monitoring, Checking, and Steering of Real-Time Systems, Moonjoo Kim,
Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky,
2nd International Workshop on Run-time Verification.
Copenhagen, Denmark, July 26, 2002; to appear in Electronic Notes
in Theoretical Computer Science 70 No. 4
Abstract
- PDF File
- [HL02]
Distributed Simulation of Multi-Agent Hybrid Systems, Yerang Hur, Insup Lee, IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC),
Crystal City, Virginia, USA, April 29-May 1, 2002
Abstract
- PDF File
- [HLS02]
A Temporal Logic Based Theory of Test Coverage and Generation, Hyoung Seok Hong,
Insup Lee, Oleg Sokolsky, and Hasan Ural, International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS2002),
Grenoble, France, April 8 - 11, 2002
Abstract
- PDF File
- [BGK02]
Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A.
Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan, IEEE Transactions on Software Engineering,
Vol. 28, No. 2, Feb 2002, pp. 129-145. (Special Issue on Selected Papers from
International Symposium on Sotware Testing and Analysis, 2000.)
Abstract
- PDF File
- Visual programming for modeling and simulation of biomolecular
regulatory networks, R. Alur, C. Belta, F. Ivancic, V. Kumar,
H. Rubin, J. Schug, O. Sokolsky, and J. Webb,
International Conference on High Performance Computing, 2002
PDF
- Predictable programs in barcodes, A. Goodloe, M. McDougall, C. Gunter
and R. Alur,
International Conference on Compilers, Architecture and Synthesis
of Embedded Systems (CASES), 2002
PDF
- Exploiting behavioral hierarchy for efficient model checking, R. Alur,
M. McDougall and Z. Yang,
14th International Conference on Computer-Aided Verification,
2002
PDF
- Reachability analysis of hybrid systems via predicate abstraction,
R. Alur, T. Dang, and F. Ivancic,
Fifth International Workshop on Hybrid Systems: Computation and
Control, 2002
PDF
2001
- [AKL01]
Fair Real-time Traffic Scheduling over A Wireless LAN, Maria Adamou, Sanjeev Khanna,
Insup Lee, Insik Shin, Shiyu Zhou, Proceedings of the 22nd IEEE Real-Time Systems Symposium, RTSS 2001,
London, UK, December 3-6, 2001
Abstract
- PDF File
- [LPS01]
Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and
Oleg Sokolsky, Proceedings of IEEE/IEE Workshop on Real-Time Embedded Systems (RTES'2001),
London, UK, December 3, 2001
Abstract
- Full Postscript File
- PDF File
- [KKL01]
Java-MaC: a Run-time Assurance Tool for Java, Moonjoo Kim, Sampath Kannan, Insup Lee,
Oleg Sokolsky,
1st International Workshop on Run-time Verification.
Paris, France, July 23, 2001; Electronic Notes in Theoretical Computer Science 55 No. 2 (2001)
Abstract
- Full Postscript File
- PDF File
- [PSL01]
Hiding Resources that Can Fail, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott
Smolka, Information Processing Letters
Volume 80, Issue 1, Oct 2001
Abstract
- Full Postscript File
- PDF File
- [ADE01]
Hierarchical Hybrid Modeling of Embedded Systems, Rajeev Alur, Thao Dang,
Joel Esposito, R. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee,
Pradyumna Mishra, George Pappas, and Oleg Sokolsky,
Proceedings of EMSOFT'01: First Workshop on Embedded Software, Tahoe City, California, USA,
Oct 8 - 10, 2001.
Abstract
- Full Postscript File
- PDF File
- [SL01]
Characterizing Non-Zenoness on Real-Time Processes, Jitka Stribrna and Insup Lee,
Proceedings of Model for Time-Critical Systems (MTCS'01), Aalborg, Denmark, Aug 25, 2001.
Abstract
- Full Postscript File
- PDF File
- [LCK01]
A Family of Resource-Bound Real-time Process Algebras, Insup Lee, Jin-Young
Choi, Hee-Hwan Kwak, Anna Philippou, and Oleg Sokolsky,
Proceedings of 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01),
Cheju Island, Korea, August 2001.
Abstract
- PDF File
- [HLS01]
Automatic Test Generation from Statecharts Using Model Checking, Hyoung Seok
Hong, Insup Lee, Oleg Sokolsky and Sung Deok Сha,
Proceedings of FATES'01, Workshop on Formal Approaches to Testing of
Software, August 2001. BRICS Notes Series, NS-01-4, pp. 15-30.
Abstract
- PDF File
- [SH01]
Qualitative Modeling of Hybrid Systems, Oleg Sokolsky and Hyoung Seok Hong,
Proceedings of the Monterey Workshop, June 2001
Abstract
- PDF File
- [AGL01]
Compositional Refinement for Hierarchical Hybrid Systems, Rajeev Alur, Radu Grosu,
Insup Lee, and Oleg Sokolsky,
Hybrid Systems: Computation and Control, LNCS 2034, pp. 33-48, March 2001
Abstract
- Full Postscript File
- PDF File
- Shared variables interaction diagrams, R. Alur and R. Grosu,
16th IEEE International Conference on Automated Software
Engineering, 2001
PDF
- Heuristics for hierarchical partitioning with applications to model
checking, O. Moller and R. Alur,
11th Advanced Research Working Conference on Correct Hardware
Design and Verification Methods, 2001
Abstract -
PDF
- Analysis of recursive state machines, R. Alur, K. Etessami, and
M. Yannakakis
13th International Conference on Computer-Aided Verification,
2001
Abstract -
PDF -
Full version
- Verifying network protocol implementations by symbolic refinement
checking, R. Alur and B.-Y. Wang,
13th International Conference on Computer-Aided Verification,
2001
Abstract -
PDF
- Deterministic generators and games for LTL fragments, R. Alur and
S. La Torre,
16th IEEE Symposium on Logic in Computer Science, 2001
Abstract -
Revised and
extended version
- Realizability and verification of MSC graphs, R. Alur, K. Etessami, and
M. Yannakakis,
28th International Colloquium on Automata, Languages, and
Programming, 2001
Abstract -
PDF
- Mocha: A model checking tool that exploits design structure, R. Alur,
L. de Alfaro, R. Grosu, T.A. Henzinger, M. Kang, R. Majumdar, F. Mang,
C.M. Kirsch, and B.-Y. Wang,
23rd International Conference on Software Engineering,pp.
835--836, 2001
PDF
- Hybrid modeling and simulation of biomolecular networks, R. Alur, C.
Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, and
J. Schug,
Fourth International Workshop on Hybrid Systems: Computation and
Control, LNCS 2034, pp. 19--32, 2001
PDF
- Optimal paths in weighted timed automata, R. Alur, S. La Torre, and
G. Pappas,
Fourth International Workshop on Hybrid Systems: Computation and
Control, LNCS 2034, pp. 49--62, 2001
Abstract -
PDF
- A framework and architecture for multirobot coordination, R. Alur,
A. Das, J. Esposito, R. Fierro, Y. Hur, G. Grudic, V. Kumar, I. Lee,
J. P. Ostrowski, G. Pappas, J. Southall, J. Spletzer, and C. Taylor,
Seventh International Symposium on Experimental Robotics,
2001
PDF
|