Safilian, Aliakbar; Maibaum, Tom; Diskin, Zinovy A theoretical framework for cardinality-based feature models: the semantics and computational aspects. (English) Zbl 1395.68095 J. Log. Algebr. Methods Program. 97, 30-54 (2018). MSC: 68N30 68Q25 68Q45 PDFBibTeX XMLCite \textit{A. Safilian} et al., J. Log. Algebr. Methods Program. 97, 30--54 (2018; Zbl 1395.68095) Full Text: DOI
Diskin, Zinovy; Safilian, Aliakbar; Maibaum, Tom; Ben-David, Shoham Faithful modeling of product lines with Kripke structures and modal logic. (English) Zbl 1424.68039 Sci. Ann. Comput. Sci. 26, No. 1, 69-122 (2016). MSC: 68N30 03B44 03B45 68Q60 PDFBibTeX XMLCite \textit{Z. Diskin} et al., Sci. Ann. Comput. Sci. 26, No. 1, 69--122 (2016; Zbl 1424.68039) Full Text: DOI
Diskin, Zinovy; Safilian, Aliakbar; Maibaum, Tom; Ben-David, Shoham Modeling product lines with Kripke structures and modal logic. (English) Zbl 1471.68059 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium, Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9399, 184-202 (2015). MSC: 68N30 03B44 03B45 PDFBibTeX XMLCite \textit{Z. Diskin} et al., Lect. Notes Comput. Sci. 9399, 184--202 (2015; Zbl 1471.68059) Full Text: DOI
Castro, Pablo F.; Maibaum, Thomas S. E. Encapsulating deontic and branching time specifications. (English) Zbl 1279.68200 Theor. Comput. Sci. 455, 98-122 (2012). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Theor. Comput. Sci. 455, 98--122 (2012; Zbl 1279.68200) Full Text: DOI
Fiadeiro, José Luiz (ed.); Gnesi, Stefania (ed.); Maibaum, Tom (ed.) Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13–18, 2010. (English) Zbl 1275.68019 Formal Asp. Comput. 24, No. 2, 161-302 (2012). MSC: 68-06 00B25 68N30 PDFBibTeX XML
Castro, Pablo F.; Maibaum, Tom S. E. Characterizing locality (encapsulation) with bisimulation. (English) Zbl 1286.68309 Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 322-336 (2010). MSC: 68Q60 03B45 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Lect. Notes Comput. Sci. 6255, 322--336 (2010; Zbl 1286.68309) Full Text: DOI
Castro, Pablo F.; Aguirre, Nazareno M.; López Pombo, Carlos Gustavo; Maibaum, Thomas S. E. Towards managing dynamic reconfiguration of software systems in a categorical setting. (English) Zbl 1286.68070 Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 306-321 (2010). MSC: 68N30 68Q65 PDFBibTeX XMLCite \textit{P. F. Castro} et al., Lect. Notes Comput. Sci. 6255, 306--321 (2010; Zbl 1286.68070) Full Text: DOI
Castro, Pablo F.; Maibaum, T. S. E. Deontic logic, contrary to duty reasoning and fault tolerance. (English) Zbl 1294.03019 Marcus, Leo (ed.), Proceedings of the workshop on logical aspects of fault tolerance (LAFT 2009), Los Angeles, CA, USA, August 15, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 2, 17-34 (2009). MSC: 03B70 03B45 68N30 68Q60 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Electron. Notes Theor. Comput. Sci. 258, No. 2, 17--34 (2009; Zbl 1294.03019) Full Text: DOI
Castro, Pablo F.; Maibaum, T. S. E. Deontic action logic, atomic Boolean algebras and fault-tolerance. (English) Zbl 1193.03060 J. Appl. Log. 7, No. 4, 441-466 (2009). MSC: 03B70 03B44 03B45 03G05 68N30 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, J. Appl. Log. 7, No. 4, 441--466 (2009; Zbl 1193.03060) Full Text: DOI
Castro, Pablo F.; Maibaum, T. S. E. Reasoning about system-degradation and fault-recovery with deontic logic. (English) Zbl 1234.68038 Butler, Michael (ed.) et al., Methods, models and tools for fault tolerance. Berlin: Springer (ISBN 978-3-642-00866-5/pbk). Lecture Notes in Computer Science 5454, 25-43 (2009). MSC: 68M15 03B45 03B70 68N30 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Lect. Notes Comput. Sci. 5454, 25--43 (2009; Zbl 1234.68038) Full Text: DOI
Castro, Pablo F.; Maibaum, T. S. E. A tableaux system for deontic action logic. (English) Zbl 1143.68595 van der Meyden, Ron (ed.) et al., Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70524-6/pbk). Lecture Notes in Computer Science 5076. Lecture Notes in Artificial Intelligence, 34-48 (2008). MSC: 68T27 03B35 03B45 68N30 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Lect. Notes Comput. Sci. 5076, 34--48 (2008; Zbl 1143.68595) Full Text: DOI
Ling, Xiang; Maibaum, Tom; Aguirre, Nazareno Design in CommUnity with extension morphisms. (English) Zbl 1151.68373 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 435-466 (2007). MSC: 68N30 PDFBibTeX XMLCite \textit{X. Ling} et al., Lect. Notes Comput. Sci. 4700, 435--466 (2007; Zbl 1151.68373) Full Text: DOI
Castro, Pablo F.; Maibaum, T. S. E. A complete and compact propositional deontic logic. (English) Zbl 1143.03343 Jones, Cliff B. (ed.) et al., Theoretical aspects of computing – ICTAC 2007. 4th international colloquium, Macau, China, September 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 109-123 (2007). MSC: 03B70 03B44 03B45 68N30 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Lect. Notes Comput. Sci. 4711, 109--123 (2007; Zbl 1143.03343) Full Text: DOI
Maibaum, Tom In memoriam Armando Martín Haeberer. 4 January 1947 – 11 February 2003. (English) Zbl 1274.01088 Aichernig, Bernhard K. (ed.) et al., Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18–20, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20527-6/pbk). Lect. Notes Comput. Sci. 2757, 1-25 (2003). MSC: 01A70 68-03 68N30 PDFBibTeX XMLCite \textit{T. Maibaum}, Lect. Notes Comput. Sci. 2757, 1--25 (2003; Zbl 1274.01088) Full Text: DOI
Maibaum, Tom On what exactly goes on when software is developed step-by-step. II: The sequel. (English) Zbl 1178.68165 Inf. Process. Lett. 88, No. 1-2, 45-51 (2003). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{T. Maibaum}, Inf. Process. Lett. 88, No. 1--2, 45--51 (2003; Zbl 1178.68165) Full Text: DOI
Aichernig, Bernhard K. (ed.); Maibaum, Tom (ed.) Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18–20, 2002. Revised papers. (English) Zbl 1028.00041 Lecture Notes in Computer Science. 2757. Berlin: Springer. xiv, 453 p. (2003). MSC: 00B30 68-06 68N30 PDFBibTeX XMLCite \textit{B. K. Aichernig} (ed.) and \textit{T. Maibaum} (ed.), Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18--20, 2002. Revised papers. Berlin: Springer (2003; Zbl 1028.00041) Full Text: DOI Link
Aguirre, Nazareno; Bicarregui, Juan; Dimitrakos, Theo; Maibaum, Tom Towards dynamic population management of abstract machines in the B method. (English) Zbl 1028.68535 Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 528-545 (2003). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{N. Aguirre} et al., Lect. Notes Comput. Sci. 2651, 528--545 (2003; Zbl 1028.68535) Full Text: Link
Aguirre, Nazareno; Maibaum, Tom A logical basis for the specification of reconfigurable component-based systems. (English) Zbl 1032.68056 Pezzè, Mauro (ed.), Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2621, 37-51 (2003). MSC: 68N30 PDFBibTeX XMLCite \textit{N. Aguirre} and \textit{T. Maibaum}, Lect. Notes Comput. Sci. 2621, 37--51 (2003; Zbl 1032.68056) Full Text: Link
Duarte, Carlos H. C.; Maibaum, Tom A branching time logical system for open distributed systems development. (English) Zbl 1261.03082 de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 184-203 (2002). MSC: 03B44 68M14 68N30 68Q60 PDFBibTeX XMLCite \textit{C. H. C. Duarte} and \textit{T. Maibaum}, Electron. Notes Theor. Comput. Sci. 67, 184--203 (2002; Zbl 1261.03082) Full Text: DOI
Veloso, Paulo A. S.; Maibaum, Thomas S. E. On the Modularization Theorem for logical specifications. (English) Zbl 0875.68631 Inf. Process. Lett. 53, No. 5, 287-293 (1995). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. A. S. Veloso} and \textit{T. S. E. Maibaum}, Inf. Process. Lett. 53, No. 5, 287--293 (1995; Zbl 0875.68631) Full Text: DOI
Cunha, Paulo R. F.; Lucena, Carlos J.; Maibaum, T. S. E. On the design and specification of message oriented programs. (English) Zbl 0446.68016 Int. J. Comput. Inform. Sci. 9, 161-191 (1980). MSC: 68N25 68P05 PDFBibTeX XMLCite \textit{P. R. F. Cunha} et al., Int. J. Comput. Inform. Sci. 9, 161--191 (1980; Zbl 0446.68016) Full Text: DOI
Maibaum, T. S. E. The semantics of a simple nondeterministic language. (English) Zbl 0406.68009 Program transformations, Proc. 3rd int. Symp. Program., Paris 1978, 159-172 (1978). MSC: 68N01 68Q60 68Q65 68P05 PDFBibTeX XML