Filter
Conference contribution

Search results

  • 2024

    Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

    Bensalem, S., Katsaros, P., Ničković, D., Liao, B. H. C., Nolasco, R. R., Ahmed, M. A. E. S., Beyene, T. A., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Ponchant, M., Sorokin, L. & Tong, S. & 1 others, Wu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 256-278 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning

    Cohen, I. & Peled, D., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 395-417 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • TP-DejaVu: Combining Operational and Declarative Runtime Verification

    Havelund, K., Katsaros, P., Omer, M., Peled, D. & Temperekidis, A., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 249-263 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2023

    Accelerating Black Box Testing with Light-Weight Learning

    Fogler, R., Cohen, I. & Peled, D., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 103-120 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Monitorability for Runtime Verification

    Havelund, K. & Peled, D., 2023, Runtime Verification - 23rd International Conference, RV 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 447-460 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14245 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Runtime Verification Prediction for Traces with Data

    Omer, M. & Peled, D., 2023, Runtime Verification - 23rd International Conference, RV 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 148-167 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14245 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2022

    A Reinforcement-Learning Style Algorithm for Black Box Automata

    Cohen, I., Fogler, R. & Peled, D., 2022, 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022. Institute of Electrical and Electronics Engineers Inc., (2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Formal Specification for Learning-Enabled Autonomous Systems

    Bensalem, S., Cheng, C. H., Huang, X., Katsaros, P., Molin, A., Nickovic, D. & Peled, D., 2022, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Proceedings. Isac, O., Katz, G., Ivanov, R., Narodytska, N. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 131-143 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13466 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 2021

    Monitoring First-Order Interval Logic

    Havelund, K., Omer, M. & Peled, D., 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 66-83 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2020

    BDDs for Representing Data in Runtime Verification

    Havelund, K. & Peled, D., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 107-128 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • First-Order Timed Runtime Verification Using BDDs

    Havelund, K. & Peled, D., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Synthesizing Control for a System with Black Box Environment, Based on Deep Learning

    Iosti, S., Peled, D., Aharon, K., Bensalem, S. & Goldberg, Y., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 457-472 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12477 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2019

    An Extension of LTL with Rules and Its Application to Runtime Verification

    Havelund, K. & Peled, D., 2019, Runtime Verification - 19th International Conference, RV 2019, Proceedings. Finkbeiner, B. & Mariani, L. (eds.). Springer, p. 239-255 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11757 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Runtime verification: From propositional to first-order temporal logic

    Havelund, K. & Peled, D., 2019, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Colombo, C. & Leucker, M. (eds.). Springer Verlag, p. 90-112 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    15 Scopus citations
  • 2018

    BDDs on the run

    Havelund, K. & Peled, D., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 58-69 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Chasing errors using biasing automata

    Bu, L., Peled, D., Shen, D. & Tzirulnikov, Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 271-286 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • DejaVu: A monitoring tool for first-order temporal logic

    Havelund, K., Peled, D. & Ulus, D., 7 Aug 2018, Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 12-13 2 p. 8429480. (Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Efficient runtime verification of first-order temporal properties

    Havelund, K. & Peled, D., 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Springer Verlag, p. 26-47 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    17 Scopus citations
  • Genetic synthesis of concurrent code using model checking and statistical model checking

    Bu, L., Peled, D., Shen, D. & Zhuang, Y., 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Springer Verlag, p. 275-291 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 2017

    First order temporal logic monitoring with BDDs

    Havelund, K., Peled, D. & Ulus, D., 8 Nov 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 116-123 8 p. 8102249. (Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    45 Scopus citations
  • Memory-Efficient Tactics for Randomized LTL Model Checking

    Larsen, K., Peled, D. & Sedwards, S., 2017, Verified Software: Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Revised Selected Papers. Wies, T. & Paskevich, A. (eds.). Springer Verlag, p. 152-169 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10712 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2016

    Automatic synthesis of code using genetic programming

    Peled, D., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 182-187 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Using genetic programming for software reliability

    Peled, D., 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer Verlag, p. 116-131 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2015

    Knowledge = Observation + Memory + Computation

    Genest, B., Peled, D. & Schewe, S., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pitts, A. (ed.). Springer Verlag, p. 215-229 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9034).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Local and global fairness in concurrent systems

    Brook, A., Peled, D. & Schewe, S., 30 Nov 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 2-9 8 p. 7340461. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 2014

    Compositional branching-time measurements

    Grosu, R., Peled, D., Ramakrishnan, C. R., Smolka, S. A., Stoller, S. D. & Yang, J., 2014, From Programs to Systems: The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Proceedings. Springer Verlag, p. 118-128 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8415 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Distributed Control Synthesis

    Peled, D. & Schewe, S., 12 Feb 2014, HOWARD-60: Howard Barringer's 60th Birthday. Voronkov, A. & Korovina, M. (eds.). EasyChair, Vol. 42. p. 271-288 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Monitoring parametric temporal logic

    Faymonville, P., Finkbeiner, B. & Peled, D., 2014, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, Proceedings. Springer Verlag, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8318 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Using statistical model checking for measuring systems

    Grosu, R., Peled, D., Ramakrishnan, C. R., Smolka, S. A., Stoller, S. D. & Yang, J., 2014, Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 223-238 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8803).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • 2013

    Knowledge based transactional behavior

    Bensalem, S., Bozga, M., Peled, D. & Quilbeuf, J., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag, p. 40-55 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Performance evaluation of process partitioning using probabilistic model checking

    Bensalem, S., Bonakdarpour, B., Bozga, M., Peled, D. & Quilbeuf, J., 2013, Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Proceedings. Springer Verlag, p. 344-358 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Synthesizing, correcting and improving code, using model checking-based genetic programming

    Katz, G. & Peled, D., 2013, Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Proceedings. Springer Verlag, p. 246-261 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Synthesizing distributed scheduling implementation for probabilistic component-based systems

    Bensalem, S., Legay, A., Nouri, A. & Peled, D., 2013, 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013. IEEE Computer Society, p. 87-96 10 p. 6670945. (11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Taming confusion for modeling and implementing probabilistic concurrent systems

    Katoen, J. P. & Peled, D., 2013, Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proceedings. p. 411-430 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7792 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • 2012

    Synthesis of succinct systems

    Fearnley, J., Peled, D. & Schewe, S., 2012, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Proceedings. p. 208-222 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • 2011

    Efficient deadlock detection for concurrent systems

    Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T. H. & Peled, D., 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 119-129 11 p. 5970518. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    15 Scopus citations
  • Monitoring distributed systems using knowledge

    Graf, S., Peled, D. & Quinton, S., 2011, Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Proceedings. p. 183-197 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6722 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • Synthesis of distributed control through knowledge accumulation

    Katz, G., Peled, D. & Schewe, S., 2011, Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. p. 510-525 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    19 Scopus citations
  • Synthesizing solutions to the leader election problem using model checking and genetic programming

    Katz, G. & Peled, D., 2011, Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Revised Selected Papers. p. 117-132 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6405 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Scopus citations
  • The buck stops here: Order, chance, and coordination in distributed control

    Katz, G., Peled, D. & Schewe, S., 2011, Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Proceedings. p. 422-431 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6996 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2010

    Achieving distributed control through model checking

    Graf, S., Peled, D. & Quinton, S., 2010, Computer Aided Verification - 22nd International Conference, CAV 2010, Proceedings. p. 396-409 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6174 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    15 Scopus citations
  • Code mutation in verification and automatic code correction

    Katz, G. & Peled, D., 2010, Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. p. 435-450 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6015 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    19 Scopus citations
  • Knowledge based scheduling of distributed systems

    Bensalem, S., Peled, D. & Sifakis, J., 2010, Time for Verification - Essays in Memory of Amir Pnueli. Manna, Z. & Peled, D. A. (eds.). p. 26-41 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6200 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • MCGP: A software synthesis tool based on model checking and genetic programming

    Katz, G. & Peled, D., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. p. 359-364 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6252 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Scopus citations
  • MCGP: a software synthesis tool based on model checking and genetic programming

    Katz, G. & Peled, D., 2010, International Symposium on Automated Technology for Verification and Analysis. Bouajjani, A. & Chin, W.-N. (eds.). Springer Berlin Heidelberg

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Methods for knowledge based controlling of distributed systems

    Bensalem, S., Bozga, M., Graf, S., Peled, D. & Quinton, S., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. p. 52-66 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6252 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    16 Scopus citations
  • 2009

    Priority scheduling of distributed systems based on model checking

    Basu, A., Bensalem, S., Peled, D. & Sifakis, J., 2009, Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. p. 79-93 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5643 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    19 Scopus citations
  • Substantiations of an airborne composite radome mounted on an aircraft dome

    Kressel, I., Ben-Simon, U., Elyahu, M., Peled, D., David, A., Nachshhon, T., Gary, Y., Interator, M., Ghilai, G. & Simon, A., 2009, ICAF 2009, Bridging the Gap Between Theory and Operational Practice - Proceedings of the 25th Symposium of the International Committee on Aeronautical Fatigue. Kluwer Academic Publishers, p. 55-58 4 p. (ICAF 2009, Bridging the Gap Between Theory and Operational Practice - Proceedings of the 25th Symposium of the International Committee on Aeronautical Fatigue).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2008

    Design manufacturing and substantiation of an airborne composite radome mounted on an aircraft dome

    Ghilai, G., Kressel, I., Ben-Simon, U., Elyahu, M., Peled, D., David, A., Nachshhon, T., Gary, Y., Interator, M. & Simon, A., 2008, Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008. p. 1445-1448 4 p. (Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Discriminative model checking

    Niebert, P., Peled, D. & Pnueli, A., 2008, Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. p. 504-516 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5123 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    12 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.