Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. S.W.B. Prasetya

Wishnu  Prasetya

select other reports

this selection

author dr. S.W.B. Prasetya

reports (20)

techrep_id file title / author
UU-CS-2012-014 pdf FITTEST Log Format (version 1.1)
Wishnu Prasetya, Alexander Elyasov, Arie Middelkoop and Jurriaan Hage
UU-CS-2012-013 pdf Log-Based Reduction by Rewriting
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage
UU-CS-2012-012 pdf Using Sub-cases to Improve Log-based Oracles Inference
Wishnu Prasetya, Jurriaan Hage and Alexander Elyasov
UU-CS-2011-005 pdf CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases
I. S. W. B. Prasetya, J. Amorim, T. E. J. Vos, and A. Baars
UU-CS-2008-037 pdf Patterns for In-code Algebraic Testing
Wishnu Prasetya and Tanja Vos
UU-CS-2007-037 pdf Trace-based Reflexive Testing of OO Programs
I.S.W.B. Prasetya, T.E.J. Vos, A. Baars
UU-CS-2005-046 pdf Theorem Prover Supported Logics for Small Imperative Languages
I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A. van Leeuwen, H. Suhartanto
UU-CS-2005-002 pdf Web Cube: a Programming Model for Reliable Web Applications
I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra, B. Widjaja
UU-CS-2004-054 pdf Building Verification Condition Generators by Compositional Extensions
I. S. W. B. Prasetya, A. Azurat, and T.E.J. Vos
UU-CS-2003-043 pdf A UNITY-based Framework towards Component Based Systems
I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, and S.D. Swierstra
UU-CS-2002-025 pdf !UNITY: A Theory of General UNITY
I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra
UU-CS-2002-008 ps.gz
pdf
A preliminary report on xMECH
A. Azurat and I.S.W.B. Prasetya
UU-CS-2002-007 ps.gz
pdf
A Survey on Embedding Programming Logics in a Theorem Prover
A. Azurat and I.S.W.B. Prasetya
UU-CS-2000-07 ps.gz
pdf
Formal design of self-stabilizing programs: Theory and examples
S. W. B. Prasetya, S. D. Swierstra
UU-CS-2000-02 ps.gz
pdf
Factorizing fault tolerance
S. W. B. Prasetya, S. D. Swierstra
UU-CS-2000-01 ps.gz
pdf
Component-wise formal approach to design distributed systems
S. W. B. Prasetya, S. D. Swierstra, B. Widjaja
UU-CS-1996-37 ps.gz
pdf
Formal methods and mechanical verification applied to the development of a convergent distributed sorting program
T.E.J. Vos, S. D. Swierstra, S. W. B. Prasetya
UU-CS-1996-01 ps.gz
pdf
Formalizing UNITY with HOL
S. W. B. Prasetya
UU-CS-1995-07 ps.gz
pdf
Formal design of self-stabilizing programs
S. W. B. Prasetya, S. D. Swierstra
UU-CS-1994-19 pdf Mechanization of Substitution Rule and Compostionality of UNITY in HOL
I.S.W.B. Prasetya

indexed (co) authors

author group
Azurat, A. all reports Software Technology all reports
Baars, dr. A.I. all reports Software Technology all reports
Elyasov, A.B. all reports Software Technology all reports
Hage, dr. J. all reports Software Technology all reports
Leeuwen, drs. A.J. van all reports Software Technology all reports
Middelkoop, dr. A. all reports Software Technology all reports
Prasetya, dr. S.W.B. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports
Vos, dr. T.E.J. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2012014,
author = {Prasetya, Wishnu and Elyasov, Alexander and Middelkoop, Arie and Hage, Jurriaan},
year = 2012,
title = {FITTEST Log Format (version 1.1)},
number = {UU-CS-2012-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012013,
author = {Elyasov, Alexander and Prasetya, Wishnu and Hage, Jurriaan},
year = 2012,
title = {Log-Based Reduction by Rewriting},
number = {UU-CS-2012-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012012,
author = {Prasetya, Wishnu and Hage, Jurriaan and Elyasov, Alexander},
year = 2012,
title = {Using Sub-cases to Improve Log-based Oracles Inference},
number = {UU-CS-2012-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011005,
author = {Prasetya, I.~S.~W.~B. and Amorim, J. and Vos, T.~E.~J. and Baars, A.},
year = 2011,
title = {CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases},
number = {UU-CS-2011-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008037,
author = {Prasetya, Wishnu and Vos, Tanja},
year = 2008,
title = {Patterns for In-code Algebraic Testing},
number = {UU-CS-2008-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007037,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Baars, A.},
year = 2007,
title = {Trace-based Reflexive Testing of OO Programs},
number = {UU-CS-2007-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005046,
author = {Prasetya, I.S.W.B. and Azurat, A. and Vos, T.E.J. and Leeuwen, A.~van and Suhartanto, H.},
year = 2005,
title = {Theorem Prover Supported Logics for Small Imperative Languages},
number = {UU-CS-2005-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005002,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Swierstra, S.D. and Widjaja, B.},
year = 2005,
title = {Web Cube: a Programming Model for Reliable Web Applications},
number = {UU-CS-2005-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004054,
author = {Prasetya, I.~S.~W.~B. and Azurat, A. and Vos, T.E.J.},
year = 2004,
title = {Building Verification Condition Generators by Compositional Extensions},
number = {UU-CS-2004-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003043,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2003,
title = {A UNITY-based Framework towards Component Based Systems},
number = {UU-CS-2003-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002025,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2002,
title = {!UNITY: A Theory of General UNITY},
number = {UU-CS-2002-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002008,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A preliminary report on xMECH},
number = {UU-CS-2002-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002007,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A Survey on Embedding Programming Logics in a Theorem Prover},
number = {UU-CS-2002-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200007,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 2000,
title = {Formal design of self-stabilizing programs: Theory and examples},
number = {UU-CS-2000-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200002,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 2000,
title = {Factorizing fault tolerance},
number = {UU-CS-2000-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200001,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D. and Widjaja, B.},
year = 2000,
title = {Component-wise formal approach to design distributed systems},
number = {UU-CS-2000-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199637,
author = {Vos, T.E.J. and Swierstra, S.~D. and Prasetya, S.~W.~B.},
year = 1996,
title = {Formal methods and mechanical verification applied to the development of a convergent distributed sorting program},
number = {UU-CS-1996-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199601,
author = {Prasetya, S.~W.~B.},
year = 1996,
title = {Formalizing UNITY with HOL},
number = {UU-CS-1996-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199507,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 1995,
title = {Formal design of self-stabilizing programs},
number = {UU-CS-1995-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199419,
author = {Prasetya, I.S.W.B.},
year = 1994,
title = {Mechanization of Substitution Rule and Compostionality of UNITY in HOL},
number = {UU-CS-1994-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-19.pdf}},
pubcat = {techreport}
}