Maria M. Larrondo-Petrie
List of publications from the
| 2008 |
|---|
| 24 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
