dblp.uni-trier.dewww.uni-trier.de

T. S. E. Maibaum Vis

Thomas Stephen Edward Maibaum

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
103EENazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
102EEPablo F. Castro, T. S. E. Maibaum: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance 2009: 25-43
2008
101 Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Springer 2008
100 Shaoying Liu, T. S. E. Maibaum, Keijiro Araki: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Springer 2008
99EEPablo F. Castro, T. S. E. Maibaum: A Tableaux System for Deontic Action Logic. DEON 2008: 34-48
98EET. S. E. Maibaum, Alan Wassyng: A Product-Focused Approach to Software Certification. IEEE Computer 41(2): 91-93 (2008)
2007
97EET. S. E. Maibaum, Zhe (Jessie) Li: A test framework for integration testing of object-oriented programs. CASCON 2007: 252-255
96EEXiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
95EET. S. E. Maibaum: Challenges in Software Certification. ICFEM 2007: 4-18
94EEPablo F. Castro, T. S. E. Maibaum: A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123
93EENazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
92EEZhe (Jessie) Li, T. S. E. Maibaum: An Approach to Integration Testing of Object-Oriented Programs. QSIC 2007: 268-273
91EEPablo F. Castro, T. S. E. Maibaum: An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007: 151-160
2006
90EENazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
2005
89EENazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155
88EET. S. E. Maibaum: The Epistemology of Validation and Verification Testing. TestCom 2005: 1-8
87EEMarcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
86EENarciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum: A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005)
2004
85EEIslam A. M. El-Maddah, T. S. E. Maibaum: The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE 2004: 261-266
84EENazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
83EEIslam A. M. El-Maddah, T. S. E. Maibaum: Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR 2004: 318-328
82EENazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
2003
81 Bernhard K. Aichernig, T. S. E. Maibaum: 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 Springer 2003
80EENazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
79EEMarcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
78EEIslam A. M. El-Maddah, T. S. E. Maibaum: Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE 2003: 45-46
77EENazareno Aguirre, T. S. E. Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice 2003: 407-435
76EENazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
75EET. S. E. Maibaum: On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. 88(1-2): 45-51 (2003)
2002
74EET. S. E. Maibaum: In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST 2002: 1-25
73EENazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274
72EET. S. E. Maibaum: How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI 2002: 23-26
71 T. S. E. Maibaum: Desert Island Column. Autom. Softw. Eng. 9(1): 123-126 (2002)
70EECarlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: (2002)
2001
69 Aspassia Daskalopulu, T. S. E. Maibaum: Towards Electronic Contract Performance. DEXA Workshop 2001: 771-777
68 Armando Martin Haeberer, T. S. E. Maibaum: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE 2001: 463-472
67EEMarcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80
66EEJuan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): (2001)
2000
65 T. S. E. Maibaum: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings Springer 2000
64EET. S. E. Maibaum: Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track 2000: 161-172
63EET. S. E. Maibaum: An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods 2000
62EETheodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
61 T. S. E. Maibaum, Bernhard Rumpe: Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. 7(1): 7-8 (2000)
60EECarlos H. C. Duarte, T. S. E. Maibaum: A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74(1-2): 55-63 (2000)
59EETheodosis Dimitrakos, T. S. E. Maibaum: On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000)
1999
58 José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita: Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458
57 Ezra Kaahwa Mugisa, T. S. E. Maibaum: A Framework for Describing Software Architectures for Reuse. WICSA 1999: 245-272
1998
56EET. S. E. Maibaum, Pauline Kan, Kevin Lano: Systematising Reactive System Design. AMAST 1998: 17-22
55EEGabriel Baum, Marcelo F. Frias, T. S. E. Maibaum: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105
54EEArmando Martin Haeberer, T. S. E. Maibaum: The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE 1998: 260-271
1997
53EETheodosis Dimitrakos, T. S. E. Maibaum: Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116
52 Juan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211
51 José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264
50EEJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
49EEJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160
48EET. S. E. Maibaum: What We Teach Software Engineers in the University: Do We Take Engineering Seriously? ESEC / SIGSOFT FSE 1997: 40-50
47EET. S. E. Maibaum: Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT 1997: 40-66
46 José Luiz Fiadeiro, T. S. E. Maibaum: Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997)
1995
45EEJosé Luiz Fiadeiro, T. S. E. Maibaum: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80
44EEPaulo A. S. Veloso, T. S. E. Maibaum: On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995)
1994
43 José Luiz Fiadeiro, T. S. E. Maibaum: Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66
1993
42 T. S. E. Maibaum: Taking More of the Soft out of Software Engineering. IWSSD 1993: 2-9
41 José Luiz Fiadeiro, T. S. E. Maibaum: Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147
1992
40 José Luiz Fiadeiro, T. S. E. Maibaum: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4(3): 239-272 (1992)
39 Mario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992)
38 T. S. E. Maibaum: Editorial. J. Log. Comput. 2(3): 243-245 (1992)
1991
37 Samson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91) Springer 1991
36 Samson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD) Springer 1991
35 José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum: Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253
34 Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum: Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593
33 José Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991)
1990
32 José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284
31EEJosé Luiz Fiadeiro, T. S. E. Maibaum: Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
1989
30 Celso Niskier, T. S. E. Maibaum, Daniel Schwabe: A Pluralistic Knowledge-Based Approach to Software Specification. ESEC 1989: 411-423
1988
29 T. S. E. Maibaum: Configuration versus Use: Specification Languages versus Logics. ADT 1988
28EEDa-Hai Li, T. S. E. Maibaum: A Top-down Step-wise Refinement Methodology for Protocol Specification. Concurrency 1988: 197-221
1987
27 Samit Khosla, T. S. E. Maibaum: The Prescription and Description of State Based Systems. Temporal Logic in Specification 1987: 243-294
1986
26 T. S. E. Maibaum: Modular Construction of Logics for Specification. ADT 1986
25 T. S. E. Maibaum: Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142
1985
24 Samit Khosla, T. S. E. Maibaum, M. R. Sadler: Database Specification. DS-1 1985: 141-158
23EESamit Khosla, T. S. E. Maibaum, M. R. Sadler: Large Database Specification from Small Views. FSTTCS 1985: 246-271
22EET. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler: A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 1985: 214-230
21 Antonio L. Furtado, T. S. E. Maibaum: An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28(1): 59-67 (1985)
20 T. S. E. Maibaum: Database Instances, Abstract Data Types and Database Specification. Comput. J. 28(2): 154-161 (1985)
1984
19 T. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. ADT 1984: 171-177
18EET. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
17 T. S. E. Maibaum, Wladyslaw M. Turski: On What Exactly Is Going On When Software Is Developed Step-by-Step. ICSE 1984: 528-533
1983
16 T. S. E. Maibaum: Structuring of Specifications within a Logical Theory of Data Types. ADT 1983
15EEForouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339
14 P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: Message Oriented Programming - A Resource Based Methodology. Comput. Lang. 8(3/4): 95-111 (1983)
1982
13 A. Koch, T. S. E. Maibaum: A message oriented language for system applications. ICDCS 1982: 824-832
12 Michael R. Levy, T. S. E. Maibaum: Continuous Data Types. SIAM J. Comput. 11(2): 201-216 (1982)
1981
11 Paulo Roberto Freire Cunha, T. S. E. Maibaum: A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445
10 P. R. F. Cunha, T. S. E. Maibaum: Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE 1981: 263-272
1980
9 P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen 1980: 83-93
8 P. R. F. Cunha, T. S. E. Maibaum: A Communication Data Type for Message Oriented Programming. Symposium on Programming 1980: 79-91
1979
7 Maarten H. van Emden, T. S. E. Maibaum: Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193
1978
6 T. S. E. Maibaum: Pumping Lemmas for Term Languages. J. Comput. Syst. Sci. 17(3): 319-330 (1978)
1977
5 T. S. E. Maibaum: Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138
4 T. S. E. Maibaum: Erratum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 14(3): 369 (1977)
1974
3EEKarel Culik II, T. S. E. Maibaum: Parallel Rewriting Systems on terms. ICALP 1974: 495-510
2 T. S. E. Maibaum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 8(3): 409-439 (1974)
1972
1 T. S. E. Maibaum: The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets FOCS 1972: 224-230

