Publications HOME PAGE

In progress

• Sedwards, S., Jensen, P., Larsen, K., Legay, A., Taankvist, J. 2017, Time for Better Schedulers.
• Sedwards, S., Given-Wilson, T., Legay, A. 2017. Distributed Dynamic Motion Planning for Groups of Robotic Assistants with Intermittent Communication.
• Sedwards, S., Jegourel, C., Larsen, K., Legay, L., Mikučionis, M., Poulsen, D. 2017. Optimal Importance Sampling Distributions for Stochastic Timed Automata.
• Sedwards, S., D'Argenio, P., Hartmanns, A., Legay, A. 2017. Statistical Approximation of Optimal Schedulers for Timed Automata with Discrete Probabilistic Choices.
• Sedwards, S., Legay, A., Traonouez, L-M. 2017. Efficient Importance Splitting Observers for Distribited Verification of Rare Properties.

Journal articles

• Sedwards, S., Jegourel, C., Legay, A. 2016. Command-based Importance Sampling for Statistical Model Checking, Theoretical Computer Science, Elsevier, Vol 649, pp 1–24. PDF
• Colombo, A., Fontanelli, D., Legay, A., Palopoli, L., Sedwards, S. 2015. Efficient Customisable Dynamic Motion Planning for Assistive Robots in Complex Human Environments. Journal of Ambient Intelligence and Smart Environments, IOS Press, Vol 7:5, pp 617–634. PREPRINT PDF
• Sedwards, S., D'Argenio, P., Legay, A., Traonouez, L-M. 2015. Smart Sampling for Lightweight Verification of Markov Decision Processes. International Journal on Software Tools For Technology Transfer, Springer, Vol 17:4, pp 469–484. PREPRINT PDF
• Navigation Assistance and Guidance of Older Adults across Complex Public Spaces: the DALi Approach. 2015. Springer Journal of Intelligent Service Robotics. Vol 8:2, pp 77–92. PDF
• Csikász-Nagy, A., Escudero, L. M., Guillaud, M., Sedwards, S., Baum, B., & Cavaliere, M. 2013. Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis. Seminars in Cancer Biology, Vol 23:4, pp 293–298. PREPRINT PDF
• Sedwards, S., Cavaliere, S., Tarnita, C., Nowak, Martin A., Csikász-Nagy, A. 2011. Prosperity is associated with instability in dynamical networks. Journal of Theoretical Biology, Vol 299:21, pp 126–138. PDF
• Sedwards, S., Ihekwaba, A. E. C., 2011, Communicating oscillatory networks: frequency domain analysis. BMC Systems Biology 5:203. PDF
• Mardare, R., Cavaliere, M., Sedwards, S. 2008. A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. International Journal of Foundations of Computer Science. 19:5. PDF
• Sedwards, S., Cavaliere, M., Mardare, R. 2008. A Multiset-Based Model of Synchronizing Agents: Computability and Robustness. Theoretical Computer Science. 391:3 (Feb. 2008), 216–238. PDF
• Sedwards, S., Cavaliere, M. 2008. Decision problems in membrane systems with peripheral proteins, transport and evolution. Theoretical Computer Science. 404:1–2, 40–51. PDF
• Sedwards, S., Mazza, T. 2007. Cyto-Sim: A Formal Language Model and Stochastic Simulator of Membrane-Enclosed Biochemical Processes. Bioinformatics. 23, 20 (Oct. 15 2007), 2800–2802. PDF

Conference proceedings

