FSMC+, a tool for the generation of Java code from statecharts

@inproceedings{Tiella2007FSMCAT,
  title={FSMC+, a tool for the generation of Java code from statecharts},
  author={Roberto Tiella and Adolfo Villafiorita and Silvia Tomasi},
  booktitle={PPPJ},
  year={2007}
}
ProVotE is a two-phase project aiming at actuating art. 84 of law 2 -- 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Trentino (Nov. 2008). During the first phase of the ProVotE project we built jprovote, a Java/Linux e-voting system. The jprovote system has been used with experimental value by more than 11000 voters during local elections held in various municipalities of Trentino (Italy). A… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT

  • IEEE Transactions on Information Forensics and Security
  • 2009
VIEW 9 EXCERPTS
CITES RESULTS & METHODS
HIGHLY INFLUENCED

Managing Requirements for E-Voting Systems: Issues and Approaches

  • 2009 First International Workshop on Requirements Engineering for e-Voting Systems
  • 2009
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems

  • 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
  • 2018

Formal Specification and Analysis of an E-voting System

  • 2010 International Conference on Availability, Reliability and Security
  • 2010
VIEW 1 EXCERPT
CITES METHODS

Implementing statecharts using Java enums

  • 2010 2nd International Conference on Education Technology and Computer
  • 2010
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.

Model checking UML state machines and collaborations

  • Electr. Notes Theor. Comput. Sci.
  • 2001
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL