Quantified Abstractions of Distributed Systems, iFM'13, pp.285-300, 2013. ,
DOI : 10.1007/978-3-642-38613-8_20
A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010. ,
DOI : 10.1145/1721654.1721672
Dependent Types at Work, In LerNet ALFA Summer School Lecture Notes in Computer Science, vol.248, issue.1-2, pp.57-99, 2008. ,
DOI : 10.1016/S0304-3975(00)00053-0
JRes: A resource accounting interface for Java, Proceedings of OOPSLA, pp.21-35, 1998. ,
A Complete Guide to the Future, Progr. Lang. and Systems, pp.316-330, 2007. ,
DOI : 10.1007/978-3-540-71316-6_22
Model checking service compositions under resource constraints, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.225-234, 2007. ,
DOI : 10.1145/1287624.1287657
Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005. ,
DOI : 10.1007/s00236-005-0177-z
Deadlock Analysis of Concurrent Objects: Theory and Practice, iFM'13, pp.394-411, 2013. ,
DOI : 10.1007/978-3-642-38613-8_27
URL : https://hal.archives-ouvertes.fr/hal-00909311
Deadlock Analysis of Unbounded Process Networks, Proceedings of Concur'2014, 2014. ,
DOI : 10.1007/978-3-662-44584-6_6
URL : https://hal.archives-ouvertes.fr/hal-01091749
A Framework for Deadlock Detection in ABS. Software and Systems Modeling, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01229046
Multivariate amortized resource analysis, ACM Trans. Program. Lang. Syst, vol.34, issue.3, p.14, 2012. ,
DOI : 10.1145/1925844.1926427
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7406
Automatic Type Inference for Amortised Heap-Space Analysis, 22nd European Symposium on Programming, ESOP 2013, pp.593-613, 2013. ,
DOI : 10.1007/978-3-642-37036-6_32
ABS: A Core Language for Abstract Behavioral Specification, Proc. of FMCO 2010, pp.142-164, 2011. ,
DOI : 10.2498/cit.2002.01.01
Dynamic Resource Reallocation between Deployment Components, Proc. of ICFEM'10, pp.646-661, 2010. ,
DOI : 10.1007/978-3-642-16901-4_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.372
Validating Timed Models of Deployment Components with Parametric Concurrency, Proc. of FoVeOOS'10, pp.46-60, 2011. ,
DOI : 10.1007/3-540-45652-X_19
Resource usage analysis for the pi-calculus, Logical Methods in Computer Science, vol.2, issue.3, 2006. ,
The Must Preorder Revisited, Proc. CONCUR 2007, pp.212-225, 2007. ,
DOI : 10.1007/978-3-540-74407-8_15
Bisimulation on speed: A unified approach, Theoretical Computer Science, vol.360, issue.1-3, pp.209-227, 2006. ,
DOI : 10.1016/j.tcs.2006.03.004
A Calculus of Communicating Systems, 1982. ,
DOI : 10.1007/3-540-10235-3
A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.41-77, 1992. ,
DOI : 10.1016/0890-5401(92)90009-5
Resource aware programming, ACM Transactions on Programming Languages and Systems, vol.27, issue.3, pp.441-476, 2005. ,
DOI : 10.1145/1065887.1065891
URL : https://hal.archives-ouvertes.fr/hal-01175935
Analysis of resourceconstrained processes with Colored Petri Nets, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools, 2005. ,
Synthesis of embedded software using free-choice Petri nets, Proc. 36th ACM/IEEE Design Automation Conference (DAC'99), pp.805-810, 1999. ,
Embedded Systems Resources: Views on Modeling and Analysis, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.1321-1328, 2008. ,
DOI : 10.1109/COMPSAC.2008.215