• Jegourel, C., Larsen, K., Legay, L., Mikučionis, M., Poulsen, D., Sedwards, S. 2016. Importance Sampling for Stochastic Timed Automata, Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2016), Springer LNCS, Vol 9984, pp 163–178. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. 2016. Plasma Lab: A Modular Statistical Model Checking Platform, 7th International Symposium on Leveraging Applications (ISoLA 2016), Springer LNCS, Vol 9952, pp 77–93. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. 2016. Rare Events for Statistical Model Checking: An Overview, 10th International Workshop on Reachability Problems (RP 2016), Springer LNCS, Vol 9899, pp 23–35. PDF
• Sedwards, S., D'Argenio, P., Hartmanns, A., Legay, A. 2016. Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata, 12th Int. Conf. on Integrated Formal Methods (iFM 2016), Springer LNCS, Vol 9681, pp 99–114. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. 2015. Estimating Rewards & Rare Events in Nondeterminstic Systems. 15th International Workshop on Automated Verification of Critical Systems (AVoCS '15), Electronic Communications of the EASST. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A., Traonouez, L-M. 2015. Distributed Verification of Rare Properties using Importance Splitting Observers. 15th International Workshop on Automated Verification of Critical Systems (AVoCS '15), Electronic Communications of the EASST. PREPRINT PDF
• Sedwards, S., Legay, A., Traonouez, L-M. 2014. Scalable Verification of Markov Decision Processes, 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Springer LNCS, Vol 8938, pp 350–362. PREPRINT PDF
• Sedwards, S., Legay, A. 2014. Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems, 6th International Symposium on Leveraging Applications (ISoLA 2014), Springer LNCS, 8802, pp 4–25. PDF
• Jegourel, C., Sedwards, S., Legay, A. 2014. An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, 6th International Symposium on Leveraging Applications (ISoLA 2014), Springer LNCS, Vol 8803, pp 143–159. PDF
• Sedwards, S., Legay, A. 2014. On Statistical Model Checking with PLASMA, 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), to appear in IEEE Computer Society Press.
• Sedwards, S., Colombo, A., Fontanelli, D., Legay, A., Palopoli, L. 2013. Motion Planning in Crowds using Statistical Model Checking to Enhance the Social Force Model, 53rd Conference on Decision and Control (CDC 2013), IEEE, pp 3602–3608 . PREPRINT PDF
• Colombo, A., Fontanelli, D., Gandhi, D. De Angeli, A., Sedwards, S., Legay, A., Palopoli, L. 2013. Behavioural Templates Improve Robot Motion Planning with Social Force Model in Human Environments. 18th Conference on Emerging Technologies & Factory Automation (ETFA 2013), IEEE, pp 1–6. PREPRINT PDF
• Sedwards, S., Boyer, B., Corre, K., Legay, A. 2013. PLASMA-lab : a flexible, distributable statistical model checking library, Quantitative Evaluation of Systems (QEST 2013), Springer LNCS, pp 160–164. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A., 2013. Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification (CAV 2013), Springer LNCS, pp 576–591. PREPRINT PDF
• David, A., Larsen, K., Legay, A., Mikucionis, M., Poulsen, D., Sedwards, S., 2012. Statistical Model Checking for Stochastic Hybrid Systems, EPTCS 92, pp 122–136. PREPRINT PDF
• Sedwards, S., David, A., Larsen, K., Legay, A., Mikucionis, M., Poulsen, D., 2012. Runtime Verification of Biological Systems in Leveraging Applications of Formal Methods, Verification and Validation, Margaria, T., Margaria, T. (Eds.), Springer LNCS, pp 388–404. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A., 2012. Cross-entropy optimisation of importance sampling parameters for statistical model checking, Computer Aided Verification, Springer LNCS, Vol 7358, pp 327–342. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A., 2012. A Platform for High Performance Statistical Model Checking – PLASMA. Tools and Algorithms for the Construction and Analysis of Systems, Springer LNCS Vol 7214, pp 498–503. PREPRINT PDF
• Ballarini, Csikász-Nagy, Fauré, Jordán, Larcher, Lecca, Mazza, Mura, Palmisano, Romanel, Sedwards, Siebert, Soliman, Thieffry, Zámborszky, 2009. Analyzing various models of Circadian Clock and Cell Cycle coupling. Dagstuhl Seminar Proceedings 09091 – Formal Methods in Molecular Biology. PDF
• Sedwards, S., Cavaliere, M., Mardare, R. 2007. Colonies of Synchronizing Agents: An Abstract Model of Intracellular and Intercellular Processes. Proceedings of the International Workshop on Automata for Cellular and Molecular Computing, Budapest, Hungary (Aug. 31 2007). PDF
• Sedwards, S., Cavaliere, M. 2007. Membrane Systems with Peripheral Proteins: Transport and Evolution. Electronic Notes in Theoretical Computer Science. 171, 2 (Jul. 2007), 37–53. PDF
• Sedwards, S., Cavaliere, M. 2006. Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. Springer LNCS, Vol 4210, pp 108–126. PDF
• Sedwards, S., Cavaliere, M. 2006. Modelling and Simulating Biological Processes with Stochastic Multiset Rewriting. Dagstuhl Seminar Proceedings 06161, Simulation and Verification of Dynamic Systems. PDF

Books and chapters

• Sedwards, S., Cavaliere, M., Mazza, T. 2014. Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage. Chapter in Applications of Membrane Computing in Systems and Synthetic Biology. Frisco, P., Gheorghe, M., Pérez-Jiménez, M. J. (Eds.) Springer. PDF
• Csikász-Nagy, A., Cavaliere, M., Sedwards, S. 2012. Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment. Chapter in New Challenges for Cancer Systems Biomedicine. D'Onofrio, A., Cerrai, P., Gandolfi, A. (Eds.) Springer. PDF
• Sedwards, S. 2009. A Natural Computation Approach To Biology: Modelling Cellular Processes and Populations of Cells With Stochastic Models of P Systems. PhD Thesis. PDF