Domenico Bianculli

@bianculld

Research scientist at Software Verification and Validation lab, SnT, University of Luxembourg.

Luxembourg
people.svv.lu/bianculli
Vrijeme pridruživanja: veljača 2010.
28 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @bianculld

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bianculld

  1. proslijedio/la je Tweet
    19. sij

    paper submission deadline extended by one week.

    1 reply 13 proslijeđenih tweetova 8 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    16. sij

    FormaliSE 2020: 8th Conference on Formal Methods in Software Engineering. Prepare you papers, deadline coming up in one week!

    7 proslijeđenih tweetova
    Poništi
  3. proslijedio/la je Tweet
    13. sij

    Visit to the ⁦⁩ and exchange on fascinating projects the SnT is currently working on in partnership with financial industry firms well as more recently with the CSSF ⁦⁩ ⁦⁩

    8 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Poništi
  4. 8. sij

    New deadlines for 2020, collocated with in South Korea. Abstract submission: January 16 - Paper submission: January 23 (AoE). Please submit your best work on formal methods in software engineering!

    Final Call for Papers: FormaliSE 2020 - one week deadline extension -
    1 proslijeđeni tweet
    Poništi
  5. proslijedio/la je Tweet
    7. sij

    Our Tech Transfer Officer is at -- get in touch with him if you're also roaming the convention and interested in ICT research!

    I'm at ! DM if you'd like to meet&talk about with # impact thst we do at SnT, Interdisciplinary Centre for Security, Reliability and Trust
    2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
    Poništi
  6. 3. sij

    Less than a week to submit your abstract to deadline for paper submission: January 16 (AoE)

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  7. 18. pro 2019.

    New preprint server from IEEE I wonder how the software engineering research community will choose between it and for depositing their preprints (in addition to institutional repositories...)

    1 reply 3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  8. 24. lis 2019.

    Deadline: January 16, 2020!

    FormaliSE 2020: Call for Papers We look forward to your contributions!
    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  9. proslijedio/la je Tweet
    24. lis 2019.

    📣 New partnership between & to use new digital technologies such as to make the analysis & processing of fund documentation or regulatory reporting faster and more efficient. ➡️ ⬅️

    Korisnici , , i
    4 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  10. 24. lis 2019.

    Thrilled to work on this new project!

    New partnership in the SnT/SVV group with CSSF, the organisation in Luxembourg ensuring regulatory compliance in the financial industry. We will be automating compliance analysis in the fund industry based on Natural Language Processing and machine learning. ⁦⁩
    4 korisnika označavaju da im se sviđa
    Poništi
  11. 22. lis 2019.

    The 8th International Conference on Formal Methods in Software Engineering will be held in South Korea next May, co-located with . Please consider submitting a paper! Deadline: January 16!

    4 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  12. 21. lis 2019.

    Some notes from a former Apple sw engineer... in other words, [the sad state of] "software engineering (in practice)"

    Six Reasons Why iOS 13 and Catalina Are So Buggy
    8 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Poništi
  13. 17. lis 2019.

    joint work with

    . talks niw about testing of autonomous cars at the Delft AI meetup.
    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    16. lis 2019.

    Interested in hosting ICSE 2024 in Europe? Check out this link for submitting a letter of intent.

    22 proslijeđena tweeta 20 korisnika označava da im se sviđa
    Poništi
  15. 27. ruj 2019.

    Interesting service enabling anonymous browsing of repositories for and during double-blind review

    Odgovor korisniku/ci @AndreasZeller
    I just found out about this while reviewing a paper
    3 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    10. ruj 2019.

    Prof. Thomas A. Henzinger describing the eight founding principles behind at

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  17. 28. kol 2019.

    Great presentation and work by at , resulting in a distinguished paper award and artifacts available and evaluated - reusable badges

    Claudio Menghi is presenting our paper at ESEC/FSE 2019: "Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors" Work done in collaboration with LuxSpace, a satellite system company, and QRA Corp., a verification tool provider.
    Prikaži ovu nit
    5 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    13. kol 2019.

    The second most accessed papers in JOT in the last month: A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations, By: Chaima Boufaied, Domenico Bianculli, Lionel Briand

    1 reply 3 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  19. 13. kol 2019.

    this one :-)

    The most accessed paper (113 accesses) over the last month is "Searching for Optimal Models: Comparing Two Encoding Approaches" by Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler, Manuel Wimmer
    1 korisnik označava da mu se sviđa
    Poništi
  20. proslijedio/la je Tweet
    10. kol 2019.

    A wonderful accomplishment for IEEE Software and what a tribute to 50th Anniversary of Software Engineering! Thank you to our boards, guest editors, authors, and most importantly readers!

    IEEE Software magazine has won a 2019 APEX Award for Publication Excellence in the category of Electronic Magazines, Journals, and Tabloids for IEEE Software's September/October 2018 issue, honoring the 50th Anniversary of Software Engineering.
    16 proslijeđenih tweetova 39 korisnika označava da im se sviđa
    Poništi

@bianculld još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·