Coauthor Index

1Samson Abramsky [36] [37]
2Nazareno Aguirre [73] [76] [77] [79] [80] [82] [84] [87] [89] [90] [93] [96] [103]
3Bernhard K. Aichernig [81]
4Paulo S. C. Alencar [90]
5Keijiro Araki [100]
6Marcelo Arroyo [89]
7Gabriel Baum (Gabriel A. Baum) [55] [67] [79] [87]
8Mario R. F. Benevides [39]
9Juan Bicarregui [49] [50] [52] [62] [66] [76] [84] [89]
10Pablo F. Castro [91] [94] [99] [102]
11José Félix Costa [35]
12Jorge Cuéllar [101]
13Karel Culik II [3]
14Paulo Roberto Freire Cunha (P. R. F. Cunha) [8] [9] [10] [11] [14]
15Aspassia Daskalopulu [69]
16Theodosis Dimitrakos [53] [59] [62] [66] [76]
17Carlos H. C. Duarte [60] [70]
18Islam A. M. El-Maddah [78] [83] [85]
19Maarten H. van Emden [7]
20José Luiz Fiadeiro [31] [32] [33] [34] [35] [40] [41] [43] [45] [46] [51] [58] [86]
21Marcelo F. Frias [55] [67] [79] [87] [103]
22Antonio L. Furtado [21]
23Dov M. Gabbay [66]
24Forouzan Golshani [15]
25Lucio Guzmán [84] [89]
26Armando Martin Haeberer [54] [68]
27Pauline Kan [56]
28Samit Khosla [23] [24] [27]
29A. Koch [13]
30Kevin Lano [49] [50] [52] [56]
31Michael R. Levy [12]
32Da-Hai Li [28]
33Zhe (Jessie) Li [92] [97]
34Xiang Ling [96]
35Shaoying Liu [100]
36Antónia Lopes [51]
37Carlos José Pereira de Lucena [9] [14]
38Narciso Martí-Oliet [58] [86]
39Brian Matthews [62]
40José Meseguer [58] [86]
41Mariano M. Moscato [103]
42Ezra Kaahwa Mugisa [57]
43Celso Niskier [30]
44Isabel Pita [58] [86]
45Carlos López Pombo [79] [87]
46Germán Regis [93]
47Bernhard Rumpe [61]
48Mark Ryan (Mark Dermot Ryan) [34]
49Gunter Saake [32]
50M. R. Sadler [15] [18] [19] [22] [23] [24]
51Daniel Schwabe [30]
52Kaisa Sere [101]
53Amílcar Sernadas [35]
54Cristina Sernadas [32]
55Wladyslaw M. Turski [17]
56Paulo A. S. Veloso [18] [22] [44]
57Alan Wassyng [98] [103]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)