Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Hesuan Hu, Zhiwu Li 0001 |
Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 6(3), pp. 557-559, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jason Baumgartner, Hari Mony |
Scalable liveness checking via property-preserving transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 1680-1685, 2009, IEEE, 978-1-4244-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | David Cameron, John Carroll 0002 |
Encoding liveness: Performance and real-time rendering in machinima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DiGRA Conference ![In: Proceedings of the 2009 DiGRA International Conference: Breaking New Ground: Innovation in Games, Play, Practice and Theory, DiGRA 2009, London, UK, September 1-4, 2009, 2009, Digital Games Research Association. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Girija Chetty, Roland Göcke, Michael Wagner 0004 |
Audio-visual mutual dependency models for biometric liveness checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSP ![In: Auditory-Visual Speech Processing, AVSP 2009, Norwich, UK, September 10-13, 2009, pp. 32-37, 2009, ISCA. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Andrey Rybalchenko |
Automated Methods for Proving Program Termination and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 17, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Divakar Yadav, Michael J. Butler |
Verification of Liveness Properties in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3 ![In: Contemporary Computing - Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings, pp. 625-636, 2009, Springer, 978-3-642-03546-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Girija Chetty |
Biometric liveness detection based on cross modal fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 12th International Conference on Information Fusion, FUSION '09, Seattle, Washington, USA, July 6-9, 2009, pp. 2255-2262, 2009, IEEE, 978-0-9824438-0-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko |
Verification of class liveness properties with java modelling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 2(6), pp. 500-514, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Bozhao Tan, Stephanie A. C. Schuckers |
New approach for liveness detection in fingerprint scanners based on valley noise analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electronic Imaging ![In: J. Electronic Imaging 17(1), pp. 011009, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Proof Score Approach to Verification of Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 91-D(12), pp. 2804-2817, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Elzbieta Roszkowska, Spyros A. Reveliotis |
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 53(7), pp. 1689-1695, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Paul C. Attie |
On the Refinement of Liveness Properties of Distributed Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0949, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | David Boutcher, Abhishek Chandra |
Practical techniques for purging deleted data using liveness information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 42(5), pp. 85-94, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | César Andrés, Ismael Rodríguez, Fernando Rubio 0001 |
Formally Testing Liveness by Means of Compression Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 347-357, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Artificial Life, Compression Algorithms, Maximum Entropy Principle |
14 | Francisco Chicano, Enrique Alba 0001 |
Finding liveness errors with ACO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2008, June 1-6, 2008, Hong Kong, China, pp. 2997-3004, 2008, IEEE, 978-1-4244-1822-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Cheng-Ho Huang, Jhing-Fa Wang |
SVM-based one-against-many algorithm for liveness face authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008, pp. 744-748, 2008, IEEE, 978-1-4244-2383-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Kollreider, Hartwig Fronthaler, Josef Bigün |
Verifying liveness by multiple experts in face biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2008, Anchorage, AK, USA, 23-28 June, 2008, pp. 1-6, 2008, IEEE Computer Society, 978-1-4244-2339-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Kollreider |
Evidence for "liveness" in face biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
14 | Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D. |
Validating for Liveness in Hidden Adversary Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FInCo@ETAPS ![In: Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 53-67, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |
Liveness in Interaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 57-74, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tim Miller 0001, Peter McBurney |
A formal semantics for Gaia liveness rules and expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Agent Oriented Softw. Eng. ![In: Int. J. Agent Oriented Softw. Eng. 1(3/4), pp. 435-476, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Christos A. Kapoutsis |
Deterministic Moles Cannot Solve Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 12(1-2), pp. 215-235, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Frank Nießner, Ulrich Ultes-Nitsche |
A complete characterization of deterministic regular liveness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 387(2), pp. 187-195, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Amey Karkare, Uday P. Khedker, Amitabha Sanyal |
Liveness of Heap Data for Functional Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0703155, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 3(1), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Charles Edwin Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat |
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings., 2007, USENIX. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Leonid Kompanets |
Facial Composites, Ophthalmic Geometry Pattern, and Based on Stated Phenomena: the Test of Person/Personality Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA ![In: Seventh International Conference on Intelligent Systems Design and Applications, ISDA 2007, Rio de Janeiro, Brazil, October 20-24, 2007, pp. 831-836, 2007, IEEE Computer Society, 978-0-7695-2976-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Olfa Mosbahi, Jacques Jaray |
Specification and Proof of Liveness Properties in B Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (SE) ![In: ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007, pp. 25-34, 2007, INSTICC Press, 978-989-8111-06-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Fuming Wu |
Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2007, Las Vegas, Nevada, USA, June 25-28, 2007, Volume 1, pp. 257-263, 2007, CSREA Press, 1-60132-020-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Yi-Bo Zhang, Qin Li 0001, Jane You, Prabir Bhattacharya |
Palm Vein Extraction and Matching for Personal Identification and Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCV ![In: Proceedings of the 2007 International Conference on Image Processing, Computer Vision, & Pattern Recognition, IPCV 2007, June 25-28, 2007, Las Vegas Nevada, USA, pp. 579-583, 2007, CSREA Press, 1-60132-043-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Ramavarapu S. Sreenivas |
Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 70(5-6), pp. 266-274, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Belhassen Zouari |
A Structure Causality Relation for Liveness Characterisation in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 12(2), pp. 214-232, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0611048, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Spyros A. Reveliotis |
A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 3(4), pp. 462-468, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bjorn De Sutter, Bruno De Bus, Koen De Bosschere |
Bidirectional liveness analysis, or how less than half of the Alpha's registers are used. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 52(10), pp. 535-548, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Zinaida Benenson, Felix C. Freiling, Thorsten Holz, Dogan Kesdogan, Lucia Draque Penso |
Safety, Liveness, and Information Flow: Dependability Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS Workshops ![In: ARCS 2006 - 19th International Conference on Architecture of Computing Systems, Workshops Proceedings, March 16, 2006, Frankfurt am Main, Germany, pp. 56-65, 2006, GI, 3-88579-175-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Frank Nießner, Ulrich Ultes-Nitsche |
A Complete Characterization of Deterministic Regular Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 211-222, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Julien Groslambert, Jacques Julliand, Olga Kouchnarenko |
JML-based verification of liveness properties on a class in isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@FSE ![In: Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006, pp. 41-48, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Venkita Subramonian, Christopher D. Gill, César Sánchez 0001, Henny B. Sipma |
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 252-261, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
middleware, timed automata |
14 | Aditya Abhyankar, Stephanie Schuckers |
Empirical Mode Decomposition Liveness Check in Fingerprint Time Series Captures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2006, New York, NY, USA, 17-22 June, 2006, pp. 28, 2006, IEEE Computer Society, 0-7695-2646-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bozhao Tan, Stephanie Schuckers |
Liveness Detection for Fingerprint Scanners Based on the Statistics of Wavelet Signal Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2006, New York, NY, USA, 17-22 June, 2006, pp. 26, 2006, IEEE Computer Society, 0-7695-2646-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen |
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 212-227, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Frank Nießner |
Specification of Deterministic Regular Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006, pp. 173-178, 2006, INSTICC Press, 978-972-8865-49-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Viktor Schuppan |
Liveness checking as safety checking to find shortest counterexamples to linear time properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
14 | Kun Wei |
Analysis of liveness through proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
14 | Héctor Ruíz Barradas |
Liveness Properties under Fairness Assumptions and Semantics of Systems in event B. (Propriétés de vivacité sous conditions d'équité etsémantique des systèmes d'événements avec la méthode B). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
14 | Viktor Schuppan, Armin Biere |
Liveness Checking as Safety Checking for Infinite State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 79-96, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nobuko Yoshida |
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APC 25 ![In: Proceedings of the Workshop `Essays on Algebraic Process Calculi`, APC 25, Bertinoro, Italy, August 1-5, 2005, pp. 333-340, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Belhassen Zouari |
A Structure Causality Relation for Liveness Characterisation in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(6), pp. 1115-1133, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Héctor Ruíz Barradas, Didier Bert |
Proof obligations for specification and refinement of liveness properties under weak fairness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0502046, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Nicolas Eveno, Laurent Besacier |
A speaker independent "liveness" test for audio-visual biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2005 - Eurospeech, 9th European Conference on Speech Communication and Technology, Lisbon, Portugal, September 4-8, 2005, pp. 3081-3084, 2005, ISCA. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Girija Chetty, Michael Wagner 0004 |
Liveness detection using cross-modal correlations in face-voice person authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2005 - Eurospeech, 9th European Conference on Speech Communication and Technology, Lisbon, Portugal, September 4-8, 2005, pp. 2181-2184, 2005, ISCA. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Proof Score Approach to Verification of Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, pp. 608-613, 2005, 1-891706-16-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Satoshi Yamane |
Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 332-345, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Christos A. Kapoutsis |
Deterministic moles cannot solve liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings, pp. 194-205, 2005, Università degli Studi di Milano, Milan, Italy. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman |
Operation Liveness and Gossip Management in a Dynamic Distributed Atomic Data Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCS ![In: Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing Systems, September 12-14, 2005 Imperial Palace Hotel, Las Vegas, Nevada, USA, pp. 206-211, 2005, ISCA, 1-880843-56-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Pallavi Shurpali, Ravi Shankar 0001, Ellie Shuff |
On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: 2005 International Conference on Microelectronics Systems Education, MSE 2005, Anaheim, CA, USA, June 12-13, 2005, pp. 93-94, 2005, IEEE Computer Society, 0-7695-2374-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Dmitry Gromov, Eckart Mayer, Jörg Raisch, Daniele Corona, Carla Seatzu, Alessandro Giua |
Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIC ![In: Intelligent Control, 2005. Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation, Limassol, Cyprus, 27-29 June, 2005, pp. 243-249, 2005, IEEE, 0-7803-8936-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Keyi Xing, Baosheng Hu |
Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005, pp. 282-287, 2005, IEEE, 0-7803-9298-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink |
Safety and Liveness in Concurrent Pointer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 280-312, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Li Jiao |
Compositional analysis for regularity, liveness and boundedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO ![In: ICINCO 2005, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD, pp. 169-174, 2005, INSTICC Press. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Girija Chetty, Michael Wagner 0004 |
Investigating feature-level fusion for checking liveness in face-voice authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSPA ![In: Proceedings of the Eighth International Symposium on Signal Processing and Its Applications, ISSPA 2005, 28-31 August 2005, Sydney, Australia, pp. 66-69, 2005, IEEE, 0-7803-9243-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nico Wallmeier |
Strategien in unendlichen Spielen mit Liveness-Gewinnbedingungen: Syntheseverfahren, Optimierung und Implementierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
14 | Ahmed Bouajjani, Axel Legay, Pierre Wolper |
Handling Liveness Properties in (omega-)Regular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 101-115, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alessandra Cavarra, Juliana Küster Filipe |
Combining Sequence Diagrams and OCL for Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFEDL@ETAPS ![In: Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 19-38, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay |
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 19(6), pp. 795-802, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Xiaolan Xie, Alessandro Giua |
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 49(7), pp. 1217-1219, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kevin X. He, Michael D. Lemmon |
Author's reply [to comments on 'Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods']. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 49(7), 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Li Jiao, To-Yat Cheung, Weiming Lu |
On liveness and boundedness of asymmetric choice nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 311(1-3), pp. 165-197, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Lei Xue, Yue Hao |
Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 47(3), pp. 273-286, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michael Backes 0001, Birgit Pfitzmann, Michael Waidner |
Polynomial liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 12(3-4), pp. 589-617, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michael Wagner 0004, Girija Chetty |
"liveness" verification in audio-video authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2004 - ICSLP, 8th International Conference on Spoken Language Processing, Jeju Island, Korea, October 4-8, 2004, pp. 2509-2512, 2004, ISCA. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Muffy Calder |
Abstraction for Safety, Induction for Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 20, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Maarten Bodlaender, Jarno Guidi, Lex Heerink |
Enhancing discovery with liveness [network device disappearance detection protocol]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 1st IEEE Consumer Communications and Networking Conference, CCNC 2004, Las Vegas, NV, USA, January 5-8, 2004, pp. 636-638, 2004, IEEE, 0-7803-8145-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Incomprehensible Ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 482-496, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr |
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 58-70, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jürgen Giesl, Hans Zantema |
Simulating liveness by reduction strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 641-656, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jun-Cheol Park |
Verifying liveness properties of multifunction composite protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 26(12), pp. 1318-1329, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Marian V. Iordache, Panos J. Antsaklis |
Design of T-liveness enforcing supervisors in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 48(11), pp. 1962-1974, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
Presburger liveness verification of discrete timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 299(1-3), pp. 413-438, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Li Jiao, To-Yat Cheung |
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 14(4), pp. 641-658, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Aydin Aybar, Altug Iftar |
Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 7th European Control Conference, ECC 2003, Cambridge, UK, September 1-4, 2003, pp. 1681-1686, 2003, IEEE, 978-3-9524173-7-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Song Foh Chew, Mark A. Lawley, Spyros A. Reveliotis |
Liveness enforcing supervision for resource allocation systems with process synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003, pp. 3735-3741, 2003, IEEE, 0-7803-7924-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Charles E. Phillips, Steven A. Demurjian, T. C. Ting |
Safety and Liveness for an RBAC/MAC Security Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security XVII: Status and Prospects, IFIP TC-11 WG 11.3 Seventeenth Annual Working Conference on Data and Application Security, August4-6, 2003, Estes Park, Colorado, USA, pp. 316-329, 2003, Kluwer/Springer, 1-4020-8069-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Ran Shaham |
Heap-liveness-based memory management : potential, tools, and algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
14 | Armin Biere, Cyrille Artho, Viktor Schuppan |
Liveness Checking as Safety Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 160-177, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Atsushi Ohta, Kohkichi Tsuji |
NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(5), pp. 1071-1074, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
14 | Kevin X. He, Michael D. Lemmon |
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 47(7), pp. 1042-1055, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jonghun Park, Spyros A. Reveliotis |
Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 18(2), pp. 234-240, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jonghun Park, Spyros A. Reveliotis |
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA, pp. 187-192, 2002, IEEE, 0-7803-7273-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Michael D. Lemmon, Kevin X. He |
Liveness enforcing monitors for safe and controllable Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 775-780, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | David Ruiz 0001, Rafael Corchuelo, José Antonio Pérez, Miguel Toro |
An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 563-572, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jiao Li, Lu Weiming |
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 16(5), pp. 426-433, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Y. Chao, Jose A. Nicdao |
Liveness for Synchronized Choice Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 44(2), pp. 124-136, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Panagiotis Manolios, Richard J. Trefler |
Safety and Liveness in Branching Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pp. 366-374, 2001, IEEE Computer Society, 0-7695-1281-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Marian V. Iordache, John O. Moody, Panos J. Antsaklis |
A method for the synthesis of liveness enforcing supervisors in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2001, Arlington, VA, USA, 25-27 June, 2001, pp. 4943-4948, 2001, IEEE, 0-7803-6495-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Oukseh Lee |
An Effect System Combining Alias and Liveness for Explicit Memory Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, pp. 133-145, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
14 | Marian V. Iordache, Panos J. Antsaklis |
-liveness enforcement in Petri nets based on structural net properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 4984-4989, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Amir Pnueli, Elad Shahar |
Liveness and Acceleration in Parameterized Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, pp. 328-343, 2000, Springer, 3-540-67770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Ramavarapu S. Sreenivas |
On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 39th IEEE Conference on Decision and Control, CDC 2000, Sydney, Australia, December 12-15, 2000, pp. 2651-2656, 2000, IEEE, 0-7803-6638-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|