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