Search results for "ATSE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	David Klappholz, Lawrence Bernstein, Daniel Port	Assessing Attitude Towards, Knowledge of, and Ability to Apply, Software Development Process.	CSEE&T	2003	DBLP DOI BibTeX RDF
93	Mathieu Turuani	The CL-Atse Protocol Analyser.	RTA	2006	DBLP DOI BibTeX RDF
43	Mostafa El Habib Daho, Yihao Li, Rachid Zeghlache, Yapo Cedric Atse, Hugo Le Boité, Sophie Bonnin, Deborah Cosette, Pierre Deman, Laurent Borderie, Capucine Lepicard, Ramin Tadayoni, Béatrice Cochener, Pierre-Henri Conze, Mathieu Lamard, Gwenolé Quellec	Improved Automatic Diabetic Retinopathy Severity Classification Using Deep Multimodal Fusion of UWF-CFP and OCTA Images.	CoRR	2023	DBLP DOI BibTeX RDF
43	Mostafa El Habib Daho, Yihao Li, Rachid Zeghlache, Yapo Cedric Atse, Hugo Le Boité, Sophie Bonnin, Deborah Cosette, Pierre Deman, Laurent Borderie, Capucine Lepicard, Ramin Tadayoni, Béatrice Cochener, Pierre-Henri Conze, Mathieu Lamard, Gwenolé Quellec	Improved Automatic Diabetic Retinopathy Severity Classification Using Deep Multimodal Fusion of UWF-CFP and OCTA Images.	OMIA@MICCAI	2023	DBLP DOI BibTeX RDF
43	P. Vigneshwara Raja, Christophe Raynaud, Camille Sonneville, Atse Julien Eric N'Dohi, Hervé Morel, Luong-Viêt Phung, Thi Huong Ngo, Philippe De Mierry, Éric Frayssinet, Hassan Maher, Josiane Tasselli, Karine Isoird, Frédéric Morancho, Yvon Cordier, Dominique Planson	Comprehensive characterization of vertical GaN-on-GaN Schottky barrier diodes.	Microelectron. J.	2022	DBLP DOI BibTeX RDF
43	Yapo Jesus Ekie, Bassirou Gueye, Ibrahima Niang, Atse Marcellin Tresor Ekie	Web Based Composition using Machine Learning Approaches: A Literature Review.	NISS (ACM)	2021	DBLP DOI BibTeX RDF
37	Lesong Wei, Xiucai Ye, Yuyang Xue, Tetsuya Sakurai, Leyi Wei	ATSE: a peptide toxicity predictor by exploiting structural and evolutionary information based on graph neural network and attention mechanism.	Briefings Bioinform.	2021	DBLP DOI BibTeX RDF
37	Catalin V. Bîrjoveanu, Mirela Bîrjoveanu	Chained Transaction Protocol Automated Verification Using Cl-AtSe.	ICETE (Selected Papers)	2020	DBLP DOI BibTeX RDF
37	Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)	Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink	An Experimental Spatio-Temporal Model Checker.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink	Towards Automatic Decision Support for Bike-Sharing System Design.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Daniel Homm, Jürgen Eckert 0001, Reinhard German	Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko 0001, Robert K. Brayton, Alan Mishchenko	Automated Synthesis of Protocol Converters with BALM-II.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Amleto Di Salle, Francesco Gallo, Alexander Perucci	Dependable Composition of Software and Services in the Internet of Things: A Biological Approach.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Farshad Shams, Antonio Cerone, Rocco De Nicola	On Integrating Social and Sensor Networks for Emergency Management.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Anna Zamansky, Eitan Farchi	Exploring the Role of Logic and Formal Methods in Information Systems Education.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Riccardo Guidotti, Paolo Cintia	Towards a Boosted Route Planner Using Individual Mobility Models.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Amleto Di Salle, Francesco Gallo, Alexander Perucci	Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Anna Zamansky, Eitan Farchi	Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Tommaso Di Noia, Marina Mongiello, Umberto Straccia	Fuzzy Description Logics for Component Selection in Software Design.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Valerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi, Franco Turini	Clustering Formulation Using Constraint Optimization.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Karl Meinke, Peter Nycander	Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya	An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Jan Olaf Blech, Peter Herrmann	Behavioral Types for Component-Based Development of Cyber-Physical Systems.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Sélinde van Engelenburg, Marijn Janssen, Bram Klievink	Design of a Business-to-Government Information Sharing Architecture Using Business Rules.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda	The Synergy Between User Experience Design and Software Testing.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Suryana Setiawan, Antonio Cerone, Paolo Milazzo	A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Vashti Galpin	Quantitative Modelling of Residential Smart Grids.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli	Probabilistic Modelling and Analysis of a Fish Population.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Serdar Erbatur, Martin Hofmann 0001	GuideForce: Type-Based Enforcement of Programming Guidelines.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Antonio Cerone	Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Mark Adams	Refactoring Proofs with Tactician.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Luciano Baresi, Sam Guinea, Giovanni Quattrocchi	Distributed Coordinated Adaptation of Cloud-Based Applications.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini	Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates.	SEFM Workshops	2015	DBLP DOI BibTeX RDF
37	Charu Arora, Mathieu Turuani	Validating Integrity for the Ephemerizer's Protocol with CL-Atse.	Formal to Practical Security	2009	DBLP DOI BibTeX RDF
36	David Klappholz, Lawrence Bernstein, Daniel Port, Peter Dominic	Tools for Outcomes Assessment of Education and Training in the Software Development Process.	CSEE&T	2003	DBLP DOI BibTeX RDF	attitude toward software engineering, ATSE, student attitude, software process improvement, SPI
28	Lawrence Bernstein, David Klappholz, Catherine Kelley	Eliminating Aversion to Software Process in Computer Science Students and Measuring the Results.	CSEE&T	2002	DBLP DOI BibTeX RDF