Result 1 to 20 of 103 total
Sequential and distributed on-the-fly computation of weak tau-confluence. (English)
Sci. Comput. Program. 77, No. 10-11, 1075-1094 (2012).
1
Partial model checking using networks of labelled transition systems and Boolean equation systems. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 141-156 (2012).
2
Property-dependent reductions for the modal mu-calculus. (English)
Groce, Alex (ed.) et al., Model checking software. 18th international SPIN workshop, Snowbird, UT, USA, July 14‒15, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22305-1/pbk). Lecture Notes in Computer Science 6823, 2-19 (2011).
3
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. (English)
Theor. Comput. Sci. 412, No. 26, 2854-2883 (2011).
4
CADP 2010: A toolbox for the construction and analysis of distributed processes. (English)
Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 372-387 (2011).
5
CADP 2010: A toolbox for the construction and analysis of distributed processes (English)
TACAS, 372-387 (2011).
6
Property-dependent reductions for the modal mu-calculus (English)
SPIN, 2-19 (2011).
7
On the power of belief propagation: a constraint propagation perspective. (English)
Dechter, Rina (ed.) et al., Heuristics, probability and causality. A tribute to Judea Pearl. London: College Publications (ISBN 978-1-90497-66-6/hbk; 978-1-904987-65-9/pbk). Tributes 11, 143-165 (2010).
8
Ten years of performance evaluation for concurrent systems using CADP. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16560-3/pbk). Lecture Notes in Computer Science 6416, 128-142 (2010).
9
A study of shared-memory mutual exclusion protocols using CADP. (English)
Kowalewski, Stefan (ed.) et al., Formal methods for industrial critical systems. 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20‒21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15897-1/pbk). Lecture Notes in Computer Science 6371, 180-197 (2010).
10
Translating pi-calculus into LOTOS NT. (English)
Méry, Dominique (ed.) et al., Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16264-0/pbk). Lecture Notes in Computer Science 6396, 229-244 (2010).
11
Join-graph propagation algorithms. (English)
J. Artif. Intell. Res. (JAIR) 37, 279-328 (2010).
12
Storage coding for wear leveling in flash memories (English)
IEEE Transactions on Information Theory 56, No. 10, 5290-5299 (2010).
13
A study of shared-memory mutual exclusion protocols using CADP (English)
FMICS, 180-197 (2010).
14
Translating pi-calculus into LOTOS NT (English)
IFM, 229-244 (2010).
15
Ten years of performance evaluation for concurrent systems using CADP (English)
ISoLA (2), 128-142 (2010).
16
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. (English)
BMC Bioinform. 10, 450 (2009).
17
Storage coding for wear leveling in flash memories. (English)
Comput. Res. Repos. 2009, Article No. 0911.3992 (2009).
18
Partial order reductions using compositional confluence detection. (English)
Cavalcanti, Ana (ed.) et al., FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2‒6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-05088-6/pbk). Lecture Notes in Computer Science 5850, 157-172 (2009).
19
Hierarchical adaptive state space caching based on level sampling. (English)
Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22‒29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 215-229 (2009).
20
Result 1 to 20 of 103 total
Start
Contact
Print
General Help
