en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Lawall
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(93)
tags
dblp
imported
edition
No matching items.
Language Technology for Internet-Telephony Service Creation.
Laurent Burgy
,
Charles Consel
,
Fabien Latry
,
Julia L. Lawall
,
Nicolas Palix
, and
Laurent Réveillère
.
ICC,
page 1795-1800.
IEEE,
(
2006
)
Laurent Burgy
,
Charles Consel
,
Fabien Latry
,
Julia L. Lawall
,
Nicolas Palix
, and
Laurent Réveillère
.
ICC,
page 1795-1800.
IEEE,
(
2006
)
2 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.
Julia L. Lawall
,
Julien Brunel
,
Nicolas Palix
,
René Rydhof Hansen
,
Henrik Stuart
, and
Gilles Muller
.
Softw., Pract. Exper.
43(1):67-92
(
2013
)
Julia L. Lawall
,
Julien Brunel
,
Nicolas Palix
,
René Rydhof Hansen
,
Henrik Stuart
, and
Gilles Muller
.
Softw., Pract. Exper.
43(1):67-92
(
2013
)
4 months and 7 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Diagnosys: automatic generation of a debugging interface to the Linux kernel.
Tegawendé F. Bissyandé
,
Laurent Réveillère
,
Julia L. Lawall
, and
Gilles Muller
.
ASE,
page 60-69.
ACM,
(
2012
)
Tegawendé F. Bissyandé
,
Laurent Réveillère
,
Julia L. Lawall
, and
Gilles Muller
.
ASE,
page 60-69.
ACM,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantic patch inference.
Jesper Andersen
,
Anh Cuong Nguyen
,
David Lo
,
Julia L. Lawall
, and
Siau-Cheng Khoo
.
ASE,
page 382-385.
ACM,
(
2012
)
Jesper Andersen
,
Anh Cuong Nguyen
,
David Lo
,
Julia L. Lawall
, and
Siau-Cheng Khoo
.
ASE,
page 382-385.
ACM,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Identifying Linux bug fixing patches.
Yuan Tian
,
Julia L. Lawall
, and
David Lo
.
ICSE,
page 386-396.
IEEE,
(
2012
)
Yuan Tian
,
Julia L. Lawall
, and
David Lo
.
ICSE,
page 386-396.
IEEE,
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Editorial.
Julia Lawall
,
Germán Puebla
, and
Germán Vidal
.
Higher-Order and Symbolic Computation
24(1-2):1-2
(
2011
)
Julia Lawall
,
Germán Puebla
, and
Germán Vidal
.
Higher-Order and Symbolic Computation
24(1-2):1-2
(
2011
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Towards bridging the gap between programming languages and partial evaluation.
Anne-Françoise Le Meur
,
Julia L. Lawall
, and
Charles Consel
.
PEPM,
page 9-18.
ACM,
(
2002
)
Anne-Françoise Le Meur
,
Julia L. Lawall
, and
Charles Consel
.
PEPM,
page 9-18.
ACM,
(
2002
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Proofs by Structural Induction using Partial Evaluation.
Julia L. Lawall
.
PEPM,
page 155-166.
ACM,
(
1993
)
Julia L. Lawall
.
PEPM,
page 155-166.
ACM,
(
1993
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Separating Stages in the Continuation-Passing Style Transformation.
Julia L. Lawall
, and
Olivier Danvy
.
POPL,
page 124-136.
ACM Press,
(
1993
)
Julia L. Lawall
, and
Olivier Danvy
.
POPL,
page 124-136.
ACM Press,
(
1993
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Approach towards Subject-Oriented Access Control.
Alexander Lawall
,
Thomas W. Schaller
, and
Dominik Reichelt
.
S-BPM ONE Scientific Research,
volume 104 of Lecture Notes in Business Information Processing,
page 33-42.
Springer,
(
2012
)
Alexander Lawall
,
Thomas W. Schaller
, and
Dominik Reichelt
.
S-BPM ONE Scientific Research,
volume 104 of Lecture Notes in Business Information Processing,
page 33-42.
Springer,
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
on Global Dynamics of Optimal Graph Reduction.
Julia L. Lawall
, and
Harry G. Mairson
.
ICFP,
page 188-195.
ACM,
(
1997
)
Julia L. Lawall
, and
Harry G. Mairson
.
ICFP,
page 188-195.
ACM,
(
1997
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?
Julia L. Lawall
, and
Harry G. Mairson
.
ICFP,
page 92-101.
ACM,
(
1996
)
Julia L. Lawall
, and
Harry G. Mairson
.
ICFP,
page 92-101.
ACM,
(
1996
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Selections from the Satyricon
Petronius Arbiter
, and
G. Lawall
.
Textbook Series
Bolchalzy-Carducci Publishers, Inc.,
(
1995
)
Petronius Arbiter
, and
G. Lawall
.
Textbook Series
Bolchalzy-Carducci Publishers, Inc.,
(
1995
)
a year and 2 months ago
by
braco
1
edition
edition
URL
DOI
TeX
Finding resource-release omission faults in Linux.
Suman Saha
,
Julia L. Lawall
, and
Gilles Muller
.
Operating Systems Review
45(3):5-9
(
2011
)
Suman Saha
,
Julia L. Lawall
, and
Gilles Muller
.
Operating Systems Review
45(3):5-9
(
2011
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Leveraging software architectures to guide and verify the development of sense/compute/control applications.
Damien Cassou
,
Emilie Balland
,
Charles Consel
, and
Julia L. Lawall
.
ICSE,
page 431-440.
ACM,
(
2011
)
Damien Cassou
,
Emilie Balland
,
Charles Consel
, and
Julia L. Lawall
.
ICSE,
page 431-440.
ACM,
(
2011
)
a year and 4 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Preface to the special issue on feature-oriented software development FOSD 2009.
Sven Apel
,
Christian Lengauer
, and
Julia L. Lawall
.
Sci. Comput. Program.
77(3):129-130
(
2012
)
Sven Apel
,
Christian Lengauer
, and
Julia L. Lawall
.
Sci. Comput. Program.
77(3):129-130
(
2012
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.
Julia L. Lawall
,
Julien Brunel
,
Nicolas Palix
,
René Rydhof Hansen
,
Henrik Stuart
, and
Gilles Muller
.
DSN,
page 43-52.
IEEE,
(
2009
)
Julia L. Lawall
,
Julien Brunel
,
Nicolas Palix
,
René Rydhof Hansen
,
Henrik Stuart
, and
Gilles Muller
.
DSN,
page 43-52.
IEEE,
(
2009
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Efficient Incremental Checkpointing of Java Programs.
Julia L. Lawall
, and
Gilles Muller
.
DSN,
page 61-70.
IEEE Computer Society,
(
2000
)
Julia L. Lawall
, and
Gilles Muller
.
DSN,
page 61-70.
IEEE Computer Society,
(
2000
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
Damien Cassou
,
Charles Consel
,
Emilie Balland
, and
Julia L. Lawall
.
CoRR
(
2011
)
Damien Cassou
,
Charles Consel
,
Emilie Balland
, and
Julia L. Lawall
.
CoRR
(
2011
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
Laurent Burgy
,
Laurent Réveillère
,
Julia L. Lawall
, and
Gilles Muller
.
CoRR
(
2007
)
Laurent Burgy
,
Laurent Réveillère
,
Julia L. Lawall
, and
Gilles Muller
.
CoRR
(
2007
)
a year and 5 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact