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
(68)
Brian Matthews
21
Alvaro Enrique Arenas (Álvaro Enrique Arenas)
12
Kevin Charles Lano
12
Tom S. E. Maibaum
10
Theodosis Dimitrakos
7
Conferences
(18)
FM
8
ZUM
3
SOFSEM
2
ECOOP
2
IEEE International Conference on Formal Engineering Methods
2
Journals
(10)
ENTCS
2
Iet Software/iee Proceedings - Software
1
IGPL
1
SCP
1
CSUR
1
Keywords
(148)
Embed
Subscribe
Academic
Authors
Juan Bicarregui
Juan Bicarregui,Science and Technology Facilities Council,Software Engineering,Programming Languages,Algorithms & Theory
Edit
Juan Bicarregui
Science and Technology Facilities Council
Publications:
63
|
Citations:
390
Fields:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
68 co-authors
from 1991 to 2010
|
Cited by
525 authors
Cumulative
Annual
Sort by:
Publications
(63)
BibTeX
|
RIS
|
RefWorks
Download
An Event-B Approach to Data Sharing Agreements
(
Citations: 1
)
Alvaro E. Arenas
,
Benjamin Aziz
,
Juan Bicarregui
,
Michael D. Wilson
Conference:
Integrated Formal Methods - IFM
, pp. 28-42, 2010
Considering Software Preservation
Brian Matthews
,
Arif Shaon
,
Catherine Jones
,
Esther Conway
,
Jim Woodcock
Journal:
Ercim News - ERCIM
, vol. 2010, no. 80, 2010
An Event-B Approach to Data Sharing Agreements
Alvaro E. Arenas
,
Benjamin Aziz
,
Juan Bicarregui
,
Michael D. Wilson
Published in 2010.
Formal methods: Practice and experience
(
Citations: 23
)
Jim Woodcock
,
Peter Gorm Larsen
,
Juan Bicarregui
,
John S. Fitzgerald
Journal:
ACM Computing Surveys - CSUR
, vol. 41, no. 4, pp. 1-36, 2009
Industrial Practice in Formal Methods: A Review
(
Citations: 1
)
Juan Bicarregui
,
John S. Fitzgerald
,
Peter Gorm Larsen
,
J. C. P. Woodcock
Conference:
World Congress on Formal Methods - FM
, pp. 810-813, 2009
Sort by:
Citations
(390 times by 329 publications)
Deriving a Slicing Algorithm via FermaT Transformations
(
Citations: 2
)
Martin P. Ward
,
Hussein Zedan
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, pp. 24-47, 2011
Functional and Nonfunctional Design Verification for Embedded Software Systems
Arnab Ray
,
Christopher Ackermann
,
Rance Cleaveland
,
Charles P. Shelton
,
Chris Martin
Journal:
Advances in Computers - AC
, vol. 83, pp. 277-321, 2011
Product development and manufacturing work together to build the platform
Yueheng Cao
,
Dongju Bu
Conference:
International Conference on Artificial Intelligence, Management Science and Electronic Commerce - AIMSEC
, 2011
Research on collaborative management on networked R&D of H product
Xintong Li
,
Shaojie Zhang
,
Yueheng Cao
Conference:
International Conference on Artificial Intelligence, Management Science and Electronic Commerce - AIMSEC
, 2011
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates
Cong Tian
,
Shaoying Liu
,
Shin Nakajima
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
Comments