Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 12 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00527169v1 Communication dans un congrès Dana N. Xu, Gregor Goessler, Alain Girault. Probabilistic Contracts for Component-Based Design the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. Springer, pp.325-340, 2010, <10.1007/978-3-642-15643-4_24>
	inria-00548815v1 Communication dans un congrès Gregor Goessler, Daniel Le Métayer, Jean-Baptiste Raclet. Causality Analysis in Contract Violation Runtime Verification, Nov 2010, St Julians, Malta. 6418, pp.270-284, 2010, LNCS. <http://www.springerlink.com/content/9w5x657512677k19/fulltext.pdf>
	hal-00745819v1 Communication dans un congrès Gideon Smeding, Gregor Goessler. A Correlation Preserving Performance Analysis for Stream Processing Systems MEMOCODE, Jul 2012, Washington DC, United States. 2012, <10.1109/MEMCOD.2012.6292295>
	hal-00747622v1 Communication dans un congrès Borzoo Bonakdarpour, Marius Bozga, Gregor Goessler. A Theory of Fault Recovery for Component-Based Models Stabilization, Safety, and Security of Distributed Systems, 2012, Toronto, Canada. 2012, <10.1109/SRDS.2011.39>
	hal-00753172v1 Communication dans un congrès Partha Roop, Alain Girault, Gregor Goessler, Roopak Sinha. Specification Enforcing Refinement for Convertibility Verification International Conference on Application of Concurrency to System Design, ACSD'09, Jul 2009, Augsburg, Germany. IEEE, pp.148--157, 2009, <10.1109/ACSD.2009.25>
	inria-00482569v1 Rapport Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro et al. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [Research Report] RR-7284, INRIA. 2010
	inria-00344856v1 Rapport Gregor Goessler. Component-based Modeling and Reachability Analysis of Genetic Networks [Research Report] RR-6755, INRIA. 2008
	hal-00839613v1 Communication dans un congrès Sebti Mouelhi, Antoine Girard, Gregor Goessler. CoSyMA: a tool for controller synthesis using multi-scale abstractions HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. ACM, pp.83-88, 2013, <10.1145/2461328.2461343>
	inria-00440437v1 Rapport Christophe Alleaune, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Nicolas Craipeau et al. Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study [Research Report] RR-7148, INRIA. 2009, pp.23
	inria-00472287v3 Communication dans un congrès Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot et al. Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), May 2010, Cape Town, South Africa. pp.135--144, 2010, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010. <http://doi.acm.org/10.1145/1806799.1806823>. <10.1145/1806799.1806823>
	hal-00747620v1 Article dans une revue Gregor Goessler, Dana Xu, Alain Girault. Probabilistic contracts for component-based design Formal Methods in System Design, Springer Verlag, 2012, 41 (2), pp.211-231. <10.1007/s10703-012-0162-4>
	hal-00793024v1 Article dans une revue Gregory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro et al. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking Bioinformatics, Oxford University Press (OUP), 2010, 26, pp.i603-i610. <10.1093/bioinformatics/btq387>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 12 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM