María M. Larrondo-Petrie

Maria M. Larrondo-Petrie

	2012
j5		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
c22		Eduardo B. Fernández, María M. Larrondo-Petrie: Designing Secure SCADA Systems Using Security Patterns. HICSS 2010: 1-8
p1		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
j4		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)
c21		Eduardo B. Fernández, Jie Wu, María M. Larrondo-Petrie, Yifeng Shao: On building secure SCADA systems using security patterns. CSIIRW 2009: 17
	2008
c20		Eduardo B. Fernández, Günther Pernul, María M. Larrondo-Petrie: Patterns and Pattern Diagrams for Access Control. TrustBus 2008: 38-47
	2007
j3		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)
c19		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
c18		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
e1		Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.): Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Lecture Notes in Computer Science 4789, Springer 2007, isbn 978-3-540-76648-3
	2006
c17		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
c16		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
c15		Eduardo B. Fernández, Saeed Rajput, Michael VanHilst, María M. Larrondo-Petrie: Some Security Issues of Wireless Systems. ISSADS 2005: 388-396
c14		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
c13		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
c12		Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett: Extending Aggregation Constructs in UML. UML 1998: 435-441
	1997
j2		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)
c11		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
c10		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
	1996
c9		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
c8		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
c7		Robert B. France, Maria M. Larrondo-Petrie: Understanding the Role of Formal Specification Techniques in Requirements Engineering. CSEE 1995: 207-221
c6		Robert B. France, Maria M. Larrondo-Petrie: A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. ZUM 1995: 434-448
	1994
c5		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
c4		Maria M. Larrondo-Petrie, Jack Bresenham, Cary Laxer, John Lansdown, G. Scott Owen: Approaches to teaching introductory computer graphics. SIGGRAPH 1994: 479-480
	1993
c3		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
j1		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
c2		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
c1		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

Colors in the list of coauthors

Last update Wed May 22 10:19:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page