Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2003 | 2001 | 1999 | 1998 | 1997 | 1996 | 1995
Number of items: 36.

2014

Schivo, S. and Scholma, J. and Karperien, M. and Langerak, R. and Pol, J. van de and Post, J.N. (2014) ANIMO: a tool for modeling biological pathway dynamics. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 June 2014, Genova, Italy (pp. pp. 54-55).

Schivo, S. and Scholma, J. and Karperien, H.B.J. and Post, J.N. and Pol, J.C. van de and Langerak, R. (2014) Setting Parameters for Biological Models With ANIMO. In: Proceedings 1st International Workshop on Synthesis of Continuous Parameters, Grenoble, France, 08-04-2014 (pp. 35 - 47).

Schivo, Stefano and Scholma, Jetse and Karperien, Marcel and Post, Janine N. and Pol, Jaco van de and Langerak, Rom (2014) Setting Parameters for Biological Models With ANIMO. In: 1st International Workshop on Synthesis of Continuous Parameters, 6 April 2014, Grenoble, France (pp. pp. 35-47).

Schivo, Stefano and Scholma, Jetse and Wanders, Brend and Urquidi Camacho, Ricardo A. and Vet, Paul E. van der and Karperien, Marcel and Langerak, Rom and Pol, Jaco van de and Post, Janine N. (2014) Modelling biological pathway dynamics with Timed Automata. IEEE journal of biomedical and health informatics, 18 (3). pp. 832-839. ISSN 2168-2194

Scholma, J. and Schivo, S. and Karperien, M. and Langerak, R. and Pol, J. van de and Post, J.N. (2014) An ECHO in biology: Validating the Executable CHondrocyte. In: 2014 World Congress on Osteoarthritis, 24-27 Apr 2014, Paris, France (pp. S157-S157).

Scholma, J. and Schivo, S. and Kerkhofs, J. and Langerak, R. and Karperien, M. and Pol, J. van de and Geris, L. and Post, J.N. (2014) ECHO: the executable chondrocyte. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 June 2014, Genova, Italy (pp. p. 54).

2013

Scholma, J. and Kerkhofs, J. and Schivo, S. and Langerak, R. and Vet, P.E. van der and Karperien, H.B.J. and Pol, J.C. van de and Geris, L. and Post, J.N. (2013) Mathematical modeling of signaling pathways in osteoarthritis. Osteoarthritis and cartilage, 21 (Suppl.). S123-S123. ISSN 1063-4584

2012

Polderman, J.W. and Langerak, R. (2012) Stability and robustness of planar switching linear systems. Systems & Control Letters, 61 (9). pp. 904-910. ISSN 0167-6911

Polenkova, S. and Polderman, J. and Langerak, R. (2012) Stability of reset systems. In: 20th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2012, 9-13 July 2012, Melbourne, Australia.

Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R.A. and Vet, P.E. van der and Karperien, H.B.J. and Langerak, R. and Pol, J.C. van de and Post, J.N. (2012) Modelling biological pathway dynamics with timed automata. In: 12th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2012, 11-13 November 2012, Larnaca, Cyprus (pp. pp. 447-453).

2011

Laarman, Alfons and Langerak, Rom and Pol, Jaco van de and Weber, Michael and Wijs, Anton (2011) Multi-Core Nested Depth-First Search. In: 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 October 2011, Tapei, Taiwan.

2010

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. In: Proceedings FM-09 Workshop on Formal Methods for Aerospace. Electronic Proceedings in Theoretical Computer Science, 20 . EPTCS, pp. 49-62.

Polenkova, Svetlana and Polderman, Jan Willem and Langerak, Rom (2010) Stability criteria for planar linear systems with state reset. In: 19th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2010, 5-9 July 2010, Budapest, Hungary (pp. pp. 809-815).

Xing, Jiansheng and Theelen, B.D. and Langerak, Rom and Pol, Jaco van de and Tretmans, Jan and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 47-56).

Xing, Jiansheng and Theelen, Bart D. and Langerak, Rom and Pol, Jaco van de and Tretmans, Jan and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, 18-20 October 2010, Amirandes, Heraclion, Crete (pp. pp. 160-174). (In Press)

2009

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, FMA, 03 Nov 2009, Eindhoven, The Netherlands.

2008

Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA (pp. pp. 610-613).

Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea (pp. pp. 3635-3640).

Daws, C.F. and Langerak, R. and Polderman, J.W. (2008) Decision algorithm for the stability of planar switching linear systems. In: Proceedings of the 18th international symposium on mathematical theory of networks & systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA (pp. p. 11).

Langerak, R. and Polderman, J.W. (2008) Hybrid automata. In: Handbook of Hybrid Systems Control, Theory - Tools - Applications. Cambridge University Press, Cambridge, pp. 60-65. ISBN 9780521765053 (In Press)

2007

Khusainov, D. and Langerak, R. and Kuzmych, O. (2007) Estimations of solutions convergence of hybrid systems consisting of linear equations with delay. Nonlinear dynamics and systems theory, 7 (2). pp. 169-186. ISSN 1562-8353

2006

Langerak, R. and Kuzmych, O. (2006) Estimations of solutions convergence of hybrid systems with delay. In: Conference on Differential and Difference Equations and Applications CDDEA 2006, June 26–30, 2006, Zilina, Slovensko (pp. pp. 30-31).

2005

Langerak, Rom and Polderman, Jan Willem (2005) Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Sevilla, Spain, Sevilla, Spain (pp. pp. 4867-4872).

Strubbe, Stefan and Langerak, Rom (2005) A Composition Operator for Systems with Active and Passive Actions. In: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, October 2-5, 2005, Taipei, Taiwan (pp. pp. 24-37).

2003

Langerak, R. and Polderman, J.W. and Krilavicius, T. (2003) Stability Analysis for Hybrid Automata Using Conservative Gains. In: IFAC Conference on Analysis and Design of Hybrid Systems, ADHS, 16-18 June 2003, Saint-Malo, France (pp. pp. 377-382).

2001

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 220-235).

1999

Langerak, Rom (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands (pp. pp. 24-41).

Langerak, Rom and Brinksma, Ed (1999) A complete finite prefix for process algebra. In: 11th International Conference on Computer Aided Verification, CAV '99, July 6-10, 1999, Trento, Italy (pp. pp. 184-195).

1998

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1998) Partial-order models for quantitative extensions of LOTOS. Computer Networks and ISDN Systems, 30 (9-10). pp. 925-950. ISSN 0169-7552

Katoen, Joost-Pieter and Latella, Diego and Langerak, Rom and Brinksma, Ed and Bolognesi, Tommaso (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856

1997

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. [Report]

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland (pp. pp. 317-332).

Ruys, Theo C. and Langerak, Rom (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Third International Workshop on SPIN, SPIN '97, 5 April 1997, Enschede, The Netherlands.

1996

Katoen, Joost-Pieter and Brinksma, Ed and Latella, Diego and Langerak, Rom (1996) Stochastic simulation of event structures. In: Fourth Process Algebra and Performance Modelling Workshop, PAPM '96, 4-5 July 1996, Torino, Italy (pp. pp. 21-49).

1995

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1995) A stochastic causality-based process algebra. The Computer Journal, 38 (7). pp. 552-565. ISSN 0010-4620

Brinksma, Ed and Langerak, Rom (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13 . pp. 2-13. ISSN 1015-7999

This list was generated on Sat Sep 20 05:14:53 2014 CEST.