@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.