María M. Larrondo-Petrie

Maria M. Larrondo-Petrie

	2012
28		Eduardo B. Fernández, Ola Ajaj, Ingrid Buckley, Nelly Delessy-Gassant, Keiko Hashizume, Maria M. Larrondo-Petrie: A Survey of Patterns for Web Services Security and Reliability Standards. Future Internet 4(2): 430-450 (2012)
	2010
27		Eduardo B. Fernández, María M. Larrondo-Petrie: Designing Secure SCADA Systems Using Security Patterns. HICSS 2010: 1-8
26		Eduardo B. Fernández, Carolina Marin, Maria M. Larrondo-Petrie: Security Requirements for Social Networks in Web 2.0. Handbook of Social Network Technologies 2010: 569-582
	2009
25		Juan C. Pelaez, Eduardo B. Fernández, María M. Larrondo-Petrie: Misuse patterns in VoIP. Security and Communication Networks 2(6): 635-653 (2009)
	2008
24		Eduardo B. Fernández, Günther Pernul, María M. Larrondo-Petrie: Patterns and Pattern Diagrams for Access Control. TrustBus 2008: 38-47
	2007
23		Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings Springer 2007
22		Eduardo B. Fernández, Jose Ballesteros, Ana C. Desouza-Doucet, Maria M. Larrondo-Petrie: Security Patterns for Physical Access Control Systems. DBSec 2007: 259-274
21		Eduardo B. Fernández, Juan C. Pelaez, María M. Larrondo-Petrie: Attack Patterns: A New Forensic and Design Tool. IFIP Int. Conf. Digital Forensics 2007: 345-357
20		Eduardo B. Fernández, Juan C. Pelaez, María M. Larrondo-Petrie: Security Patterns for Voice over IP Networks. JSW 2(2): 19-29 (2007)
	2006
19		Eduardo B. Fernández, Michael VanHilst, María M. Larrondo-Petrie, Shihong Huang: Defining Security Requirements Through Misuse Actions. IFIP Workshop on Advanced Software Engineering 2006: 123-137
18		Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie: Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. SEW 2006: 223-233
	2005
17		Eduardo B. Fernández, Saeed Rajput, Michael VanHilst, María M. Larrondo-Petrie: Some Security Issues of Wireless Systems. ISSADS 2005: 388-396
16		Eduardo B. Fernández, Tami Sorgente, María M. Larrondo-Petrie: A UML-Based Methodology for Secure Systems: The Design Stage . WOSIS 2005: 207-216
	1999
15		Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos: Reasoning about VHDL and VHDL-AMS using Denotational Semantics. DATE 1999: 346-352
	1998
14		Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett: Extending Aggregation Constructs in UML. UML 1998: 435-441
	1997
13		Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant: Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. AMAST 1997: 216-230
12		Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena: Towards a Rigorous Object-Oriented Analysis and Design Method. ICFEM 1997: 7-16
11		Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie: An Integrated Object-Oriented and Formal Modeling Environment. JOOP 10(7): 25-34, 50 (1997)
	1996
10		B. W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie: Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . CAiSE 1996: 222-233
9		Eduardo B. Fernández, Krishnakumar R. Nair, María M. Larrondo-Petrie, Yan Xu: High-Level Security Issues in Multimedia/Hypertext Systems. Communications and Multimedia Security 1996: 13-24
	1995
8		Robert B. France, Maria M. Larrondo-Petrie: Understanding the Role of Formal Specification Techniques in Requirements Engineering. CSEE 1995: 207-221
7		Robert B. France, Maria M. Larrondo-Petrie: A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. ZUM 1995: 434-448
	1994
6		Robert B. France, Maria M. Larrondo-Petrie: From Structured Analysis to Formal Specifications: State of the Theory. ACM Conference on Computer Science 1994: 249-256
5		Maria M. Larrondo-Petrie, Jack Bresenham, Cary Laxer, John Lansdown, G. Scott Owen: Approaches to teaching introductory computer graphics. SIGGRAPH 1994: 479-480
	1993
4		Eduardo B. Fernández, María M. Larrondo-Petrie, Ehud Gudes: A Method-Based Authorization Model for Object-Oriented Databases. Security for Object-Oriented Systems 1993: 135-150
	1992
3		Riva Wenig Bickel, María M. Larrondo-Petrie, David F. Bush: EDICT for computer ethics education. Journal of Systems and Software 17(1): 81-89 (1992)
	1990
2		Riva Wenig Bickel, María M. Larrondo-Petrie: Relating Psychology's Moral Development Levels to the Ethical Use of Computers (Abstract). ACM Conference on Computer Science 1990: 440
	1989
1		María M. Larrondo-Petrie, Ehud Gudes, Haiyan Song, Eduardo B. Fernández: Security Policies in Object-Oriented Databases. DBSec 1989: 257-268

Coauthor Index

1	Ola Ajaj	[28]
2	Jose Ballesteros	[22]
3	B. W. Bates	[10]
4	Riva Wenig Bickel	[2] [3]
5	Jonathan P. Bowen	[15]
6	Jack Bresenham	[5]
7	Peter T. Breuer	[15] [18]
8	Jean-Michel Bruel	[10] [11] [12] [13]
9	Ingrid Buckley	[28]
10	David F. Bush	[3]
11	Michael Butler	[23]
12	Nelly Delessy-Gassant	[28]
13	Ana C. Desouza-Doucet	[22]
14	Matthew P. Evett	[14]
15	Eduardo B. Fernández	[1] [4] [9] [16] [17] [19] [20] [21] [22] [24] [25] [26] [27] [28]
16	Robert B. France	[6] [7] [8] [10] [11] [12] [13] [14] [15]
17	Emanuel S. Grant	[12] [13]
18	Ehud Gudes	[1] [4]
19	Keiko Hashizume	[28]
20	Michael G. Hinchey (Mike Hinchey)	[23]
21	Shihong Huang	[19]
22	Carlos Delgado Kloos	[15]
23	John Lansdown	[5]
24	Cary Laxer	[5]
25	Natividad Martínez Madrid	[15]
26	Carolina Marin	[26]
27	Krishnakumar R. Nair	[9]
28	G. Scott Owen	[5]
29	Juan C. Pelaez	[20] [21] [25]
30	Günther Pernul	[24]
31	Simon Pickin	[18]
32	Saeed Rajput	[17]
33	Minika Saksena	[12] [14]
34	Haiyan Song	[1]
35	Tami Sorgente	[16]
36	Michael VanHilst	[17] [19]
37	Yan Xu	[9]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page