biblio2008.bib

@MISC{monin07_universalis,
  author = {Jean-Fran\c{c}ois Monin},
  title = {Programmation},
  howpublished = {Encyclop{\ae}dia Universalis},
  year = 2008
}
@INPROCEEDINGS{BP08,
  author = {S. Boulm\'e and M-L. Potet},
  title = {{Relaxing restriction on invariant composition in the B method by ownership control \`a la Spec#}},
  publisher = {Springer},
  series = {LNCS},
  volume = {in press},
  booktitle = {Fetschrift in Honor of Egon Boerger},
  editor = {J-R Abrial and U. Glasser},
  year = {2008}
}
@INPROCEEDINGS{DLMP08,
  author = {F. Dadeau and J. Lamboley and T. Moutet and M-L Potet},
  title = {{A verifiable Conformance Relationship between Smart Card Applets and Security Models}},
  publisher = {Springer},
  series = {LNCS},
  booktitle = {ABZ  2008},
  editor = {E. Borger and J. Bowen and M. Butler},
  year = {2008}
}
@INPROCEEDINGS{DPT08,
  author = {F. Dadeau and M-L Potet and R. Tissot},
  title = {{A B Formal Framework for Security Developments in the Domain of Smart Card Applications}},
  publisher = {Springer},
  series = {IFIP proceedings},
  booktitle = {SEC 2008: 23th International Information Security Conference},
  year = {2008}
}
@INPROCEEDINGS{Elf08Icst,
  author = {K. El-Fakih and A. Kolomeez and S. Prokopenko and N. Yevtushenko},
  title = {{Extended finite state machine based test derivation driven by user defined faults}},
  booktitle = {Proceedings of the International Conference on Software Testing, Verification, and Validation},
  publisher = {IEEE},
  month = {April},
  year = {2008},
  pages = {308-317}
}
@BOOK{Elf08Forte,
  author = {K. Suzuki and T. Higashino and K. Yasumoto and K. El-Fakih},
  title = {The 28th International Conference on Formal Techniques for Networked and Distributed Systems},
  publisher = {Springer},
  year = {2008}
}
@INPROCEEDINGS{Elf08Ciaa,
  author = {K. El-Fakih and N. Yevtushenko},
  title = {{Progressive solutions to FSM equations}},
  booktitle = {Proceedings of the 13th International Conference on Implementation and Application of Automata},
  month = {July},
  year = {2008}
}
@INPROCEEDINGS{ijcar08,
  author = {Marius Bozga and Radu Iosif and Swann Perarnau},
  title = {Quantitative Separation Logic and Programs with Lists},
  booktitle = {Proc. 4th International Joint Conference on Automated Reasoning (IJCAR 2008)},
  year = {2008}
}
@INPROCEEDINGS{Basu-Bidinger-Bozga-Sifakis-08,
  author = {A.~Basu and P.~Bidinger and M.~Bozga and J.~Sifakis},
  title = {Distributed Semantics and Implementation for Systems with Interaction and Priority},
  booktitle = {Proceedings of FORTE'08},
  optcrossref = {},
  optkey = {},
  optpages = {},
  year = {2008},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  series = {LNCS},
  optaddress = {},
  month = {June},
  optorganization = {},
  publisher = {Springer},
  optnote = {},
  optannote = {}
}
@ARTICLE{Graf2008,
  author = {Susanne Graf},
  title = {Omega -- Correct development of Real Time Embedded Systems},
  journal = {SoSyM, int. Journal on Software \& Systems Modelling},
  volume = 7,
  number = 2,
  year = 2008,
  class = {web,rap,time}
}
@INPROCEEDINGS{ConstantMoninGraf08,
  author = {Olivier Constant and Wei Monin and Susanne Graf},
  title = {A Model Transformation Tool for Performance Simulation of Complex UML Models},
  booktitle = {ICSE 2008, tool track},
  series = {LNCS},
  volume = {},
  year = 2008,
  abstract = {},
  url = {}
}
@INPROCEEDINGS{BKT08,
  title = {Generating Analog-Clock Real-Time Testers Using Action Refinement Techniques},
  author = {S.~Bensalem and M.~Krichen and  S.~Tripakis.},
  booktitle = {International Conference on Relations, Orders and Graphs: Interaction with Computer Science (ROGICS 2008), Mahdia, Tunisia},
  year = {2008}
}
@INPROCEEDINGS{BKTWODES08,
  title = {State Identification Problems for Input/Output Transition Systems},
  author = {S.~Bensalem and M.~Krichen and  S.~Tripakis.},
  booktitle = {9th International Workshop on Discrete Event Systems (WODES 2008), Goteborg, Sweden},
  year = {2008}
}
@INPROCEEDINGS{BBGIKT08,
  title = {Automatic Generation of Observers for the Dala Robot with TTG},
  author = {S.~Bensalem and M.~Bozga and M.~Gallien and F.~Ingrand and M.~Krichen and  S.~Tripakis.},
  booktitle = {1st Mediterranean Conference on Intelligent Systems and Automation (CISA 2008), Annaba, Algeria},
  year = {2008}
}
@INPROCEEDINGS{BBGIKT08a,
  title = {Autonomous Robot Software Design Challenge},
  author = {S.~Bensalem and F.~Ingrand and J. Sifakis},
  booktitle = {2008 International Advanced Robotics Program (IARP). International Workshop on Technical Challenges for Dependable Robots in Human Environnements, May 16-17, Pasadena, USA},
  year = {2008}
}
@INPROCEEDINGS{BBNS08,
  title = {Compositional Deadlock Detection and Verification for Component-based Systems},
  author = {S.~Bensalem and M. Bozga and H. Nguyen and Joseph Sifakis},
  booktitle = {2nd International Workshop on Verification and Evaluation
of Computer and Communication Systems, July 2-3, Leeds, UK},
  year = {2008}
}
@INPROCEEDINGS{SafeCert'08:ConvincingProofsForCertification,
  author = {Garnacho, Manuel and P{\'e}rin, Micha{\"e}l},
  title = {Convincing proofs for program certification},
  booktitle = {International Workshop on Certification of Safety-Critical Software Controlled Systems},
  note = {(SafeCert'08)},
  year = 2008
}
@ARTICLE{BliSif08-acp-tc,
  author = {Simon Bliudze and Joseph Sifakis},
  title = {The Algebra of Connectors~---
                    {S}tructuring Interaction in {BIP}},
  journal = {{IEEE} Transactions on Computers - Special Issue on 
                    Programming Models and Architectures for Embedded Systems},
  year = 2008,
  note = {(To appear)}
}
@INPROCEEDINGS{venturini07non,
  title = {A Fully-Non-Transparent Proposal to the Code Location Problem},
  author = {Venturini, Hugo and Riss, Fr\'ed\'eric and Fernandez,Jean-Claude and Santana, Miguel},
  booktitle = {Proceedings of SCOPES '08: The 11th International Workshop on Software and Compilers for Embedded Systems},
  month = {march},
  publisher = {ACM Press New York, NY, USA},
  location = {Munich, Germany},
  year = {2008}
}
@INPROCEEDINGS{falcone08jpost,
  title = {{j-POST: a Java Toolchain for Property-Oriented Software Testing}},
  author = {Yliès Falcone and Laurent Mounier and Jean-Claude Fernandez and Jean-Luc Richier},
  booktitle = {Model-Based Testing (MBT)},
  year = {2008}
}
@INPROCEEDINGS{Compagnoni:TCS08,
  author = {Adriana Compagnoni and Elsa L. Gunter and Philippe Bidinger},
  title = {Role-Based Access Control for Boxed Ambients},
  year = {2008},
  booktitle = {Theoretical Computer Science. Festschrift in Honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca},
  series = {Lecture Notes in Computer Science},
  note = {To appear}
}

This file has been generated by bibtex2html 1.85.