David Cachera (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

14 Katell Morin-Allory, David Cachera: Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. CHARME 2005: 376-379

12 David Cachera, Katell Morin-Allory: Verification of safety properties for parameterized regular systems. ACM Trans. Embedded Comput. Syst. 4(2): 228-266 (2005)

9 David Cachera, Katell Morin-Allory: Verification of Control Properties in the Polyhedral Model. MEMOCODE 2003: 265-

Selection of 3 from 23 records - David Cachera has 16 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

14		Katell Morin-Allory, David Cachera: Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. CHARME 2005: 376-379
12		David Cachera, Katell Morin-Allory: Verification of safety properties for parameterized regular systems. ACM Trans. Embedded Comput. Syst. 4(2): 228-266 (2005)
9		David Cachera, Katell Morin-Allory: Verification of Control Properties in the Polyhedral Model. MEMOCODE 2003: 265-