West University of Timișoara bachelor's and master's thesis (Computer Science)

@unpublished{Bersani,
author = {Bersani, Marcello M. and Erascu, Madalina and Ghilardi, Silvio and Marconi, Francesco and Rossi, Matteo},
pages = {2017},
title = {{Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories}}
}

@misc{specs-core-negotiation,
title = {{Negotiation Module. Security Reasoner}},
url = {https://bitbucket.org/specs-team/specs-core-negotiation-securityreasoner}
}

@inproceedings{Jac01,
author = {Jackson, D},
booktitle = {{\{}FME{\}} 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings},
title = {{Lightweight Formal Methods}},
year = {2001}
}
@techreport{NIST80054r4,
institution = {National Institute of Standards and Technology},
title = {{NIST SP-800-53: Recommended Security Controls for Federal Information Systems}},
year = {2013}
}
@article{TakeshiTakahashi_IEEE_VT_Magazine_2013,
author = {Takahashi, Takeshi and Harju, Jarmo and Kannisto, Joona and Silverajan, Bilhanan and Harju, Jarmo and Matsuo, Shin'ichiro},
journal = {IEEE Vehicular Technology Magazine},
month = {jul},
publisher = {IEEE},
title = {{Tailored security: building nonrepudiable security service level agreements}},
volume = {8},
year = {2013}
}

\documentclass[12pt,a4paper]{report}
\usepackage{amsmath,amsthm,amssymb,graphicx,hyperref}
\usepackage[left=1.2in,right=1.2in,top=1in,bottom=1in]{geometry}
\usepackage{listings}
\usepackage[table]{xcolor}
\usepackage{tabularx}
\usepackage{multirow}
\usepackage[romanian]{babel}
\usepackage{xcolor}
\usepackage{paralist}
\RequirePackage{hyphenat}
\usepackage{algorithm, algpseudocode}%algorithmic
\usepackage[inline]{enumitem}
%\usepackage{...insert other packages here...}
\newtheorem{thm}{Teorema}[section]
\newtheorem{lem}[thm]{Lema}
\newtheorem{cor}[thm]{Corolarul}
\newtheorem{prop}[thm]{Propozi\c tia}
\theoremstyle{definition}
\newtheorem{defn}{Defini\c tia}[section]
\theoremstyle{remark}
\newtheorem{rem}{Remarca}[section]
\newtheorem{exmp}{Exemplul}[section]

\def\contentsname{Cuprins}
\def\listfigurename{Lista figurilor}
\def\listtablename{Lista tabelelor}
\def\figurename{Figura}
\def\tablename{Tabelul}
\def\partname{Partea}
\def\chaptername{Capitolul}
\def\refname{Referin'te}
%\def\bibname{Bibliografie}
%\renewcommand{\refname}{Bibliografie}
\def\appendixname{Anexa}

\begin{document}
\thispagestyle{empty}
\begin{center}
\begin{figure}[h!]
\vspace{-20pt}
\begin{center}
\includegraphics[width=100pt]{FI.png}
\end{center}
\end{figure}


{\large{\bf UNIVERSITATEA DE VEST DIN TIMIȘOARA

FACULTATEA DE INFORMATICĂ

PROGRAMUL DE STUDII DE LICENȚĂ / MASTER: Informatică / Informatică Învățământ la Distanță  / Inginerie Software/ Bioinformatică }}

\vspace{120pt}
{\huge {\bf LUCRARE DE LICEN\c T\u A/DIZERTA\c TIE}}

\vspace{150pt}
\end{center}

{\large\noindent{\bf COORDONATOR:\hfill ABSOLVENT:}

\noindent Prof./Conf./Lect. Dr. Nume Prenume \hfill Nume Prenume}

\vfill
\begin{center}
{\bf TIMI\c SOARA

2027}
\end{center}
\newpage
\thispagestyle{empty}
\begin{center}
{\large{\bf UNIVERSITATEA DE VEST DIN TIMI\c SOARA

FACULTATEA DE INFORMATIC\u A


PROGRAMUL DE STUDII DE LICEN\c T\u A / MASTER: Informatică /Informatică Învățământ la Distanță / Inginerie Software/ Bioinformatic\u a }}

\vspace{120pt}
{\huge {\bf TITLU LUCRARE DE LICEN\c T\u A/DIZERTA\c TIE}}

\vspace{150pt}
\end{center}

{\large\noindent{\bf COORDONATOR:\hfill ABSOLVENT:}

\noindent Prof./Conf./Lect. Dr. Nume Prenume \hfill Nume Prenume}

\vfill
\begin{center}
{\bf TIMI\c SOARA

2027}
\end{center}
\newpage
\normalsize{}
\section*{Abstract}
Rezumatul lucrării în limba engleza (maxim 1 pagină).

\newpage

\section*{Declarație de integritate științifică}
Declar că această lucrare de licență / disertație reprezintă un raport original și constituie propria mea muncă, realizată sub coordonarea [numele coordonatorului / coordonatorilor]. În această lucrare, metodele de cercetare, precum și procesele de colectare, analiză și interpretare a datelor, sunt prezentate corect, iar toate sursele au fost citate corespunzător acolo unde am utilizat idei și/sau materiale vizuale aparținând altor autori.


\textcolor{blue}{Dacă nu ați utilizat instrumente de inteligență artificială generativă:} Nu am utilizat instrumente de inteligență artificială generativă în procesul de redactare și cercetare.

\textcolor{blue}{Dacă ați utilizat instrumente de inteligență artificială generativă:} Am utilizat instrumente de inteligență artificială generativă în procesul de redactare și cercetare. Detaliile se regăsesc în Anexa \ref{genAIUsage}.

\newpage

\tableofcontents
\newpage
\chapter{Introducere}

\section{Contribuții}
\section{Structură lucrare}



\chapter{Titlul capitolului 2}

În acest capitol sunt  exemple de utilizare a instrucțiunilor din latex.

\section{Utilizare enumerări}
Enumerare cu etichetă:
\begin{enumerate}
    \item Opțiunea 1
    \item Opțiunea 2
    \item Opțiunea 3
\end{enumerate}

Enumerare fără etichetă:
\begin{itemize}
    \item Opțiunea 1
    \item Opțiunea 2
    \item Opțiunea 3
\end{itemize}

\section{Utilizare definiții, teoreme, ...}
\begin{defn} ...
\end{defn}
\begin{thm} ...
\end{thm}
\begin{proof} ...
\end{proof}
\begin{cor} ...
\end{cor}
\begin{prop} ...
\end{prop}
\begin{exmp} ...
\end{exmp}

\section{Utilizare referințe bibliografice}
Exemplu citare lucrare \cite{Bersani} ...

\section{Utilizare figură}
Fiecare figură trebuie să aibă caption, pentru a spune ce reprezintă figura (exemplu Figura \ref{fig:siglaUVT}).
\begin{figure}[!ht]
    \centering
    \includegraphics[width=0.25\linewidth]{FI.png}
    \caption{Siglă FMI redimensionată la 25\% din lățimea textului}
    \label{fig:siglaUVT}
\end{figure}

\section{Utilizare pseudocod algoritm}
Exemplu de descriere a unui algoritm în pseudocod (vezi Algoritm \ref{alg:alg_ex}).

\begin{algorithm}[!ht]
\caption{An algorithm with caption}\label{alg:alg_ex}
\begin{algorithmic}[1]
\Require $n \geq 0$
\Ensure $y = x^n$
\State $y \gets 1$
\State $X \gets x$
\State $N \gets n$
\While{$N \neq 0$}
\If{$N$ is even}
    \State $X \gets X \times X$
    \State $N \gets \frac{N}{2}$  \Comment{This is a comment}
\ElsIf{$N$ is odd}
    \State $y \gets y \times X$
    \State $N \gets N - 1$
\EndIf
\EndWhile
\end{algorithmic}
\end{algorithm}

\section{Utilizare cod din aplicație}
Pentru a include secvențe de cod din aplicație utilizați se poate utiliza pachetul lstlisting (exemplu listing \ref{lst:p1}).
\begin{lstlisting}[language=Python, numbers=left,
    stepnumber=1, caption=Un exemplu de cod python, label=lst:p1]
import numpy as np
    
def incmatrix(genl1,genl2):
    m = len(genl1)
    n = len(genl2)
    M = None #to become the incidence matrix
    VT = np.zeros((n*m,1), int)  #dummy variable
    
    #compute the bitwise xor matrix
    M1 = bitxormatrix(genl1)
    M2 = np.triu(bitxormatrix(genl2),1) 

    for i in range(m-1):
        for j in range(i+1, m):
            [r,c] = np.where(M2 == M1[i,j])
            for k in range(len(r)):
                VT[(i)*n + r[k]] = 1;
                VT[(i)*n + c[k]] = 1;
                VT[(j)*n + r[k]] = 1;
                VT[(j)*n + c[k]] = 1;
                
                if M is None:
                    M = np.copy(VT)
                else:
                    M = np.concatenate((M, VT), 1)
                
                VT = np.zeros((n*m,1), int)
    
    return M
\end{lstlisting}

\section{Utilizare tabele}

Un exemplu de tabel simplu (vezi Tabel \ref{tab:my_tabel}). 

\begin{table}[!ht]
    \centering
    \begin{tabular}{|l | c |  c | c |} 
 \hline
 Criteriu de optim & \textbf{Alg.1} & \textbf{Alg.2} & \textbf{Alg.3} \\  
 \hline\hline
\textbf{ MSQ} & 0.97 & 0.8 & 00.60 \\ 
 \hline
 \textbf{R2} & 0.77 & 0.78 & 0.54 \\
 \hline
 
 \hline
\end{tabular}
    \caption{Exemplu tabel}
    \label{tab:my_tabel}
\end{table}




\chapter{Un alt capitol}
\section{Titlul sec\c tiunii 2.1}
\section{Titlul sec\c tiunii 2.2}
...etc...
\chapter{Concluzii și direcții viitoare de dezvoltare}

\bibliography{mybib}
\bibliographystyle{alpha}
\addcontentsline{toc}{chapter}{Bibliography}

\appendix
\chapter{Anexă – Utilizarea instrumentelor de inteligență artificială generativă}
\label{genAIUsage}
În această anexă este prezentată o sinteză a modului în care au fost utilizate instrumentele de inteligență artificială generativă în cadrul lucrării. O imagine de ansamblu este oferită în Tabelul \ref{tab:genAIOverview}.

\begin{table}[h!]
    \centering
    \begin{tabularx}{\textwidth}{|l|X|X|X|}
            \hline \rowcolor{blue!20}
         Instrument AI& Scopul utilizării & Secțiuni în care a fost utilizat & Observații \\\hline
         \multirow{2}{*}{ChatGPT 5.0} & Generarea listei de funcționalități & Capitolul 1, secțiunea 1.3& Prompturi prezentate în secțiunea \ref{sectionGhatGPT}\\ \cline{2-4}
          
          & Generarea listei inițiale de referințe bibliografice (stadiul actual al cercetării) & Capitolul 2 & Prompturi prezentate în secțiunea \ref{sectionGhatGPT}\\ \hline
         
         Microsoft Copilot & Generarea de cod & Capitolul 4 pag. 2-21  & Detalii în secțiunea \ref{sectionCopilot}\\ \hline
         Deep L &  Traducerea conținutului textual & Capitolul 2 & Prompturi prezentate în secțiunea \ref{sectionDeepL} \\ \hline
         Grammarly & Corectarea erorilor gramaticale și de stil & Întreaga lucrare & Versiune gratuită\\ \hline
         ... &  & & \\\hline
    \end{tabularx}
    \caption{Sinteza utilizării instrumentelor de inteligență artificială generativă}
    \label{tab:genAIOverview}
\end{table}


\section{Detalii privind utilizarea ChatGPT}
\label{sectionGhatGPT}
Pentru fiecare utilizare a instrumentului ChatGPT, se vor preciza următoarele aspecte:
\begin{enumerate}
\item scopul utilizării;
\item metoda utilizată (prompturile folosite și secțiunile lucrării în care au fost aplicate);
\item modul de verificare și validare a rezultatelor generate (din punct de vedere al corectitudinii și fiabilității);
\item modul de integrare și utilizare a rezultatelor în cadrul lucrării.
\end{enumerate}
\section{Detalii privind utilizarea DeepL}
\label{sectionDeepL}
\section{Detalii privind utilizarea Microsoft Copilot}
\label{sectionCopilot}
\end{document}