Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Kevin X. He, Michael D. Lemmon |
On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 39th IEEE Conference on Decision and Control, CDC 2000, Sydney, Australia, December 12-15, 2000, pp. 2657-2662, 2000, IEEE, 0-7803-6638-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Ulrich Ultes-Nitsche |
Satisfaction up to Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy, pp. 237-248, 2000, Kluwer, 0-7923-7968-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
14 | Felice Balarin |
Concurrent Symbolic Verification of Liveness Properties for Interleaved Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 1-10, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ekkart Kindler, Wil M. P. van der Aalst |
Liveness, Fairness, and Recurrence in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 70(6), pp. 269-27, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | |
Corrections to "A Method for the Synthesis of Controllers to Handle Safety, Liveness, and Real-Time Constraints" and "Tracking in Clutter with Strongest Neighbor Measurements - Part I: Theoretical Analysis". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 44(4), pp. 886, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ramavarapu S. Sreenivas |
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 44(1), pp. 173-177, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ramavarapu S. Sreenivas |
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 44(6), pp. 1221-1225, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Harri Klapuri, Jarmo Takala, Jukka Saarinen |
Safety, liveness and real-time in embedded system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 22(2), pp. 69-89, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Kevin X. He, Michael D. Lemmon |
Validation of liveness for 1-safe hybrid Petri nets using network unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 5th European Control Conference, ECC 1999, Karlsruhe, Germany, August 31 - September 3, 1999, pp. 3340-3345, 1999, IEEE, 978-3-9524173-5-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Paul C. Attie |
Liveness-Preserving Simulation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999, pp. 63-72, 1999, ACM, 1-58113-099-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
Guaranteeing liveness in an object calculus through behavioural typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 203-221, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
14 | Yonit Kesten, Amir Pnueli |
Verifying Liveness by Augmented Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 141-156, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Radu Negulescu, Janusz A. Brzozowski |
Relative Liveness: From Intuition to Automated Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 12(1), pp. 73-115, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Michel Barbeau, Froduald Kabanza, Richard St.-Denis |
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 43(11), pp. 1543-1559, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Ramavarapu S. Sreenivas |
An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 34(12), pp. 1613-1615, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Laura Recalde, Enrique Teruel, Manuel Silva Suárez |
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 8(1), pp. 223-265, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch |
Liveness in Timed and Untimed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 141(2), pp. 119-171, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Margaret M. Burnett, John W. Atwood Jr., Zachary T. Welch |
Implementing Level 4 Liveness in Declarative Visual Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 1998 IEEE Symposium on Visual Languages, Nova Scotia, Canada, September 1-4, 1998, pp. 126-133, 1998, IEEE Computer Society, 0-8186-8712-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Jun-Cheol Park, Raymond E. Miller |
A Proof Technique for Liveness Properties of Multifunction Composite Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1998 International Conference on Network Protocols (ICNP '98), October 13-16, 1998, Austin, Texas, USA, pp. 219-226, 1998, IEEE Computer Society, 0-8186-8988-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Ramavarapu S. Sreenivas |
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 42(7), pp. 928-945, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | A. Prasad Sistla, L. Miliades, Viktor Gyuris |
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 464-467, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Albert John Camilleri |
A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 49-67, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Amir Pnueli |
Verifying Liveness Properties of Reactive Systems (Tutorial Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HART ![In: Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings, pp. 1, 1997, Springer, 3-540-62600-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger |
Deterministic omega-regular liveness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Proceedings of the 3rd International Conference Developments in Language Theory, DLT 1997, Thessaloniki, Greece, July 20-23, 1997, pp. 237-248, 1997, Aristotle University of Thessaloniki. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
14 | Christel Baier, Marta Z. Kwiatkowska |
Automatic Verification of Liveness Properties of Randomized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997, pp. 295, 1997, ACM, 0-89791-952-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Ulrich Nitsche, Pierre Wolper |
Relative Liveness and Behavior Abstraction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, USA, August 21-24, 1997, pp. 45-52, 1997, ACM, 0-89791-952-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Caleiro, Gunter Saake, Amílcar Sernadas |
Deriving Liveness Goals from Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 22(5/6), pp. 521-553, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | George Varghese, Nancy A. Lynch |
A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 128(1), pp. 57-71, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Holger Busch |
Proving Liveness of Fair Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings, pp. 77-92, 1996, Springer, 3-540-61587-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Antti Valmari, Manu Setälä |
Visual Verification of Safety and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 228-247, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
verification, process algebra, reduction, labelled transition system |
14 | Paritosh K. Pandya |
Weak Chop Inverses and Liveness in Mean-Value Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings, pp. 148-167, 1996, Springer, 3-540-61648-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | James C. Corbett, George S. Avrunin |
Using Integer Programming to Verify General Safety and Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 6(1), pp. 97-123, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Piotr Chrzastowski-Wachtel, Marek Raczunas |
Orbits, half-frozen tokens and the liveness of weighted circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRICT ![In: Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995, pp. 116-128, 1995, Springer, 978-3-540-19982-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Dominique Bolignano |
A partial-order approach to the verification of concurrent systems: checking liveness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings, pp. 278-292, 1995, Springer, 3-540-60385-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Alan D. Fekete |
Liveness Conditions in Model-Based Service Specifications: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995, pp. 62-71, 1995, ACM, 978-0-89791-716-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 433-440, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
14 | David M. Goldschlag |
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 5(3), pp. 207-225, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Luca Ferrarini, Marco Narduzzi, Massimo Tassan-Solet |
A new approach to modular liveness analysis conceived for large logic controllers' design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 10(2), pp. 169-184, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | A. Prasad Sistla |
Safety, Liveness and Fairness in Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 6(5), pp. 495-512, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Masahiro Higuchi, S. Sugawa, Mamoru Fujii |
A method for verifying liveness of protocols modeled as a class of ECFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994, pp. 287-302, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
14 | H. Peter Gumm |
Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 47(6), pp. 291-294, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Piotr Chrzastowski-Wachtel, Marek Raczunas |
Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 171-180, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Hans-Dieter Burkhard |
Liveness and Fairness Properties in Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 325-331, 1993, Morgan Kaufmann, 1-55860-300-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Javier Esparza, Manuel Silva Suárez |
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 102(1), pp. 185-205, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | George Varghese, Nancy A. Lynch |
A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1992, pp. 241-250, 1992, ACM, 0-89791-495-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Paola Alimonti, Esteban Feuerstein, Umberto Nanni |
Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 1-14, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Soma Chaudhuri, Richard E. Ladner |
Safety and Liveness of omega-Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 37(1), pp. 13-20, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Frank Dederichs, Rainer Weber |
Safety and Liveness From a Methodological Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 36(1), pp. 25-30, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Ugo A. Buy, Robert Moll |
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 292-301, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Doron A. Peled, Amir Pnueli |
Proving Partial Order Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 553-571, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Jerry R. Burch |
Verifying Liveness Properties by Verifying Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (DIMACS/AMS volume) ![In: Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990, pp. 93-102, 1990, DIMACS/AMS, 978-0-8218-6594-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Ugo A. Buy, Robert Moll |
Liveness Analysis and the Automatic Generation of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (DIMACS/AMS volume) ![In: Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990, pp. 535-550, 1990, DIMACS/AMS, 978-0-8218-6594-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Colin Stirling, David Walker 0002 |
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 166-178, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Ruby |
A Liveness Property of a Parallel Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 24(4), pp. 275-277, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Bowen Alpern, Fred B. Schneider |
Recognizing Safety and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 2(3), pp. 117-126, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | A. Udaya Shankar, Simon S. Lam |
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 2(2), pp. 61-79, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Tomohiro Murata, Norihisa Komoda |
Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31 - April 3, 1987, pp. 1960-1965, 1987, IEEE, 0-8186-0787-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Krzysztof R. Apt, Carole Delporte-Gallet |
Syntax Directed Analysis of Liveness Properties ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 68(1-3), pp. 223-253, January/February/March 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Bowen Alpern, Fred B. Schneider |
Defining Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 21(4), pp. 181-185, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed G. Gouda, Hui-Seng Lee |
Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 11(10), pp. 1240-1251, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | A. Prasad Sistla |
On Characterization of Safety and Liveness Properties in Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985, pp. 39-48, 1985, ACM, 0-89791-167-9. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Zohar Manna, Amir Pnueli |
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 4(3), pp. 257-289, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Kurt Lautenbach, Anastasia Pagnoni |
Liveness and duality in marked-graph-like predicate/transition nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 331-352, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed G. Gouda, Chung-Kuo Chang |
A Technique for Proving Liveness of Communicating Finite State Machines with Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984, pp. 38-49, 1984, ACM, 0-89791-143-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Pierpaolo Degano, Ugo Montanari |
Liveness Properties as Convergence in Metric Spaces ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, USA, pp. 31-38, 1984, ACM. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | S. Ramesh 0001, S. L. Mehndiratta |
The Liveness Property of On-the-Fly Garbage Collector - A Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 17(4), pp. 189-195, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
14 | Susan S. Owicki, Leslie Lamport |
Proving Liveness Properties of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 4(3), pp. 455-495, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Jayadev Misra, K. Mani Chandy, Todd Smith |
Proving Safety and Liveness of Communicating Processes with Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, CanadaAugust 18-20, 1982, pp. 201-208, 1982, ACM, 0-89791-081-8. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Barry K. Rosen |
Stickiness and liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 14(2), pp. 44-45, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Michel Hack |
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 15th Annual Symposium on Switching and Automata Theory, New Orleans, Louisiana, USA, October 14-16, 1974, pp. 156-164, 1974, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
8 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Parametric inference of memory requirements for garbage collected languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 121-130, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages |
8 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Making nested parallel transactions practical using lightweight hardware support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 61-71, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, transactional memory, nested parallelism |
8 | Stavros Tripakis |
Checking timed Büchi automata emptiness on simulation graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 15:1-15:19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages |
8 | Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse |
Runtime Monitoring of Web Service Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 2(3), pp. 223-244, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí |
Correctness proof of a database replication protocol under the perspective of the I/O automaton model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(4), pp. 297-330, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Xiangrong Zhou, Peter Petrov |
Cross-layer customization for rapid and low-cost task preemption in multitasked embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(2), pp. 14:1-14:28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Karsten Wolf |
Does My Service Have Partners?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, pp. 152-171, 2009, Springer, 978-3-642-00898-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty |
Modeling and Analysis of Probabilistic Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 69-78, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Better Quality in Synthesis through Quantitative Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 140-156, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 147-166, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Graded-CTL: Satisfiability and Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 306-325, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | André Platzer, Jan-David Quesel |
European Train Control System: A Case Study in Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 246-265, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances |
8 | Vishnu Desaraju, Hyun Chul Ro, Zhiwei Mark Yang, Xu Qiang Edwin Tay, Stephanie Roth, Domitilla Del Vecchio |
Partial order techniques for vehicle collision avoidance: Application to an autonomous roundabout test-bed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 82-87, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas J. Kyriakopoulos |
Coordination of multiple non-holonomic agents with input constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 869-874, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Monika Heiner, Martin Schwarick, Alexej Tovchigrechko |
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 323-332, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Zbigniew Jerzak, Christof Fetzer, Robert Wojcicki |
Soft state in the XSiena publish/subscribe system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt |
Precise garbage collection for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 39-48, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, precise, conservative, c programming language, accurate |
8 | Raymond T. Boute |
Making Temporal Logic Calculational: A Tool for Unification and Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 387-402, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jaco van de Pol, Mark Timmer |
State Space Reduction of Linear Processes Using Control Flow Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 54-68, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn 0001 |
Stochastic Games with Finitary Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 34-54, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri |
Towards formal security analysis of GTRBAC using timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 14th ACM Symposium on Access Control Models and Technologies, SACMAT 2009, Stresa, Italy, June 3-5, 2009, Proceedings, pp. 33-42, 2009, ACM, 978-1-60558-537-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GTRBAC, model checking, timed automata, security analysis, ctl |
8 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Compositional verification of fault-tolerant real-time programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 29-38, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
interference-freedom, fault-tolerance, real-time, formal methods, compositional verification |
8 | Silvian Calman, Jianwen Zhu |
Increasing the Scope and Resolution of Interprocedural Static Single Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 154-170, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dataflow, constant propagation, SSA, interprocedural |
8 | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
Developing Topology Discovery in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 1-19, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Alexis Petrounias, Susan Eisenbach |
Fairness for Chorded Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 86-105, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan 0001 |
On Convergence of Concurrent Systems under Regular Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 527-541, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Haifen Chen, Guangming Lu, Rui Wang |
A new palm vein matching method based on ICP algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 1207-1211, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
palm vein recognition, biometric, matching, image alignment |
8 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001 |
A compositional theory for STM Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 69-80, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
8 | Michael R. Hines, Kartik Gopalan |
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009, pp. 51-60, 2009, ACM, 978-1-60558-375-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
post-copy, virtual machines, operating systems, xen, process migration |
8 | Shu Chen, Yingying Chen 0001, Wade Trappe |
Exploiting environmental properties for wireless localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGMOBILE Mob. Comput. Commun. Rev. ![In: ACM SIGMOBILE Mob. Comput. Commun. Rev. 12(1), pp. 49-51, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|