Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

102 Publications


2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.” Theoretical Computer Science 274, no. 1–2 (2002): 151–82. https://doi.org/10.1016/S0304-3975(00)00308-X.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin,” 132–39. IEEE, 2002. https://doi.org/10.1145/774572.774592.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System,” 2491:46–60. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_5.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness,” 2471:292–305. Springer, 2002. https://doi.org/10.1007/3-540-45793-3_20.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms,” Vol. 15. Elsevier, 2002. https://doi.org/10.3182/20020721-6-ES-1901.01628.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code,” 315–26. ACM, 2002. https://doi.org/10.1145/512529.512567.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs,” 2491:76–92. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_7.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems,” 2380:644–56. Springer, 2002. https://doi.org/10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code,” 2404:526–38. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS) 24, no. 1 (2002): 51–64. https://doi.org/10.1145/509705.509707.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation 173, no. 1 (2002): 64–81. https://doi.org/10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction,” 58–70. ACM, 2002. https://doi.org/10.1145/503272.503279.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces,” 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules,” 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems,” 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” Journal of the ACM 49, no. 5 (2002): 672–713. https://doi.org/10.1145/585265.585270.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces,” 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature 419, no. 6910 (2002): 925–29. https://doi.org/10.1038/nature01170.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature 419, no. 6910 (2002): 899–903. https://doi.org/10.1038/nature01169.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz, Andrea, Takuya Notomi, Gábor Tamás, Ryuichi Shigemoto, and Zoltán Nusser. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” Nature Neuroscience 5, no. 11 (2002): 1185–93. https://doi.org/10.1038/nn962.
View | DOI
 

Filters and Search Terms

year=2002

Search

Filter Publications