Search Results - Bandyopadhyay, Soumyadip

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Translation validation of coloured Petri net models of programs on integers

    Translation validation of coloured Petri net models of programs on integers by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan, Giese, Holger

    Published in Acta informatica
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Automated Control Logic Test Case Generation using Large Language Models

    Automated Control Logic Test Case Generation using Large Language Models by Koziolek, Heiko, Ashiwal, Virendra, Bandyopadhyay, Soumyadip, R, Chandrika K

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Equivalence checking of Petri net models of programs using static and dynamic cut-points

    Equivalence checking of Petri net models of programs using static and dynamic cut-points by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan

    Published in Acta informatica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets

    PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets by Mittal, Rakshit, Blouin, Dominique, Bandyopadhyay, Soumyadip

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    A Comparative Study between ECG-based and PPG-based Heart Rate Monitors for Stress Detection

    A Comparative Study between ECG-based and PPG-based Heart Rate Monitors for Stress Detection by Pinge, Anuja, Bandyopadhyay, Soumyadip, Ghosh, Surjya, Sen, Sougata

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs

    Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    A Path Construction Algorithm for Translation Validation Using PRES+ Models

    A Path Construction Algorithm for Translation Validation Using PRES+ Models by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan, Banerjee, Kunal, Duddu, Krishnam Raju

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Automated Control Logic Test Case Generation using Large Language Models

    Automated Control Logic Test Case Generation using Large Language Models by Koziolek, Heiko, Ashiwal, Virendra, Bandyopadhyay, Soumyadip, Chandrika, K R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Validating SPARK: High Level Synthesis Compiler

    Validating SPARK: High Level Synthesis Compiler by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Equivalence Checking in Embedded Systems Design Verification using PRES+ model

    Equivalence Checking in Embedded Systems Design Verification using PRES+ model by Bandyopadhyay, Soumyadip

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Unraveling the regioselectivity of odd electron halogen bond formation using electrophilicity index and chemical hardness parameters

    Unraveling the regioselectivity of odd electron halogen bond formation using electrophilicity index and chemical hardness parameters by Bandyopadhyay, Prasanta, Ray, Soumyadip, Seikh, Md. Motin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    “Education for All” in a Connected World: A Social Technology-driven Framework for e-mobilizing Dormant Knowledge Capital through Sharism and Mass Collaboration

    “Education for All” in a Connected World: A Social Technology-driven Framework for e-mobilizing Dormant Knowledge Capital through Sharism and Mass Collaboration by Bandyopadhyay, Somprakash, Bardhan, Arina, Dey, Priyadarshini, Das, Srimoyee, Ghosh, Soumyadip, Biswas, Priyanjit

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: