Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(34)
Kim Guldstrand Larsen
15
Krzysztof Czarnecki
10
Ulrik Nyman
10
Axel Legay
8
Steven She
5
Conferences
(20)
SPLC
4
MODELS
3
ICSE
1
IJCAI
1
ASE
1
Journals
(6)
SIGPLAN
2
ENTCS
2
STTT
1
MSCS
1
TCS
1
Keywords
(120)
Embed
Subscribe
Academic
Authors
Andrzej Wasowski
Edit
Andrzej Wasowski
IT University of Copenhagen
Publications: 42
|
Citations: 279
|
G-Index: 15
|
H-Index: 10
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
34 co-authors
from 2001 to 2011
; Cited by
334 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(42)
BibTeX
|
RIS
|
RefWorks
Download
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
Reverse engineering feature models
(
Citations: 1
)
Steven She
,
Rafael Lotufo
,
Thorsten Berger
,
Andrzej Wasowski
,
Krzysztof Czarnecki
Conference:
International Conference on Software Engineering - ICSE
, pp. 461-470, 2011
Constraint Markov Chains
Benoît Caillaud
,
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wąsowski
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 34, pp. 4373-4404, 2011
APAC: A Tool for Reasoning about Abstract Probabilistic Automata
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wasowski
Conference:
Quantitative Evaluation of Systems - QEST
, 2011
The Variability Model of The Linux Kernel
(
Citations: 10
)
Steven She
,
Rafael Lotufo
,
Thorsten Berger
,
Andrzej Wasowski
,
Krzysztof Czarnecki
Published in 2010.
Order by:
Citations
(279 times by 204 publications)
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
(
Citations: 8
)
Deepak Dhungana
,
Paul Grünbacher
,
Rick Rabiser
Journal:
Automated Software Engineering - ASE
, vol. 18, no. 1, pp. 77-114, 2011
Abstract Probabilistic Automata
(
Citations: 3
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wasowski
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 324-339, 2011
A comparison of decision modeling approaches in product lines
(
Citations: 4
)
Klaus Schmid
,
Rick Rabiser
,
Paul Grünbacher
Published in 2011.
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 2011
The earlier the better: a theory of timed actor interfaces
(
Citations: 2
)
Marc Geilen
,
Stavros Tripakis
,
Maarten Wiggers
Published in 2011.
Comments