Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(73)
Arie Gurfinkel
42
Steve M. Easterbrook
28
Shiva Nejati
19
Benet Devereux
18
Sebastian Uchitel
12
Conferences
(30)
ICSE
7
ASE
6
CASCON
5
TACAS
4
CAV
4
Journals
(15)
ACM Sigsoft Software Engineering Notes
6
CORR
5
TSE
4
TOSEM
3
IANDC
2
Keywords
(233)
Embed
Subscribe
Academic
Authors
Marsha Chechik
Marsha Chechik,University of Toronto,Software Engineering,Algorithms & Theory,Programming Languages
Edit
Marsha Chechik
University of Toronto
Publications:
130
|
Citations:
1229
Fields:
Software Engineering
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
73 co-authors
from 1994 to 2012
|
Cited by
1027 authors
Cumulative
Annual
Sort by:
Publications
(130)
BibTeX
|
RIS
|
RefWorks
Download
Weak Alphabet Merging of Partial Behavior Models
Dario Fischbein
,
Nicolas D’Ippolito
,
Greg Brunet
,
Marsha Chechik
,
Sebastian Uchitel
Journal:
ACM Transactions on Software Engineering and Methodology - TOSEM
, pp. 1-47, 2012
Partial models: Towards modeling and reasoning with uncertainty
Michaiis Famelis
,
Rick Salay
,
Marsha Chechik
Conference:
International Conference on Software Engineering - ICSE
, pp. 573-583, 2012
Towards a Methodology for Verifying Partial Model Refinements
Rick Salay
,
Marsha Chechik
,
Jan Gorzny
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2012
The semantics of partial model transformations
Michaiis Famelis
,
Rick Salay
,
Marsha Chechik
Conference:
International Workshop on Modeling in Software Engineering - MISE
, pp. 64-69, 2012
Managing forked product variants
Julia Rubin
,
Andrei Kirshin
,
Goetz Botterweck
,
Marsha Chechik
Published in 2012.
Sort by:
Citations
(1229 times by 689 publications)
Techniques for grounding agent-based simulations in the real domain: a case study in experimental autoimmune encephalomyelitis
Mark Read
,
Paul S. Andrews
,
Jon Timmis
,
Vipin Kumar
Journal:
Mathematical and Computer Modelling of Dynamical Systems - MATH COMPUT MODEL DYNAM SYST
, vol. 18, no. 1, pp. 67-86, 2012
Analysis of Boolean Programs
Patrice Godefroid
,
Mihalis Yannakakis
Published in 2012.
Similarity of business process models: Metrics and evaluation
(
Citations: 13
)
Remco M. Dijkman
,
Marlon Dumas
,
Boudewijn F. van Dongen
,
Reina Käärik
,
Jan Mendling
Journal:
Information Systems - IS
, vol. 36, no. 2, pp. 498-516, 2011
Runtime Verification for LTL and TLTL
(
Citations: 11
)
Andreas Bauer
,
Martin Leucker
,
Christian Schallhart
Journal:
ACM Transactions on Software Engineering and Methodology - TOSEM
, pp. 1-64, 2011
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
(
Citations: 5
)
Matthias Weidlich
,
Jan Mendling
,
Mathias Weske
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 410-429, 2011
Comments