Ipate, Florentin; Gheorghe, Marian; Holcombe, Mike; Bălănescu, Tudor Testing using \(X\)-machine translations. (English) Zbl 1499.68110 Masami, Ito (ed.) et al., Words, semigroups, & transductions. Festschrift in honor of Gabriel Thierrin. Singapore: World Scientific. 211-229 (2001). MSC: 68Q09 68Q60 PDFBibTeX XMLCite \textit{F. Ipate} et al., in: Words, semigroups, \& transductions. Festschrift in honor of Gabriel Thierrin. Singapore: World Scientific. 211--229 (2001; Zbl 1499.68110) Full Text: DOI
Matveeva, L. E. Specification and verification of some properties of dynamical systems. (Russian) Zbl 1494.68171 Sergienko, I. V., Komp’yuterna matematyka. Optymizatsiya obchyslen’. Tom 1. Kiev: Natsional’naya Akademiya Nauk Ukrainy, Institut Kibernetiki im. V. M. Glushkova. 281-292 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. E. Matveeva}, in: Komp'yuterna matematyka. Optymizatsiya obchyslen'. Tom 1. Kiev: Natsional'naya Akademiya Nauk Ukrainy, Institut Kibernetiki im. V. M. Glushkova. 281--292 (2001; Zbl 1494.68171)
Uhrmacher, A. M. Dynamic structures in modeling and simulation: a reflective approach. (English) Zbl 1390.68746 ACM Trans. Model. Comput. Simul. 11, No. 2, 206-232 (2001). MSC: 68U20 68Q60 68Q85 93A30 93C65 PDFBibTeX XMLCite \textit{A. M. Uhrmacher}, ACM Trans. Model. Comput. Simul. 11, No. 2, 206--232 (2001; Zbl 1390.68746) Full Text: DOI
O’Neil, Timothy W.; Sha, Edwin H.-M. Retiming synchronous data-flow graphs to reduce execution time. (English) Zbl 1369.94244 IEEE Trans. Signal Process. 49, No. 10, 2397-2407 (2001). MSC: 94A12 68M20 68Q60 PDFBibTeX XMLCite \textit{T. W. O'Neil} and \textit{E. H. M. Sha}, IEEE Trans. Signal Process. 49, No. 10, 2397--2407 (2001; Zbl 1369.94244) Full Text: DOI Link
Bryant, Randal E.; German, Steven; Velev, Miroslav N. Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. (English) Zbl 1365.68317 ACM Trans. Comput. Log. 2, No. 1, 93-134 (2001). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{R. E. Bryant} et al., ACM Trans. Comput. Log. 2, No. 1, 93--134 (2001; Zbl 1365.68317) Full Text: DOI arXiv
Blass, Andreas; Gurevich, Yuri Inadequacy of computable loop invariants. (English) Zbl 1365.68315 ACM Trans. Comput. Log. 2, No. 1, 1-11 (2001). MSC: 68Q60 03B70 68N30 68T15 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, ACM Trans. Comput. Log. 2, No. 1, 1--11 (2001; Zbl 1365.68315) Full Text: DOI
St. James, Simon; Ultes-Nitsche, Ulrich Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness. (English) Zbl 1333.68180 Proceedings of the 20th annual ACM symposium on principles of distributed computing, PODC ’01, Newport, RI, USA, August 26–28, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-383-9). 238-245 (2001). MSC: 68Q60 68M14 68Q85 PDFBibTeX XMLCite \textit{S. St. James} and \textit{U. Ultes-Nitsche}, in: Proceedings of the 20th annual ACM symposium on principles of distributed computing, PODC '01, Newport, RI, USA, August 26--28, 2001. New York, NY: Association for Computing Machinery (ACM). 238--245 (2001; Zbl 1333.68180) Full Text: DOI
Frick, Markus; Grohe, Martin Deciding first-order properties of locally tree-decomposable structures. (English) Zbl 1323.03014 J. ACM 48, No. 6, 1184-1206 (2001). MSC: 03B25 03C07 05C05 05C75 68Q25 68Q60 PDFBibTeX XMLCite \textit{M. Frick} and \textit{M. Grohe}, J. ACM 48, No. 6, 1184--1206 (2001; Zbl 1323.03014) Full Text: DOI arXiv
Davies, Rowan; Pfenning, Frank A modal analysis of staged computation. (English) Zbl 1323.68107 J. ACM 48, No. 3, 555-604 (2001). MSC: 68N18 03B40 03B45 68Q60 PDFBibTeX XMLCite \textit{R. Davies} and \textit{F. Pfenning}, J. ACM 48, No. 3, 555--604 (2001; Zbl 1323.68107) Full Text: DOI
Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen On reachability and safety in infinite-state systems. (English) Zbl 1319.68084 Int. J. Found. Comput. Sci. 12, No. 6, 821-836 (2001). MSC: 68Q05 68Q45 68Q60 PDFBibTeX XMLCite \textit{O. H. Ibarra} et al., Int. J. Found. Comput. Sci. 12, No. 6, 821--836 (2001; Zbl 1319.68084) Full Text: DOI
Lederer, Edgar F. A.; Dumitrescu, Romeo A. Automatic result verification by complete run-time checking of computations. (English) Zbl 1319.68057 Int. J. Found. Comput. Sci. 12, No. 1, 97-124 (2001). MSC: 68N18 68N19 68Q60 PDFBibTeX XMLCite \textit{E. F. A. Lederer} and \textit{R. A. Dumitrescu}, Int. J. Found. Comput. Sci. 12, No. 1, 97--124 (2001; Zbl 1319.68057) Full Text: DOI
Shields, Mark; Meijer, Erik Type-indexed rows. (English) Zbl 1323.68159 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 261-275 (2001). MSC: 68N18 68N15 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{M. Shields} and \textit{E. Meijer}, in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 261--275 (2001; Zbl 1323.68159) Full Text: DOI
Bugliesi, Michele; Castagna, Giuseppe Secure safe ambients. (English) Zbl 1323.68404 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 222-235 (2001). MSC: 68Q85 68N30 68Q60 94A60 PDFBibTeX XMLCite \textit{M. Bugliesi} and \textit{G. Castagna}, in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 222--235 (2001; Zbl 1323.68404) Full Text: DOI
Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A. What packets may come: automata for network monitoring. (English) Zbl 1323.68199 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 206-219 (2001). MSC: 68N30 68M12 68N15 68Q45 68Q60 68W32 PDFBibTeX XMLCite \textit{K. Bhargavan} et al., in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 206--219 (2001; Zbl 1323.68199) Full Text: DOI
Flanagan, Cormac; Saxe, James B. Avoiding exponential explosion: generating compact verification conditions. (English) Zbl 1323.68372 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 193-205 (2001). MSC: 68Q60 68N15 68Q25 PDFBibTeX XMLCite \textit{C. Flanagan} and \textit{J. B. Saxe}, in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 193--205 (2001; Zbl 1323.68372) Full Text: DOI
Igarashi, Atsushi; Kobayashi, Naoki A generic type system for the \(\pi\)-calculus. (English) Zbl 1323.68410 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 128-141 (2001). MSC: 68Q85 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{A. Igarashi} and \textit{N. Kobayashi}, in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 128--141 (2001; Zbl 1323.68410) Full Text: DOI
Mader, Angelika; Brinksma, Ed; Wupper, Hanno; Bauer, Nanette Design of a PLC control program for a batch plant VHS case study 1. (English) Zbl 1293.93419 Eur. J. Control 7, No. 4, 416-439 (2001). MSC: 93C30 93B40 PDFBibTeX XMLCite \textit{A. Mader} et al., Eur. J. Control 7, No. 4, 416--439 (2001; Zbl 1293.93419) Full Text: DOI Link
Huuck, Ralf; Lukoschus, Ben; Lakhnech, Yassine Verifying untimed and timed aspects of the experimental batch plant. (English) Zbl 1293.93317 Eur. J. Control 7, No. 4, 400-415 (2001). MSC: 93B50 93C30 93C65 PDFBibTeX XMLCite \textit{R. Huuck} et al., Eur. J. Control 7, No. 4, 400--415 (2001; Zbl 1293.93317) Full Text: DOI Link
Goerigk, Wolfgang Mechanical software verification: high level control aspects from a user’s perspective. (English) Zbl 1268.68111 Bonacina, Paola (ed.) et al., STRATEGIES 2001. Selected papers of the 4th international workshop on strategies in automated deduction (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 2, 117-137 (2001). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{W. Goerigk}, Electron. Notes Theor. Comput. Sci. 58, No. 2, 117--137 (2001; Zbl 1268.68111) Full Text: DOI
Williams, Poul Frederick Formal verification based on Boolean expression diagrams. (English) Zbl 1266.68004 Electronic Notes in Theoretical Computer Science 56. Amsterdam: Elsevier; Lyngby: TU Denmark, Department of Information Technology (Diss. 2000). iv, 190 p., electronic only (2001). MSC: 68-02 68Q60 PDFBibTeX XMLCite \textit{P. F. Williams}, Formal verification based on Boolean expression diagrams. Amsterdam: Elsevier; Lyngby: TU Denmark, Department of Information Technology (Diss. 2000) (2001; Zbl 1266.68004) Full Text: DOI
Schneider, Steve May testing, non-interference, and compositionality. (English) Zbl 1264.68112 Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 361-391 (2001). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{S. Schneider}, Electron. Notes Theor. Comput. Sci. 40, 361--391 (2001; Zbl 1264.68112) Full Text: DOI
Comini, Marco; Gori, Roberta; Levi, Giorgio Assertion based inductive verification methods for logic programs. (English) Zbl 1264.68110 Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 52-69 (2001). MSC: 68Q60 68N17 PDFBibTeX XMLCite \textit{M. Comini} et al., Electron. Notes Theor. Comput. Sci. 40, 52--69 (2001; Zbl 1264.68110) Full Text: DOI
Cervesato, Iliano Typed multiset rewriting specifications of security protocols. (English) Zbl 1264.68075 Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 8-51 (2001). MSC: 68P25 94A60 94A62 68Q60 PDFBibTeX XMLCite \textit{I. Cervesato}, Electron. Notes Theor. Comput. Sci. 40, 8--51 (2001; Zbl 1264.68075) Full Text: DOI
Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia Modeling concurrent systems specified in a temporal concurrent constraint language. I. (English) Zbl 1263.68118 Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 197-210 (2001). MSC: 68Q85 68N19 68Q60 PDFBibTeX XMLCite \textit{M. Falaschi} et al., Electron. Notes Theor. Comput. Sci. 48, 197--210 (2001; Zbl 1263.68118) Full Text: DOI
Comini, Marco; Gori, Roberta; Levi, Giorgio Logic programs as specifications in the inductive verification of logic programs. (English) Zbl 1263.68034 Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 131-146 (2001). MSC: 68N17 68N30 68Q60 PDFBibTeX XMLCite \textit{M. Comini} et al., Electron. Notes Theor. Comput. Sci. 48, 131--146 (2001; Zbl 1263.68034) Full Text: DOI
Dovier, Agostino; Giacobazzi, Roberto; Quintarelli, Elisa Refining and compressing abstract model checking. (English) Zbl 1263.68108 Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 90-107 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Dovier} et al., Electron. Notes Theor. Comput. Sci. 48, 90--107 (2001; Zbl 1263.68108) Full Text: DOI
Desel, Jörg; Juhás, Gabriel; Lorenz, Robert Unifying Petri nets with restricted occurrence rule using partial algebra. (English) Zbl 1263.68107 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 163-187 (2001). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Desel} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 163--187 (2001; Zbl 1263.68107) Full Text: DOI
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba Representation and execution of Petri nets using rewriting logic as a unifying framework. (English) Zbl 1263.68094 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 140-162 (2001). MSC: 68Q42 68Q60 68Q85 68Q55 PDFBibTeX XMLCite \textit{M.-O. Stehr} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 140--162 (2001; Zbl 1263.68094) Full Text: DOI
Dehnert, J.; Gajewsky, M.; Lembke, S.; Weber, H. The Petri net Baukasten: 2nd installment. (English) Zbl 1263.68106 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 120-139 (2001). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Dehnert} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 120--139 (2001; Zbl 1263.68106) Full Text: DOI
Baresi, Luciano; Pezzè, Mauro Improving UML with Petri nets. (English) Zbl 1263.68105 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 107-119 (2001). MSC: 68Q60 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. Baresi} and \textit{M. Pezzè}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 107--119 (2001; Zbl 1263.68105) Full Text: DOI
Schürr, Andy Adding graph transformation concepts to UML’s constraint language OCL. (English) Zbl 1263.68114 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 93-106 (2001). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{A. Schürr}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 93--106 (2001; Zbl 1263.68114) Full Text: DOI
Große-Rhode, Martin Formal concepts for an integrated internal model of the UML. (English) Zbl 1263.68110 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 80-92 (2001). MSC: 68Q60 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Große-Rhode}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 80--92 (2001; Zbl 1263.68110) Full Text: DOI
Minas, Mark; Hoffmann, Berthold Specifying and implementing visual process modeling languages with DiaGen. (English) Zbl 1263.68113 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 67-79 (2001). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{M. Minas} and \textit{B. Hoffmann}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 67--79 (2001; Zbl 1263.68113) Full Text: DOI
Ermel, C.; Bardohl, R.; Padberg, J. Visual design of software architecture and evolution based on graph transformation. (English) Zbl 1263.68109 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 52-66 (2001). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{C. Ermel} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 52--66 (2001; Zbl 1263.68109) Full Text: DOI
Heckel, Reiko; Zündorf, Albert How to specify a graph transformation approach: a meta model for Fujaba. (English) Zbl 1263.68111 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 41-51 (2001). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{R. Heckel} and \textit{A. Zündorf}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 41--51 (2001; Zbl 1263.68111) Full Text: DOI
Taentzer, Gabriele Towards common exchange formats for graphs and graph transformation systems. (English) Zbl 1263.68115 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 28-40 (2001). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. Taentzer}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 28--40 (2001; Zbl 1263.68115) Full Text: DOI
Parisi-Presicce, Francesco On modifying high level replacement systems. (English) Zbl 1263.68091 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 16-27 (2001). MSC: 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{F. Parisi-Presicce}, Electron. Notes Theor. Comput. Sci. 44, No. 4, 16--27 (2001; Zbl 1263.68091) Full Text: DOI
Kreowski, Hans-Jörg; Busatto, Giorgio; Kuske, Sabine GRACE as a unifying approach to graph-transformation-based specification. (English) Zbl 1263.68085 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 1-15 (2001). MSC: 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{H.-J. Kreowski} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 1--15 (2001; Zbl 1263.68085) Full Text: DOI
Arita, Tomokazu; Tomiyama, Kiyonobu; Tsuchida, Kensei; Yaku, Takeo Application of attribute NCE graph grammars to syntactic editing of tabular forms. (English) Zbl 1262.68075 Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 282-288 (2001). MSC: 68Q42 68N30 68Q60 PDFBibTeX XMLCite \textit{T. Arita} et al., Electron. Notes Theor. Comput. Sci. 50, No. 3, 282--288 (2001; Zbl 1262.68075) Full Text: DOI
Tsiolakis, Aliki Integrating model information in UML sequence diagrams. (English) Zbl 1262.68131 Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 266-274 (2001). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{A. Tsiolakis}, Electron. Notes Theor. Comput. Sci. 50, No. 3, 266--274 (2001; Zbl 1262.68131) Full Text: DOI
Heckel, Reiko; Küster, Jochen M. Behavioral constraints for visual models. (English) Zbl 1262.68121 Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 257-265 (2001). MSC: 68Q60 68Q55 PDFBibTeX XMLCite \textit{R. Heckel} and \textit{J. M. Küster}, Electron. Notes Theor. Comput. Sci. 50, No. 3, 257--265 (2001; Zbl 1262.68121) Full Text: DOI
Corradini, Andrea; Dotti, Fernando Luís; Ribeiro, Leila A graph transformation view on the specification of applications using mobile code. (English) Zbl 1262.68112 Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 238-246 (2001). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., Electron. Notes Theor. Comput. Sci. 50, No. 3, 238--246 (2001; Zbl 1262.68112) Full Text: DOI
Baukus, K.; Stahl, K.; Bensalem, S.; Lakhnech, Y. Networks of processes with parameterized state space. (English) Zbl 1262.68103 Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 386-400 (2001). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{K. Baukus} et al., Electron. Notes Theor. Comput. Sci. 50, No. 4, 386--400 (2001; Zbl 1262.68103) Full Text: DOI
Delzanno, G. An assertional language for the verification of systems parametric in several dimensions (preliminary results). (English) Zbl 1262.68115 Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 371-385 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{G. Delzanno}, Electron. Notes Theor. Comput. Sci. 50, No. 4, 371--385 (2001; Zbl 1262.68115) Full Text: DOI
Kyas, Marcel Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol. (English) Zbl 1262.68126 Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 357-370 (2001). MSC: 68Q60 68M12 PDFBibTeX XMLCite \textit{M. Kyas}, Electron. Notes Theor. Comput. Sci. 50, No. 4, 357--370 (2001; Zbl 1262.68126) Full Text: DOI
Touili, Tayssir Regular model checking using widening techniques. (English) Zbl 1262.68130 Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 342-356 (2001). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. Touili}, Electron. Notes Theor. Comput. Sci. 50, No. 4, 342--356 (2001; Zbl 1262.68130) Full Text: DOI
Mayr, Richard (ed.) VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. (English) Zbl 1262.68015 Electronic Notes in Theoretical Computer Science 50, No. 4. Amsterdam: Elsevier. 327-402, electronic only (2001). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{R. Mayr} (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier (2001; Zbl 1262.68015) Full Text: Link
Ehrig, Hartmut (ed.); Ermel, Claudia (ed.); Padberg, Julia (ed.) UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. (English) Zbl 1262.68012 Electronic Notes in Theoretical Computer Science 44, No. 4. Amsterdam: Elsevier. 189 p., electronic only (2001). MSC: 68-06 68Q42 68Q60 68Q85 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 -- April 1, 2001. Proceedings. Amsterdam: Elsevier (2001; Zbl 1262.68012) Full Text: Link
Power, John; Tourlas, Konstantinos An algebraic foundation for graph-based diagrams in computing. (English) Zbl 1260.68114 Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 346-357 (2001). MSC: 68N30 68Q60 05C65 18A10 PDFBibTeX XMLCite \textit{J. Power} and \textit{K. Tourlas}, Electron. Notes Theor. Comput. Sci. 45, 346--357 (2001; Zbl 1260.68114) Full Text: DOI
Huth, Michael; Pradhan, Shekhar Model-checking view-based partial specifications. (English) Zbl 1260.68100 Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 174-196 (2001). MSC: 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{M. Huth} and \textit{S. Pradhan}, Electron. Notes Theor. Comput. Sci. 45, 174--196 (2001; Zbl 1260.68100) Full Text: DOI
Gordon, Andrew D.; Jeffrey, Alan Typing correspondence assertions for communication protocols. (English) Zbl 1260.94063 Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 119-140 (2001). MSC: 94A62 94A60 68Q60 PDFBibTeX XMLCite \textit{A. D. Gordon} and \textit{A. Jeffrey}, Electron. Notes Theor. Comput. Sci. 45, 119--140 (2001; Zbl 1260.94063) Full Text: DOI
Eleftherakis, George; Kefalas, Petros; Sotiriadou, Anna XmCTL: extending temporal logic to facilitate formal verification of X-machine models. (English) Zbl 1265.68069 An. Univ. București, Mat.-Inform. 50, No. 1, 79-95 (2001). MSC: 68Q05 68Q60 PDFBibTeX XMLCite \textit{G. Eleftherakis} et al., An. Univ. București, Mat.-Inform. 50, No. 1, 79--95 (2001; Zbl 1265.68069)
Bowman, Howard (ed.); Derrick, John (ed.) Formal methods for distributed processing. A survey of object-oriented approaches. (English) Zbl 1233.68012 Cambridge: Cambridge University Press (ISBN 0-521-77184-6/hbk). x, 480 p. (2001). MSC: 68-06 68Q85 68N19 68Q60 68N30 68M14 68N15 00B15 PDFBibTeX XMLCite \textit{H. Bowman} (ed.) and \textit{J. Derrick} (ed.), Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (2001; Zbl 1233.68012)
Comini, Marco; Gori, Roberta; Levi, Giorgio How to transform an analyzer into a verifier. (English) Zbl 1275.68088 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 595-609 (2001). MSC: 68Q60 68N17 68N18 PDFBibTeX XMLCite \textit{M. Comini} et al., Lect. Notes Comput. Sci. 2250, 595--609 (2001; Zbl 1275.68088) Full Text: DOI
Serebrenik, Alexander; De Schreye, Danny On termination of meta-programs. (English) Zbl 1275.68050 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 517-530 (2001). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Serebrenik} and \textit{D. De Schreye}, Lect. Notes Comput. Sci. 2250, 517--530 (2001; Zbl 1275.68050) Full Text: DOI Link
Georgieva, Lilia; Hustadt, Ullrich; Schmidt, Renate A. Computational space efficiency and minimal model generation for guarded formulae. (English) Zbl 1275.68091 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 85-99 (2001). MSC: 68Q60 03B25 03B45 68Q25 68T27 PDFBibTeX XMLCite \textit{L. Georgieva} et al., Lect. Notes Comput. Sci. 2250, 85--99 (2001; Zbl 1275.68091) Full Text: DOI
Berwanger, Dietmar; Grädel, Erich Games and model checking for guarded logics. (English) Zbl 1275.68087 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 70-84 (2001). MSC: 68Q60 03B25 03D05 PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{E. Grädel}, Lect. Notes Comput. Sci. 2250, 70--84 (2001; Zbl 1275.68087) Full Text: DOI
Diekert, Volker; Gastin, Paul Local temporal logic is expressively complete for cograph dependence alphabets. (English) Zbl 1275.68089 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 55-69 (2001). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{V. Diekert} and \textit{P. Gastin}, Lect. Notes Comput. Sci. 2250, 55--69 (2001; Zbl 1275.68089) Full Text: DOI
Schneider, Klaus Improving automata generation for linear temporal logic by considering the automaton hierarchy. (English) Zbl 1275.68096 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 39-54 (2001). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{K. Schneider}, Lect. Notes Comput. Sci. 2250, 39--54 (2001; Zbl 1275.68096) Full Text: DOI
Kupferman, Orna; Vardi, Moshe Y. On bounded specifications. (English) Zbl 1275.68094 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 24-38 (2001). MSC: 68Q60 03B44 68Q45 68Q85 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{M. Y. Vardi}, Lect. Notes Comput. Sci. 2250, 24--38 (2001; Zbl 1275.68094) Full Text: DOI
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael Monodic fragments of first-order temporal logics: 2000–2001 A.D. (English) Zbl 1275.03088 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 1-23 (2001). MSC: 03B44 68Q60 68T27 68T30 PDFBibTeX XMLCite \textit{I. Hodkinson} et al., Lect. Notes Comput. Sci. 2250, 1--23 (2001; Zbl 1275.03088) Full Text: DOI
Rybina, Tatiana; Voronkov, Andrei A decision procedure for term algebras with queues. (English) Zbl 1171.68557 ACM Trans. Comput. Log. 2, No. 2, 155-181 (2001). MSC: 68Q65 03B25 03C10 68Q60 PDFBibTeX XMLCite \textit{T. Rybina} and \textit{A. Voronkov}, ACM Trans. Comput. Log. 2, No. 2, 155--181 (2001; Zbl 1171.68557) Full Text: DOI
Garcés Calvelo, Alejandro; Mantilla Belett, Magali A complete validation method based on constraints. (Spanish. English summary) Zbl 1158.68423 Rev. Cienc. Mat. 19, No. 1, 80-88 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Garcés Calvelo} and \textit{M. Mantilla Belett}, Rev. Cienc. Mat. 19, No. 1, 80--88 (2001; Zbl 1158.68423)
Kupferman, Orna; Vardi, Moshe Y. Weak alternating automata are not that weak. (English) Zbl 1171.68551 ACM Trans. Comput. Log. 2, No. 3, 408-429 (2001). MSC: 68Q60 03B70 03D05 68Q45 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{M. Y. Vardi}, ACM Trans. Comput. Log. 2, No. 3, 408--429 (2001; Zbl 1171.68551) Full Text: DOI Link
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron Parametric temporal logic for “model measuring”. (English) Zbl 1171.68544 ACM Trans. Comput. Log. 2, No. 3, 388-407 (2001). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{R. Alur} et al., ACM Trans. Comput. Log. 2, No. 3, 388--407 (2001; Zbl 1171.68544) Full Text: DOI
Reif, Wolfgang (ed.); Schellhorn, Gerhard (ed.) Special issue on tools for system design and verification. FM-TOOLs 2000, 4th workshop, Reisensburg castle, Germany, 2000. Part 2. (English) Zbl 0959.00039 J. UCS 7, No. 2, Spec. Iss., 6 papers (2001). MSC: 00B25 68-06 68Q60 PDFBibTeX XML Full Text: Link
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan Model-checking LTL with regular valuations for pushdown systems. (English) Zbl 1087.68542 Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 316-339 (2001). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 2215, 316--339 (2001; Zbl 1087.68542) Full Text: Link
Paulin-Mohring, Christine Modelisation of timed automata in Coq. (English) Zbl 1087.68575 Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 298-315 (2001). MSC: 68Q45 68Q60 68T15 PDFBibTeX XMLCite \textit{C. Paulin-Mohring}, Lect. Notes Comput. Sci. 2215, 298--315 (2001; Zbl 1087.68575) Full Text: Link
MacKenzie, Donald Mechanizing proof. Computing, risk, and trust. (English) Zbl 1063.68500 Inside Technology. Cambridge, MA: MIT Press (ISBN 0-262-63295-0/hbk). xii, 427 p. (2001). MSC: 68-03 01A65 03B35 68Q60 68T15 PDFBibTeX XMLCite \textit{D. MacKenzie}, Mechanizing proof. Computing, risk, and trust. Cambridge, MA: MIT Press (2001; Zbl 1063.68500)
Samborski, D. Stack service model. (English) Zbl 1089.68513 Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 177-196 (2001). MSC: 68M10 68Q60 PDFBibTeX XMLCite \textit{D. Samborski}, in: Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15--16, 2000. London: Springer. 177--196 (2001; Zbl 1089.68513)
Plath, Malte; Ryan, Mark Dermot Defining features for CSP: reflections on the feature interaction contest. (English) Zbl 1089.68570 Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 163-175 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Plath} and \textit{M. D. Ryan}, in: Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15--16, 2000. London: Springer. 163--175 (2001; Zbl 1089.68570)
Cassez, Franck; Ryan, Mark Dermot; Schobbens, Pierre-Yves Proving feature non-interaction with alternating-time temporal logic. (English) Zbl 1047.03022 Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 85-103 (2001). MSC: 03B70 03B44 68Q85 68Q60 91A80 PDFBibTeX XMLCite \textit{F. Cassez} et al., in: Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15--16, 2000. London: Springer. 85--103 (2001; Zbl 1047.03022)
Pliuškevičienė, Aida Decision procedure for a fragment of dynamic logic. (English) Zbl 1043.03516 Liet. Mat. Rink. 41, Spec. Iss., 413-420 (2001). MSC: 03B70 03B25 68Q60 PDFBibTeX XMLCite \textit{A. Pliuškevičienė}, Liet. Mat. Rink. 41, 413--420 (2001; Zbl 1043.03516)
Drabent, Włodzimierz; Miłkowska, Mirosława Proving correctness and completeness of normal programs – a declarative approach. (English) Zbl 1053.68527 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 284-299 (2001). MSC: 68N17 68Q55 68Q60 PDFBibTeX XMLCite \textit{W. Drabent} and \textit{M. Miłkowska}, Lect. Notes Comput. Sci. 2237, 284--299 (2001; Zbl 1053.68527) Full Text: Link
Kumar, K. Narayan; Ramakrishnan, C. R.; Smolka, S. A. Alternating fixed points in Boolean equation systems as preferred stable models. (English) Zbl 1053.68536 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 227-241 (2001). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{K. N. Kumar} et al., Lect. Notes Comput. Sci. 2237, 227--241 (2001; Zbl 1053.68536) Full Text: Link
Valencia, Frank D. Temporal concurrent constraint programming. (English) Zbl 1067.68678 Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 786 (2001). MSC: 68T20 68Q60 PDFBibTeX XMLCite \textit{F. D. Valencia}, Lect. Notes Comput. Sci. 2239, 786 (2001; Zbl 1067.68678) Full Text: Link
Sheridan, Daniel Comparing SAT encodings for model checking. (English) Zbl 1067.68671 Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 784 (2001). MSC: 68T20 68Q60 PDFBibTeX XMLCite \textit{D. Sheridan}, Lect. Notes Comput. Sci. 2239, 784 (2001; Zbl 1067.68671) Full Text: Link
Fioravanti, Fabio Verification of infinite-state systems by specialization of CLP programs. (English) Zbl 1067.68632 Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 762 (2001). MSC: 68T20 68Q60 PDFBibTeX XMLCite \textit{F. Fioravanti}, Lect. Notes Comput. Sci. 2239, 762 (2001; Zbl 1067.68632) Full Text: Link
Palamidessi, Catuscia; Valencia, Frank D. A temporal concurrent constraint programming calculus. (English) Zbl 1067.68662 Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 302-316 (2001). MSC: 68T20 68Q55 68Q60 68Q85 PDFBibTeX XMLCite \textit{C. Palamidessi} and \textit{F. D. Valencia}, Lect. Notes Comput. Sci. 2239, 302--316 (2001; Zbl 1067.68662) Full Text: Link
Delzanno, Giorgio; Bultan, Tevfik Constraint-based verification of client-server protocols. (English) Zbl 1067.68624 Walsh, Toby (ed.), Principles and practice of constraint programming - CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42863-1). Lect. Notes Comput. Sci. 2239, 286-301 (2001). MSC: 68T20 68Q60 PDFBibTeX XMLCite \textit{G. Delzanno} and \textit{T. Bultan}, Lect. Notes Comput. Sci. 2239, 286--301 (2001; Zbl 1067.68624) Full Text: Link
Zhang, Yan The complexity of logic program updates. (English) Zbl 1052.68578 Stumptner, Markus (ed.) et al., AI 2001: Advances in artificial intelligence. 14th Australian joint conference, Adelaide, Australia, December 10–14, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42960-3). Lect. Notes Comput. Sci. 2256, 631-642 (2001). MSC: 68N17 68Q60 68Q17 PDFBibTeX XMLCite \textit{Y. Zhang}, Lect. Notes Comput. Sci. 2256, 631--642 (2001; Zbl 1052.68578) Full Text: Link
Reynolds, Mark Continuous temporal models. (English) Zbl 1052.03521 Stumptner, Markus (ed.) et al., AI 2001: Advances in artificial intelligence. 14th Australian joint conference, Adelaide, Australia, December 10–14, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42960-3). Lect. Notes Comput. Sci. 2256, 414-425 (2001). MSC: 03B44 68Q60 68T27 PDFBibTeX XMLCite \textit{M. Reynolds}, Lect. Notes Comput. Sci. 2256, 414--425 (2001; Zbl 1052.03521) Full Text: Link
Roubtsova, Ella E.; van Katwijk, Jan; de Rooij, Ruud C. M.; Toetenel, Hans Transformation of UML specification to XTG. (English) Zbl 1073.68589 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 247-254 (2001). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{E. E. Roubtsova} et al., Lect. Notes Comput. Sci. 2244, 247--254 (2001; Zbl 1073.68589) Full Text: Link
Sabelfeld, Viktor; Blumenröhr, Christian; Kapp, Kai Semantics and transformations in formal synthesis at system level. (English) Zbl 1073.68672 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 149-156 (2001). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{V. Sabelfeld} et al., Lect. Notes Comput. Sci. 2244, 149--156 (2001; Zbl 1073.68672) Full Text: Link
Eschbach, Robert A verification approach for distributed abstract state machines. (English) Zbl 1073.68691 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 109-115 (2001). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Eschbach}, Lect. Notes Comput. Sci. 2244, 109--115 (2001; Zbl 1073.68691) Full Text: Link
Mukhopadhyay, Supratik; Podelski, Andreas Accurate widenings and boundedness properties of timed systems. (English) Zbl 1073.68680 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 79-94 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Mukhopadhyay} and \textit{A. Podelski}, Lect. Notes Comput. Sci. 2244, 79--94 (2001; Zbl 1073.68680) Full Text: Link
Ioustinova, Natalia; Sidorova, Natalia A transformation of SDL specifications – a step towards the verification. (English) Zbl 1073.68677 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 64-78 (2001). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{N. Ioustinova} and \textit{N. Sidorova}, Lect. Notes Comput. Sci. 2244, 64--78 (2001; Zbl 1073.68677) Full Text: Link
Shilov, Nikolai V.; Yi, Kwang On expressive and model checking power of propositional program logics. (English) Zbl 1073.68682 Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 39-46 (2001). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{N. V. Shilov} and \textit{K. Yi}, Lect. Notes Comput. Sci. 2244, 39--46 (2001; Zbl 1073.68682) Full Text: Link
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer Range allocation for equivalence logic. (English) Zbl 1052.68088 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 317-333 (2001). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{A. Pnueli} et al., Lect. Notes Comput. Sci. 2245, 317--333 (2001; Zbl 1052.68088) Full Text: Link
Peled, Doron; Pnueli, Amir; Zuck, Lenore From falsification to verification. (English) Zbl 1052.68086 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 292-304 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Peled} et al., Lect. Notes Comput. Sci. 2245, 292--304 (2001; Zbl 1052.68086) Full Text: Link
Madhusudan, P.; Meenakshi, B. Beyond message sequence graphs. (English) Zbl 1052.68633 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 256-267 (2001). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{P. Madhusudan} and \textit{B. Meenakshi}, Lect. Notes Comput. Sci. 2245, 256--267 (2001; Zbl 1052.68633) Full Text: Link
Fisman, Dana; Pnueli, Amir Beyond regular model checking. (English) Zbl 1052.68084 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 156-170 (2001). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{D. Fisman} and \textit{A. Pnueli}, Lect. Notes Comput. Sci. 2245, 156--170 (2001; Zbl 1052.68084) Full Text: Link
Dang, Zhe; Ibarra, Oscar H.; San Pietro, Pierluigi Liveness verification of reversal-bounded multicounter machines with a free counter. (English) Zbl 1053.03021 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 132-143 (2001). MSC: 03D05 03B25 68Q60 68Q45 03B44 PDFBibTeX XMLCite \textit{Z. Dang} et al., Lect. Notes Comput. Sci. 2245, 132--143 (2001; Zbl 1053.03021) Full Text: Link
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W. Computability and complexity results for a spatial assertion language for data structures. (English) Zbl 1052.68590 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 108-119 (2001). MSC: 68P05 68Q25 68Q60 PDFBibTeX XMLCite \textit{C. Calcagno} et al., Lect. Notes Comput. Sci. 2245, 108--119 (2001; Zbl 1052.68590) Full Text: Link
Brim, Luboš; Černá, Ivana; Krčál, Pavel; Pelánek, Radek Distributed LTL model checking based on negative cycle detection. (English) Zbl 1052.68631 Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 96-107 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Brim} et al., Lect. Notes Comput. Sci. 2245, 96--107 (2001; Zbl 1052.68631) Full Text: Link
Ibarra, Oscar H.; Dang, Zhe On removing the pushdown stack in reachability constructions. (English) Zbl 1077.68668 Eades, Peter (ed.) et al., Algorithms and computation. 12th international symposium, ISAAC 2001, Christchurch, New Zealand, December 19–21, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42985-9). Lect. Notes Comput. Sci. 2223, 244-256 (2001). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{Z. Dang}, Lect. Notes Comput. Sci. 2223, 244--256 (2001; Zbl 1077.68668) Full Text: Link
Argón, Pablo; Delzanno, Giorgio; Mukhopadhyay, Supratik; Podelski, Andreas Model checking communication protocols. (English) Zbl 1052.68630 Pacholski, Leszek (ed.) et al., SOFSEM 2001: Theory and practice of informatics. 28th conference on current trends in theory and practice of informatics, Piešt’any, Slovak Republic, November 24 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42912-3). Lect. Notes Comput. Sci. 2234, 160-170 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Argón} et al., Lect. Notes Comput. Sci. 2234, 160--170 (2001; Zbl 1052.68630) Full Text: Link
Slobodová, Anna Formal verification methods for industrial hardware design. (English) Zbl 1052.68634 Pacholski, Leszek (ed.) et al., SOFSEM 2001: Theory and practice of informatics. 28th conference on current trends in theory and practice of informatics, Piešt’any, Slovak Republic, November 24 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42912-3). Lect. Notes Comput. Sci. 2234, 116-135 (2001). MSC: 68Q60 68T15 68W30 PDFBibTeX XMLCite \textit{A. Slobodová}, Lect. Notes Comput. Sci. 2234, 116--135 (2001; Zbl 1052.68634) Full Text: Link
Mossakowski, Till; Klin, Bartek Institution independent static analysis for CASL. (English) Zbl 1043.68580 Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 221-237 (2001). MSC: 68Q60 68Q65 PDFBibTeX XMLCite \textit{T. Mossakowski} and \textit{B. Klin}, Lect. Notes Comput. Sci. 2267, 221--237 (2001; Zbl 1043.68580) Full Text: Link
Ledoux, Franck; Arnould, Agnès; Le Gall, Pascale; Bertrand, Yves Geometric modelling with CASL. (English) Zbl 1043.68577 Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 176-200 (2001). MSC: 68Q60 68Q65 68U07 PDFBibTeX XMLCite \textit{F. Ledoux} et al., Lect. Notes Comput. Sci. 2267, 176--200 (2001; Zbl 1043.68577) Full Text: Link