Result 1 to 20 of 105 total
Robustness of time Petri nets under architectural constraints. (English)
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 11-26 (2012).
1
Static analysis of biological regulatory networks dynamics using abstract interpretation. (English)
Math. Struct. Comput. Sci. 22, No. 4, 651-685 (2012).
2
Abstract interpretation of dynamics of biological regulatory networks. (English)
Electron. Notes Theor. Comput. Sci. 272, 43-56 (2011).
3
Refining dynamics of gene regulatory networks in a stochastic $π$-calculus framework. (English)
Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIII. Berlin: Springer (ISBN 978-3-642-19747-5/pbk). Lecture Notes in Computer Science 6575. Lecture Notes in Bioinformatics. Journal Subline, 171-191 (2011).
4
Tuning temporal features within the stochastic $π$-calculus (English)
IEEE Trans. Software Eng. 37, No. 6, 858-871 (2011).
5
Special issue on modeling of reactive systems (English)
Discrete Event Dynamic Systems 21, No. 3, 305-306 (2011).
6
Refining dynamics of gene regulatory networks in a stochastic p-calculus framework (English)
T. Comp. Sys. Biology 13, 171-191 (2011).
7
Channel synthesis for finite transducers (English)
AFL, 79-92 (2011).
8
Symbolic unfolding of parametric stopwatch Petri nets. (English)
Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 291-305 (2010).
9
Diagnosis using unfoldings of parametric time Petri nets. (English)
Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 137-151 (2010).
10
Invariance kernel of biological regulatory networks (English)
IJDMB 4, No. 5, 553-570 (2010).
11
Diagnosis using unfoldings of parametric time Petri nets (English)
FORMATS, 137-151 (2010).
12
Symbolic unfolding of parametric stopwatch Petri nets (English)
ATVA, 291-305 (2010).
13
Parametric model-checking of stopwatch Petri nets. (English)
J. UCS 15, No. 17, 3273-3304, electronic only (2009).
14
Expressiveness of Petri nets with stopwatches. Discrete-time part. (English)
Fundam. Inform. 97, No. 1-2, 139-176 (2009).
15
Expressiveness of Petri nets with stopwatches. Dense-time part. (English)
Fundam. Inform. 97, No. 1-2, 111-138 (2009).
16
Formal verification of real-time systems with preemptive scheduling. (English)
Real-Time Syst. 41, No. 2, 118-151 (2009).
17
TCTL model checking of time Petri nets. (English)
J. Log. Comput. 19, No. 6, 1509-1540 (2009).
18
Exact and heuristic methods for the selective maintenance problem. (English)
Eur. J. Oper. Res. 197, No. 3, 1166-1177 (2009).
19
Synthesis of non-interferent timed systems. (English)
Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14‒16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 28-42 (2009).
20
Result 1 to 20 of 105 total
Start
Contact
Print
General Help
