| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Bernd Finkbeiner Klaus Dräger , Bernd Finkbeiner, Andreas Podelski : Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006 : 19-34 Bernd Finkbeiner, Sven Schewe : Semi-automatic Distributed Synthesis. ATVA 2005 : 263-277 Bernd Finkbeiner, Sven Schewe : Uniform Distributed Synthesis. LICS 2005 : 321-330 Ben D'Angelo , Sriram Sankaranarayanan , César Sánchez , Will Robinson , Bernd Finkbeiner, Henny B. Sipma , Sandeep Mehrotra , Zohar Manna : LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005 : 166-174 Bernd Finkbeiner, Sriram Sankaranarayanan , Henny Sipma : Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27 (3): 253-274 (2005) Bernd Finkbeiner, Henny Sipma : Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24 (2): 101-127 (2004) Bernd Finkbeiner, Sriram Sankaranarayanan , Henny Sipma : Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70 (4): (2002) Bernd Finkbeiner: Language Containment Checking with Nondeterministic BDDs. TACAS 2001 : 24-38 Bernd Finkbeiner, Henny Sipma : Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55 (2): (2001) Anca Browne , Bernd Finkbeiner, Zohar Manna , Henny Sipma : The `Cash-Point' Service: A Verification Case Study Using STeP. Formal Asp. Comput. 12 (4): 218-219 (2000) Nikolaj Bjørner , Anca Browne , Michael Colón , Bernd Finkbeiner, Zohar Manna , Henny Sipma , Tomás E. Uribe : Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16 (3): 227-270 (2000) Bernd Finkbeiner, Zohar Manna , Henny Sipma : Deductive Verification of Modular Systems. COMPOS 1997 : 239-275 Zohar Manna , Michael Colón , Bernd Finkbeiner, Henny Sipma , Tomás E. Uribe : Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997 : 273-292 1 [ 3 ] 2 [ 3 ] [ 4 ] 3 [ 1 ] [ 3 ] 4 [ 10 ] 5 [ 13 ] 6 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 10 ] 7 [ 10 ] 8 [ 13 ] 9 [ 10 ] 10 [ 10 ] 11 [ 7 ] [ 9 ] [ 10 ] 12 [ 11 ] [ 12 ] 13 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] 14 [ 1 ] [ 3 ]  ©2006 Association for Computing Machinery |
