• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Kashif Javed, Kashif Asifa, Elena Troubitsyna, Implementation of SPIN Model Checker for Formal Verification of Distance Vector Routing Protocol. International Journal of Computer Science and Information Security 8(3), 6, 2010.

Articles in proceedings (5):

• Kashif Javed, Elena Troubitsyna, Towards Systematic Design of Adaptive Fault Tolerant Systems. In: David Musliner, Elena Troubitsyna, Dan Tamir (Eds.), The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications, 15 – 21, IARIA 2014, 2014.
• Kashif Javed, Elena Troubitsyna, A Structured Approach to Architecting Fault Tolerant Services. In: Guadaloupe Ortiz, Elena Troubitsyna, Sergio De Agostino (Eds.), The Ninth International Conference on Internet and Web Applications and Services, 99 – 104, IARIA 2014, 2014.
• Kashif Javed, Elena Troubitsyna, Modelling a Fault-Tolerant Distributed Satellite System. In: Lasse Berntzen, Katya Toneva, Abdulrahman Yarali (Eds.), The Second International Conference on Advanced Collaborative Networks, Systems and Applications, 35 to 41, IEEE Computer Press, 2012.
• Kashif Javed, Elena Troubitsyna, Designing a Fault-Tolerant Satellite System in SystemC. In: Hermann Kaindl, Leszek Koszalka, Herwig Mannaert, Marko Jäntti, Petre Dini (Eds.), ICONS 2012, The Seventh International Conference on Systems, 49–54, IEEE Computer Press, 2012.
• Kashif Javed, Elena Troubitsyna, A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake. In: Herwig Mannaert, Luigi Lavazza, Roy Oberhauser, Elena Troubitsyna, Michael Gebhar, Osamu Takaki (Eds.), The Seventh International Conference on Software Engineering Advances, 44 to 49, IEEE Computer Press, 2012.

Ph.D. thesis (1):

• Kashif Javed, Model-Driven Development and Verification of Fault Tolerant Systems. TUCS Dissertations 223. 2017.

Technical reports (2):

• Kashif Javed, Elena Troubitsyna, Ensuring Mode Consistency for a Complex Fault-Tolerant Distributed Satellite System. TUCS Technical Reports 1040, Turku Centre for Computer Science, 2012.
• Kashif Javed, Elena Troubitsyna, Implementation and Verification of the Proposed Satellite System Model for Fault Tolerance. TUCS Technical Reports 1021, Turku Centre for Computer Science, 2011.