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
Authors
(543)
Robert France
22
Bernhard Rumpe
20
Daniel Varro (Dániel Varró)
9
Gabor Karsai
5
Jon Whittle
5
Holger Giese
5
Thomas Baar
5
Thomas Kuhne (Thomas Kühne)
5
Reiko Heckel
4
Hans Vangheluwe
4
Keywords
(602)
Subscribe
Academic
Journals
SOSYM - Software and System Modeling
SOSYM - Software and System Modeling
Publications: 287
|
Citation Count: 3,427 (Self-Citation: 150)
|
H-Index: 31Year Range: 2002-2011
Interests:
Software Engineering
Homepage
Cumulative
Annual
Order by:
Publications
(287)
Precise null-pointer analysis
(
Citations: 4
)
Fausto Spoto
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 219-252, 2011
Formalizing requirements with object models and temporal constraints
(
Citations: 2
)
Alessandro Cimatti
,
Marco Roveri
,
Angelo Susi
,
Stefano Tonetta
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 147-160, 2011
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs
(
Citations: 1
)
Huy Tran
,
Uwe Zdun
,
Schahram Dustdar
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 1, pp. 5-29, 2011
Büchi automata for modeling component connectors
(
Citations: 1
)
Mohammad Izadi
,
Marcello M. Bonsangue
,
Dave Clarke
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 183-200, 2011
Semantics of trace relations in requirements models for consistency checking and inferencing
Arda Goknil
,
Ivan Kurtev
,
Klaas van den Berg
,
Jan-Willem Veldhuis
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 1, pp. 31-54, 2011