Search results for "RAISE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George	The RAISE Language, Method and Tools.	VDM Europe	1988	DBLP DOI BibTeX RDF
59	Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour	A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.	SERA	2007	DBLP DOI BibTeX RDF	RAISE Method, Software Engineering, Formal Methods, Virtual Organization, Collaborative Networks
52	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
52	Chris George, Anne E. Haxthausen	Specification, proof, and model checking of the Mondex electronic purse using RAISE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Verification, Formal methods, PVS, SAL, RAISE, Mondex
52	Mohammad Reza Nami, Mehdi Sagheb-Tehrani, Mohsen Sharifi	Applying domain engineering using RAISE into a particular banking domain.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	software engineering, formal methods, domain engineering, RAISE
48	Chris George	Applicative Modelling with RAISE.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
47	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Together with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
45	Tim Menzies, Burak Turhan (eds.)	Proceedings of the 7th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2019, Montreal, QC, Canada, May 28, 2019	RAISE@ICSE	2019	DBLP BibTeX RDF
45	Rudolf Ferenc, Péter Hegedüs, Péter Gyimesi, Gábor Antal, Dénes Bán, Tibor Gyimóthy	Challenging machine learning algorithms in predicting vulnerable JavaScript functions.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Gharib Gharibi, Vijay Walunj, Sirisha Rella, Yugyung Lee	ModelKB: towards automated management of the modeling lifecycle in deep learning.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Ole Meyer, Volker Gruhn	Towards concept based software engineering for intelligent agents.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Ian Wright, Albert Ziegler 0001	The standard coder: a machine learning approach to measuring the effort required to produce source code change.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Jack Humphreys, Hoa Khanh Dam	An explainable deep model for defect prediction.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Razieh Behjati, Erik Arisholm, Margrethe M. Bedregal, Chao Tan	Synthetic test data generation using recurrent neural networks: a position paper.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Suhrid Karthik, Nenad Medvidovic	Automatic detection of latent software component relationships from online Q&A sites.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Marc Hesenius, Nils Schwenzfeier, Ole Meyer, Wilhelm Koop, Volker Gruhn	Towards a software engineering process for developing data-driven applications.	RAISE@ICSE	2019	DBLP DOI BibTeX RDF
45	Walter F. Tichy, Leandro L. Minku (eds.)	6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2018, Gothenburg, Sweden, May 27, 2018	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Dario Di Nucci, Fabio Palomba, Andrea De Lucia	Evaluating the Adaptive Selection of Classifiers for Cross-Project Bug Prediction.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Robert Feldt, Francisco Gomes de Oliveira Neto, Richard Torkar	Ways of Applying Artificial Intelligence in Software Engineering.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Martin Blersch, Mathias Landhäußer, Thomas Mayer	Semi-Automatic Generation of Active Ontologies from Web Forms for Intelligent Assistants.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Themistoklis Diamantopoulos, Georgios Karagiannopoulos, Andreas L. Symeonidis	CodeCatch: Extracting Source Code Snippets from Online Sources.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	András Kicsi, László Tóth 0002, László Vidács	Exploring the Benefits of Utilizing Conceptual Information in Test-to-Code Traceability.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Sohil L. Shrestha, Saroj Panda, Christoph Csallner	Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Steven Young, Tamer Abdou, Ayse Bener	A Replication Study: Just-in-Time Defect Prediction with Ensemble Learning.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45	Sebastian Weigelt, Tobias Hey, Mathias Landhäußer	Integrating a Dialog Component into a Framework for Spoken Language Understanding.	RAISE@ICSE	2018	DBLP DOI BibTeX RDF
45		Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016	RAISE@ICSE	2016	DBLP DOI BibTeX RDF
45	Janardan Misra, Shubhashis Sengupta, Sanjay Podder	Topic cohesion preserving requirements clustering.	RAISE@ICSE	2016	DBLP DOI BibTeX RDF
45	Shirin Akbarinasaji, Ayse Basar Bener, Atakan Erdem	Measuring the principal of defect debt.	RAISE@ICSE	2016	DBLP DOI BibTeX RDF
45	S. M. Didar Al Alam, Muhammad Rezaul Karim 0002, Dietmar Pfahl, Günther Ruhe	Comparative analysis of predictive techniques for release readiness classification.	RAISE@ICSE	2016	DBLP DOI BibTeX RDF
45	Vincenzo Musco, Antonin Carette, Martin Monperrus, Philippe Preux	A learning algorithm for change impact prediction.	RAISE@ICSE	2016	DBLP DOI BibTeX RDF
45	Rachel Harrison, Ayse Basar Bener, Burak Turhan (eds.)	4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2015, Florence, Italy, May 17, 2015	RAISE@ICSE	2015	DBLP BibTeX RDF
45	Suman Roychoudhury, Vinay Kulkarni, Nikhil Bellarykar	Mining Enterprise Models for Knowledgeable Decision Making.	RAISE@ICSE	2015	DBLP DOI BibTeX RDF
45	Mostafa Hamza, Robert J. Walker	Recommending Features and Feature Relationships from Requirements Documents for Software Product Lines.	RAISE@ICSE	2015	DBLP DOI BibTeX RDF
45	Petros Papadopoulos, Neil Walkinshaw	Black-Box Test Generation from Inferred Models.	RAISE@ICSE	2015	DBLP DOI BibTeX RDF
45	Themistoklis G. Diamantopoulos, Andreas L. Symeonidis	Towards Interpretable Defect-Prone Component Analysis Using Genetic Fuzzy Systems.	RAISE@ICSE	2015	DBLP DOI BibTeX RDF
45	Mathias Landhaeusser, Ronny Hug	Text Understanding for Programming in Natural Language: Control Structures.	RAISE@ICSE	2015	DBLP DOI BibTeX RDF
45	Mirco Schindler, Oliver Fox, Andreas Rausch	Clustering Source Code Elements by Semantic Similarity Using Wikipedia.	RAISE@ICSE	2015	DBLP DOI BibTeX RDF
45	Burak Turhan, Ayse Basar Bener, Çetin Meriçli, Andriy V. Miranskyy, Leandro L. Minku (eds.)	3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2014, Hyderabad, India, June 3, 2014	RAISE	2014	DBLP BibTeX RDF
45	Ritika Jain, Smita Ghaisas, Ashish Sureka	SANAYOJAN: a framework for traceability link recovery between use-cases in software requirement specification and regulatory documents.	RAISE	2014	DBLP DOI BibTeX RDF
45	Richa Sharma, Jaspreet Bhatia, K. K. Biswas	Machine learning for constituency test of coordinating conjunctions in requirements specifications.	RAISE	2014	DBLP DOI BibTeX RDF
45	Jane Cleland-Huang, Jin Guo 0004	Towards more intelligent trace retrieval algorithms.	RAISE	2014	DBLP DOI BibTeX RDF
45	Ayushi Aggarwal, Gajendra Waghmare, Ashish Sureka	Mining issue tracking systems using topic models for trend analysis, corpus exploration, and understanding evolution.	RAISE	2014	DBLP DOI BibTeX RDF
45	Mathias Landhäußer, Tobias Hey, Walter F. Tichy	Deriving time lines from texts.	RAISE	2014	DBLP DOI BibTeX RDF
45	Ayse Tosun Misirli, Ayse Basar Bener	A mapping study on bayesian networks for software quality prediction.	RAISE	2014	DBLP DOI BibTeX RDF
45	Falk Langer, Erik Oswald	A self-learning approach for validation of communication in embedded systems.	RAISE	2014	DBLP DOI BibTeX RDF
45	Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee	OCL usability: a major challenge in adopting UML.	RAISE	2014	DBLP DOI BibTeX RDF
45	Naveen Kulkarni, Vasudeva Varma	Supporting comprehension of unfamiliar programs by modeling an expert's perception.	RAISE	2014	DBLP DOI BibTeX RDF
45		2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013	RAISE@ICSE	2013	DBLP BibTeX RDF
45	Tao Xie 0001	The synergy of human and artificial intelligence in software engineering.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Romina Torres, Nelly Bencomo, Hernán Astudillo	Addressing the QoS drift in specification models of self-adaptive service-based systems.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Abdel Salam Sayyad, Hany H. Ammar	Pareto-optimal search-based software engineering (POSBSE): A literature survey.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Ekrem Kocaguneli, Bojan Cukic, Huihua Lu	Predicting more from less: Synergies of learning.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Constanze Deiters, Andreas Rausch, Mirco Schindler	Using spectral clustering to automate identification and optimization of component structures.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard	High assurance human-centric decision systems.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Övünç Bozcan, Ayse Basar Bener	Handling missing attributes using matrix factorization.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Nelly Bencomo, Amel Belaggoun, Valérie Issarny	Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	John A. Clark	SE and AI: A two-way street.	RAISE@ICSE	2013	DBLP DOI BibTeX RDF
45	Rachel Harrison (eds.)	Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012, Zurich, Switzerland, June 5, 2012	RAISE@ICSE	2012	DBLP BibTeX RDF
45	Kevin Jalbert, Jeremy S. Bradbury	Predicting mutation score using source code and test suite metrics.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Sabine Moisan	Intelligent monitoring of software components.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko	Machine learning and software engineering in health informatics.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Tulio de Souza Alcantara, Jörg Denzinger, Jennifer Ferreira, Frank Maurer	Learning gestures for interacting with low-fidelity prototypes.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Iman Keivanloo, Juergen Rilling	Clone detection meets semantic web-based transitive closure computation.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Martin Iliev, Bilal Karasneh, Michel R. V. Chaudron, Edwin Essenius	Automated prediction of defect severity based on codifying design knowledge using ontologies.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Mark Harman	The role of artificial intelligence in software engineering.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Mathias Landhäußer, Sven J. Körner, Walter F. Tichy	Synchronizing domain models with natural language specifications.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Daniel Rodríguez 0001, Israel Herraiz, Rachel Harrison	On software engineering repositories and their open problems.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho	GUI reverse engineering with machine learning.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
45	Joel Cordeiro, Bruno Antunes, Paulo Gomes	Context-based search to overcome learning barriers in software development.	RAISE@ICSE	2012	DBLP DOI BibTeX RDF
41	Chenxi Zhang, Xiaodong Lin 0001, Rongxing Lu, Pin-Han Ho	RAISE: An Efficient RSU-Aided Message Authentication Scheme in Vehicular Communication Networks.	ICC	2008	DBLP DOI BibTeX RDF
41	Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano	Using a feature model for RAISE specification reusability.	IRI	2005	DBLP DOI BibTeX RDF
39	Li Dan, Bernhard K. Aichernig	Combining Algebraic and Model-Based Test Case Generation.	ICTAC	2004	DBLP DOI BibTeX RDF	formal method, Test case generation, RAISE, RSL
39	Xiaomeng Dong, Tao Tan, Michael Potter, Yun-Chan Tsai, Gaurav Kumar, V. Ratna Saripalli	To Raise or Not To Raise: The Autonomous Learning Rate Question.	CoRR	2021	DBLP BibTeX RDF
39	Eman Al-Zubeidi, Jinsil Hwaryoung Seo, Julia DeLaney, Dominic Nguyen, Jonathan Konderla, Jaime Díaz	A Walk Alone: Triggering Fear and Simulating Empathy to Raise Awareness about the Dangers Women Face when Walking Alone at Night: Triggering Fear and Simulating Empathy to Raise Awareness about the Dangers Women Face when Walking Alone at Night.	SIGGRAPH Asia XR	2021	DBLP DOI BibTeX RDF
39	Yongyue Sun, Hongyan Li 0002, Jinbo Zhang	RAISE: 一种高效的社交网络影响成本最小化算法 (RAISE: Efficient Influence Cost Minimizing Algorithm in Social Network).	计算机科学	2019	DBLP DOI BibTeX RDF
39	James Geller, Xuan Zhou 0007, Kalpana Prathipati, Sripriya Kanigiluppai, Xiaoming Chen	Raising data for improved support in rule mining: How to raise and how far to raise.	Intell. Data Anal.	2005	DBLP BibTeX RDF
34	John Gray, Gill Harrison, Andrea Gorra, Jakki Sheridan-Ross, Janet Finlay	A computer-based test to raise awareness of disability issues.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer assisted test, disability awareness, staff development
34	Juan Ignacio Perna, Chris George	Model Checking RAISE Applicative Specifications.	SEFM	2007	DBLP DOI BibTeX RDF
34	A. Alapide, S. Candia, M. Cinella, S. Quaranta	Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application.	Ada-Europe	1995	DBLP DOI BibTeX RDF
34	François Erasmy, Emil Sekerinski	Stepwise Refinement of Control Software - A Case Study Using RAISE.	FME	1994	DBLP DOI BibTeX RDF
34	Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001	Experience from Applications of RAISE.	FME	1993	DBLP DOI BibTeX RDF
34	Søren Prehn	From VDM to RAISE.	VDM Europe	1987	DBLP DOI BibTeX RDF
32	Anne E. Haxthausen, Jan Peleska 0001	Formal Development and Verification of a Distributed Railway Control System.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE
27	Carmen Soler, Alejandra Zacarías, Andrés Lucero	Molarcropolis: a mobile persuasive game to raise oral health and dental hygiene awareness.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	oral health, mobile gaming, persuasion, adolescence
27	Mohammad Reza Nami, Abbas Malekpour	Formal specification of a particular banking domain with RAISE specification language.	ISCC	2008	DBLP DOI BibTeX RDF
27	John Gray, Gill Harrison, Jakki Sheridan-Ross, Andrea Gorra	Using a Computer Aided Test to Raise Awareness of Disability Issues amongst University Teaching Staff.	ICCHP	2008	DBLP DOI BibTeX RDF	staff training, Computer aided test, Disability
27	Chris George	Tutorial on the RAISE Language, Method and Tools.	ICFEM	2004	DBLP DOI BibTeX RDF
27	Morten P. Lindegaard, Anne E. Haxthausen	Proof Support for RAISE by a Reuse Approach Based on Institutions.	AMAST	2004	DBLP DOI BibTeX RDF	proof support, Institutions, algebraic semantics, HOL, RSL
27	Hye-Jung Lee, Won-Hwan Park, Doo-Soon Park	An Efficient Method for Quantitative Association Rules to Raise Reliance of Data.	APWeb	2004	DBLP DOI BibTeX RDF
27	Gafurov Davrondjon, Tomasz Janowski	Developing a Spell-Checker for Tajik Using RAISE.	ICFEM	2002	DBLP DOI BibTeX RDF
27	Chris George	The Development of the RAISE Tools.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
27	Graham E. Deacon	An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot
27	D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001	Using RAISE - First Impressions from the LaCoS Applications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
25	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
25	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
25	Manas Ranjan Patra, Hrushikesha Mohanty	A Formal Framework to Build Software Agents.	APSEC	2001	DBLP DOI BibTeX RDF	RAISE specification language, Agent engineering, Software agent, BDI architecture
21	Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan	Warnings for Disjoint Knowledge Omission in Ontologies.	ICIW	2007	DBLP DOI BibTeX RDF	Warnings Generation, incompleteness error warning, Evaluation Case study, Ontology Evaluation
21	Juha-Pekka Tolvanen, Matti Rossi	MetaEdit+: defining and using domain-specific modeling languages and code generators.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	code generators, metamodel, domain-specific modeling
20	Michael Oesterle, Tim Grams, Christian Bartelt, Heiner Stuckenschmidt	RAISE the Bar: Restriction of Action Spaces for Improved Social Welfare and Equity in Traffic Management.	AAMAS	2024	DBLP BibTeX RDF
20	Francesco Garibaldo, Emilio Rebecchi	If I cannot move heaven, I will raise hell.	AI Soc.	2023	DBLP DOI BibTeX RDF